Definitions
builtin nat-le <= : Nat → Nat → BoolSource#
Returns true iff the first element is less than or equal to the second.
builtin nat-lt < : Nat → Nat → BoolSource#
Returns true iff the first element is less than the second.
Returns true iff the first element is greater than or equal to the second.