Ordering
is intended to make code that matches on the result of a comparison
more concise and easier to read. For example, one would write:
match Ordering.of_int (compare x y) with
| Less -> ...
| Equal -> ...
| Greater -> ...
rather than:
let r = compare x y in
if r < 0 then
...
else if r = 0 then
...
else
...