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