Trait vstd::prelude::SpecBitXor
pub trait SpecBitXor<Rhs = Self> {
type Output;
// Required method
fn spec_bitxor(self, rhs: Rhs) -> Self::Output;
}
pub trait SpecBitXor<Rhs = Self> {
type Output;
// Required method
fn spec_bitxor(self, rhs: Rhs) -> Self::Output;
}