pub type I32NonNegative = I32Ge<0>;
Checks whether the given value is non-negative (positive or zero).
struct I32NonNegative;