refinement_types::int

Type Alias I64Negative

Source 
pub type I64Negative = I64Lt<0>;
Expand description

Checks whether the given value is negative.

Aliased Typeยง

struct I64Negative;