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

Signature

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