Module type Map.M_of_sexp

type t
val t_of_sexp : Sexp.t -> t
include Comparator.S with type t := t
type t
type comparator_witness
val comparator : (tcomparator_witness) Comparator.comparator