Module `Comparator.Derived2`

Derived2 creates a comparator function that constructs a comparator for the type ('a, 'b) t given comparators for the type '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