refinement_types::int

Type Alias I128OpenClosed

Source 
pub type I128OpenClosed<const M: i128, const N: i128> = And<I128Gt<M>, I128Le<N>>;
Expand description

Represents (M, N] intervals.

Aliased Typeยง

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