# Module type Comparable_intf.S_common

    module type S_common = sig .. end

    include Comparable_intf.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

    include Comparator.S

    include Comparable_intf.Validate