module Key : Core_kernel.Comparator.S with type t = t
type +'a t
= (Key.t, 'a, Key.comparator_witness) Core_kernel.Map.t
include sig ... end
val compare : ('a ‑> 'a ‑> int) ‑> 'a t ‑> 'a t ‑> int
val t_of_sexp : (Base.Sexp.t ‑> 'a) ‑> Base.Sexp.t ‑> 'a t
val sexp_of_t : ('a ‑> Base.Sexp.t) ‑> 'a t ‑> Base.Sexp.t