Module type Core_kernel.Comparator.Derived

type 'a t
type 'cmp comparator_witness
val comparator : ('a'cmpcomparator ‑> ('a t'cmp comparator_witnesscomparator