refinement_types::int

Type Alias I64NonZero

Source 
pub type I64NonZero = I64Ne<0>;
Expand description

Checks whether the given value is non-zero.

Aliased Typeยง

struct I64NonZero;