refinement_types::int

Type Alias I64Positive

Source 
pub type I64Positive = I64Gt<0>;
Expand description

Checks whether the given value is positive.

Aliased Typeยง

struct I64Positive;