Poly is a convenient shorthand for
Polymorphic_compare in the common case that one
wants to use a polymorphic comparator directly in an expression, e.g.
ascending is identical to
descending x y = ascending y x. These are
intended to be mnemonic when used like
List.sort ~cmp:ascending and
~cmp:descending, since they cause the list to be sorted in ascending or descending