refinement_types::int

Type Alias U64NonZero

Source 
pub type U64NonZero = U64Ne<0>;
Expand description

Checks whether the given value is non-zero.

Aliased Typeยง

struct U64NonZero;