include module type of struct include Hack_polymorphic_compare end
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 order, respectively.