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