This file provides basic results about orderings and comparison in linear orders.
Like cmp, but uses a ≤ on the type instead of <. Given two elements x and y, returns a
three-way comparison result Ordering.
Compares o a b means that a and b have the ordering relation o between them, assuming
that the relation a < b is defined.
Compares o a b
a < b
Alias of the reverse direction of Ordering.compares_swap.
Alias of the forward direction of Ordering.compares_swap.
Generate a linear order structure from a preorder and cmp function.