module type S = sig .. end
module Key: Comparator.S
type ('k, +'v, 'comparator) map
type ('k, +'v, 'comparator) tree
type 'v t = (Key.t, 'v, Key.comparator) map
type ('k, 'v, 'comparator) t_ = 'v t
type 'a key_ = Key.t
type ('a, 'b, 'c) options = ('a, 'b, 'c) Core_map_intf.without_comparator
include Core_map_intf.Creators_and_accessors
module Tree: sig .. end
val compare : ('v -> 'v -> int) -> 'v t -> 'v t -> int
val t_of_sexp : (Sexplib.Sexp.t -> 'v) -> Sexplib.Sexp.t -> 'v t
val sexp_of_t : ('v -> Sexplib.Sexp.t) -> 'v t -> Sexplib.Sexp.t