Module type Base.Comparator.Derived2

type ('a, 'b) t
type ('cmp_a, 'cmp_b) comparator_witness
val comparator : ('a'cmp_acomparator ‑> ('b'cmp_bcomparator ‑> (('a'bt, ('cmp_a'cmp_bcomparator_witnesscomparator