refinement_types::int

Type Alias U64Zero

Source 
pub type U64Zero = U64Eq<0>;
Expand description

Checks whether the given value is zero.

Aliased Typeยง

struct U64Zero;