refinement_types

Module int

Expand description

Predicates for integers.

Modules§

i8: Predicates for i8 values.
i16: Predicates for i16 values.
i32: Predicates for i32 values.
i64: Predicates for i64 values.
i128: Predicates for i128 values.
isize: Predicates for isize values.
u8: Predicates for u8 values.
u16: Predicates for u16 values.
u32: Predicates for u32 values.
u64: Predicates for u64 values.
u128: Predicates for u128 values.
usize: Predicates for usize values.