Module Comparator.Derived
Derived
creates a comparator
function that constructs a comparator for the type 'a t
given a comparator for the type 'a
.
Parameters
M : sig ... end
Signature
val comparator : ('a, 'cmp) comparator -> ('a t, 'cmp comparator_witness) comparator