Type Alias LessThan

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

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

Aliased Type

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