refinement_types::int

Type Alias I64Zero

Source 
pub type I64Zero = I64Eq<0>;
Expand description

Checks whether the given value is zero.

Aliased Typeยง

struct I64Zero;