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

module M : sig ... end

type !'cmp comparator_witness

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