refinement_types::int

Type Alias I64ClosedOpen

Source 
pub type I64ClosedOpen<const M: i64, const N: i64> = And<I64Ge<M>, I64Lt<N>>;
Expand description

Represents [M, N) intervals.

Aliased Typeยง

struct I64ClosedOpen<const M: i64, const N: i64> { /* private fields */ }