Module type Comparable.S_common

module type S_common = sig .. end

include Comparable.Polymorphic_compare

val ascending : t -> t -> int

ascending is identical to compare. descending x y = ascending y x. These are intended to be mnemonic when used like List.sort ~cmp:ascending and

List.sort
      ~cmp:descending

, since they cause the list to be sorted in ascending or descending order, respectively.

val descending : t -> t -> int

val between : t -> low:t -> high:t -> bool

module Replace_polymorphic_compare: sig .. end

type comparator

val comparator : (t, comparator) Comparator.t