refinement_types::int::i128

Type Alias OpenClosed

Source 
pub type OpenClosed<const M: i128, const N: i128> = And<Greater<M>, LessOrEqual<N>>;
Expand description

Represents (M, N] intervals.

Aliased Typeยง

struct OpenClosed<const M: i128, const N: i128> { /* private fields */ }