Module type Comparator.Derived_phantom

type ('a, 'b) t
type 'cmp comparator_witness
val comparator : ('a'cmp) comparator -> (('a_) t'cmp comparator_witness) comparator