refinement_types::int

Type Alias U128OpenClosed

Source 
pub type U128OpenClosed<const M: u128, const N: u128> = And<U128Gt<M>, U128Le<N>>;
Expand description

Represents (M, N] intervals.

Aliased Typeยง

struct U128OpenClosed<const M: u128, const N: u128> { /* private fields */ }