Module `Comparator.Derived2_phantom`

Derived2_phantom creates a comparator function that constructs a comparator for the type ('a, 'b, 'c) t given a comparator for the types 'a and 'b.

Parameters

module M : sig ... end

Signature

type (!'cmp_a, !'cmp_b) comparator_witness

val comparator : 
  ('a, 'cmp_a) comparator ->
  ('b, 'cmp_b) comparator ->
  (('a, 'b, _) M.t, ('cmp_a, 'cmp_b) comparator_witness) comparator