pub type LessThan<const N: i128> = Sigma<i128, LessThanInvariant<N>>;
Terms less than a constant (defined by PartialOrd comparison).
PartialOrd
pub struct LessThan<const N: i128> { /* private fields */ }