[][src]Trait verified::IsLess

pub trait IsLess<Rhs = Self> {
    type Output: Bit;
    fn is_less(self, rhs: Rhs) -> Self::Output;
}

A type operator that returns True if Self < Rhs, otherwise returns False.

Associated Types

type Output: Bit

The type representing either True or False

Loading content...

Required methods

fn is_less(self, rhs: Rhs) -> Self::Output

Method returning True or False.

Loading content...

Implementors

impl<A, B> IsLess<B> for A where
    A: Cmp<B> + IsLessPrivate<B, <A as Cmp<B>>::Output>, 
[src]

type Output = <A as IsLessPrivate<B, <A as Cmp<B>>::Output>>::Output

Loading content...