Definitions
builtin int-le <= : Int -> Int -> BoolSource#
Returns true iff the first element is less than or equal to the second.
builtin int-lt < : Int -> Int -> BoolSource#
Returns true iff the first element is less than the second.
builtin int-le <= : Int -> Int -> BoolSource#
Returns true iff the first element is less than or equal to the second.
builtin int-lt < : Int -> Int -> BoolSource#
Returns true iff the first element is less than the second.