refinement_types::int

Type Alias I32Positive

Source 
pub type I32Positive = I32Gt<0>;
Expand description

Checks whether the given value is positive.

Aliased Typeยง

struct I32Positive;