Map.Keytype t = tinclude Sexplib0.Sexpable.S with type t := tinclude Sexplib0.Sexpable.Of_sexp with type t := tval t_of_sexp : Sexplib0.Sexp.t -> tinclude Sexplib0.Sexpable.Sexp_of with type t := tval sexp_of_t : t -> Sexplib0.Sexp.tinclude Core.Comparator.S
with type t := t
with type comparator_witness = comparator_witnesstype comparator_witness = comparator_witnessval comparator : (t, comparator_witness) Base.Comparator.T.comparator