base
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.
Derived_phantom
comparator
('a, 'b) t
'a
base.base_internalhash_types
base.md5
base.shadow_stdlib
module M : sig ... end
type 'cmp comparator_witness
val comparator : ('a, 'cmp) comparator -> (('a, _) M.t, 'cmp comparator_witness) comparator