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