Module type Comparable.S_common

module type S_common = sig .. end

include Comparable.Polymorphic_compare

val ascending : t -> t -> int

val descending : t -> t -> int

module Replace_polymorphic_compare: Comparable.Polymorphic_compare  with type t := t

type comparator 

val comparator : (t, comparator) Comparator.t