Comparator.Derived_phantom
Derived_phantom
creates a comparator
function that constructs a comparator for the type ('a, 'b) t
given a comparator for the type 'a
.
module M : sig ... end
val comparator :
( 'a, 'cmp ) comparator ->
( ( 'a, _ ) M.t, 'cmp comparator_witness ) comparator