sigma_types::i8

Type Alias LessThan

Source
pub type LessThan<const N: i8> = Sigma<i8, LessThanInvariant<N>>;
Expand description

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

Aliased Typeยง

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