Type Alias LessThan 

pub type LessThan<const N: isize> = Sigma<isize, LessThanInvariant<N>>;

Terms less than a constant (defined by PartialOrd comparison).

Aliased Type

pub struct LessThan<const N: isize> { /* private fields */ }