Module Comparator.Derived

Parameters

module M : sig ... end

Signature

type !'cmp comparator_witness
val comparator : ('a, 'cmp) comparator -> ('a M.t, 'cmp comparator_witness) comparator