refinement_types::int

Type Alias U32Zero

Source 
pub type U32Zero = U32Eq<0>;
Expand description

Checks whether the given value is zero.

Aliased Typeยง

struct U32Zero;