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