Comparator.Derived_phantom
type ('a, 'b) t
type 'cmp comparator_witness
val comparator : ('a, 'cmp) comparator -> (('a, _) t, 'cmp comparator_witness) comparator