module Poly: sig .. end
with type ('a, 'b, 'c) tree = ('a, 'b, 'c) tree
type ('a, 'b, 'c) map = ('a, 'b, 'c) Map.t
type ('a, 'b, 'c) tree = ('a, 'b, 'c) tree
type ('a, 'b) t = ('a, 'b, Comparator.Poly.comparator) map
type ('a, 'b, 'c) t_ = ('a, 'b) t
type 'a key = 'a
type ('a, 'b, 'c) options = ('a, 'b, 'c) Core_map_intf.without_comparator
include Creators_and_accessors
val empty : ('a, 'b) t
module Tree: sig .. end
val compare : ('a -> 'a -> int) ->
('b -> 'b -> int) ->
('a, 'b) t -> ('a, 'b) t -> int
val t_of_sexp : (Sexplib.Sexp.t -> 'a) ->
(Sexplib.Sexp.t -> 'b) -> Sexplib.Sexp.t -> ('a, 'b) t
val sexp_of_t : ('a -> Sexplib.Sexp.t) ->
('b -> Sexplib.Sexp.t) -> ('a, 'b) t -> Sexplib.Sexp.t
val bin_t : 'a Bin_prot.Type_class.t ->
'b Bin_prot.Type_class.t -> ('a, 'b) t Bin_prot.Type_class.t
val bin_read_t : 'a Bin_prot.Unsafe_read_c.reader ->
'b Bin_prot.Unsafe_read_c.reader ->
('a, 'b) t Bin_prot.Read_ml.reader
val bin_read_t_ : 'a Bin_prot.Unsafe_read_c.reader ->
'b Bin_prot.Unsafe_read_c.reader ->
('a, 'b) t Bin_prot.Unsafe_read_c.reader
val bin_read_t__ : 'a Bin_prot.Unsafe_read_c.reader ->
'b Bin_prot.Unsafe_read_c.reader ->
(int -> ('a, 'b) t) Bin_prot.Unsafe_read_c.reader
val bin_reader_t : 'a Bin_prot.Type_class.reader ->
'b Bin_prot.Type_class.reader ->
('a, 'b) t Bin_prot.Type_class.reader
val bin_size_t : 'a Bin_prot.Size.sizer ->
'b Bin_prot.Size.sizer -> ('a, 'b) t Bin_prot.Size.sizer
val bin_write_t : 'a Bin_prot.Unsafe_write_c.writer ->
'b Bin_prot.Unsafe_write_c.writer ->
('a, 'b) t Bin_prot.Write_ml.writer
val bin_write_t_ : 'a Bin_prot.Unsafe_write_c.writer ->
'b Bin_prot.Unsafe_write_c.writer ->
('a, 'b) t Bin_prot.Unsafe_write_c.writer
val bin_writer_t : 'a Bin_prot.Type_class.writer ->
'b Bin_prot.Type_class.writer ->
('a, 'b) t Bin_prot.Type_class.writer