Trait IsEqual
pub trait IsEqual<Rhs = Self>A type operator that returns True if Self == Rhs, otherwise returns False.
Associated Types
type Output: Bit;The type representing either
TrueorFalse
Required Methods
fn is_equal(self, rhs: Rhs) -> Self::OutputMethod returning
TrueorFalse.
Implementors
impl<A, B> IsEqual<B> for A where A: Cmp<B> + IsEqualPrivate<B, Compare<A, B>>,impl<A, B> IsEqual<B> for B0 where A: Cmp<B> + IsEqualPrivate<B, <A as Cmp<B>>::Output>,impl<A, B> IsEqual<B> for B1 where A: Cmp<B> + IsEqualPrivate<B, <A as Cmp<B>>::Output>,impl<A, B> IsEqual<B> for NInt<U> where A: Cmp<B> + IsEqualPrivate<B, <A as Cmp<B>>::Output>,impl<A, B> IsEqual<B> for PInt<U> where A: Cmp<B> + IsEqualPrivate<B, <A as Cmp<B>>::Output>,impl<A, B> IsEqual<B> for UInt<U, B> where A: Cmp<B> + IsEqualPrivate<B, <A as Cmp<B>>::Output>,impl<A, B> IsEqual<B> for UTerm where A: Cmp<B> + IsEqualPrivate<B, <A as Cmp<B>>::Output>,impl<A, B> IsEqual<B> for Z0 where A: Cmp<B> + IsEqualPrivate<B, <A as Cmp<B>>::Output>,