Trait LessThan 

pub trait LessThan<N1, N2> { }

Implementations on Foreign Types

impl<N1, N2> LessThan<Succ<N1>, Succ<N2>> for ()

where (): LessThan<N1, N2>,

impl<N> LessThan<Zero, Succ<N>> for ()

where N: IsNumber,

Implementors