Comparator.Derived_phantom
module M : sig ... end
type 'cmp comparator_witness
val comparator : ('a, 'cmp) comparator -> (('a, 'b) M.t, 'cmp comparator_witness) comparator