sig
  type 'a t
  type 'a tree
  type key
  val invariants : 'a Core_map_intf.Accessors1.t -> bool
  val is_empty : 'a Core_map_intf.Accessors1.t -> bool
  val length : 'a Core_map_intf.Accessors1.t -> int
  val add :
    'a Core_map_intf.Accessors1.t ->
    key:Core_map_intf.Accessors1.key ->
    data:'a -> 'a Core_map_intf.Accessors1.t
  val add_multi :
    'a list Core_map_intf.Accessors1.t ->
    key:Core_map_intf.Accessors1.key ->
    data:'a -> 'a list Core_map_intf.Accessors1.t
  val change :
    'a Core_map_intf.Accessors1.t ->
    Core_map_intf.Accessors1.key ->
    ('a option -> 'a option) -> 'a Core_map_intf.Accessors1.t
  val find :
    'a Core_map_intf.Accessors1.t ->
    Core_map_intf.Accessors1.key -> 'a option
  val find_exn :
    'a Core_map_intf.Accessors1.t -> Core_map_intf.Accessors1.key -> 'a
  val remove :
    'a Core_map_intf.Accessors1.t ->
    Core_map_intf.Accessors1.key -> 'a Core_map_intf.Accessors1.t
  val mem :
    'a Core_map_intf.Accessors1.t -> Core_map_intf.Accessors1.key -> bool
  val iter :
    'a Core_map_intf.Accessors1.t ->
    f:(key:Core_map_intf.Accessors1.key -> data:'a -> unit) -> unit
  val iter2 :
    'a Core_map_intf.Accessors1.t ->
    'b Core_map_intf.Accessors1.t ->
    f:(key:Core_map_intf.Accessors1.key ->
       data:[ `Both of 'a * 'b | `Left of 'a | `Right of 'b ] -> unit) ->
    unit
  val map :
    'a Core_map_intf.Accessors1.t ->
    f:('a -> 'b) -> 'b Core_map_intf.Accessors1.t
  val mapi :
    'a Core_map_intf.Accessors1.t ->
    f:(key:Core_map_intf.Accessors1.key -> data:'a -> 'b) ->
    'b Core_map_intf.Accessors1.t
  val fold :
    'a Core_map_intf.Accessors1.t ->
    init:'b ->
    f:(key:Core_map_intf.Accessors1.key -> data:'a -> 'b -> 'b) -> 'b
  val fold_right :
    'a Core_map_intf.Accessors1.t ->
    init:'b ->
    f:(key:Core_map_intf.Accessors1.key -> data:'a -> 'b -> 'b) -> 'b
  val filter :
    'a Core_map_intf.Accessors1.t ->
    f:(key:Core_map_intf.Accessors1.key -> data:'a -> bool) ->
    'a Core_map_intf.Accessors1.t
  val filter_map :
    'a Core_map_intf.Accessors1.t ->
    f:('a -> 'b option) -> 'b Core_map_intf.Accessors1.t
  val filter_mapi :
    'a Core_map_intf.Accessors1.t ->
    f:(key:Core_map_intf.Accessors1.key -> data:'a -> 'b option) ->
    'b Core_map_intf.Accessors1.t
  val compare_direct :
    ('a -> 'a -> int) ->
    'a Core_map_intf.Accessors1.t -> 'a Core_map_intf.Accessors1.t -> int
  val equal :
    ('a -> 'a -> bool) ->
    'a Core_map_intf.Accessors1.t -> 'a Core_map_intf.Accessors1.t -> bool
  val keys :
    'a Core_map_intf.Accessors1.t -> Core_map_intf.Accessors1.key list
  val data : 'a Core_map_intf.Accessors1.t -> 'a list
  val to_alist :
    'a Core_map_intf.Accessors1.t -> (Core_map_intf.Accessors1.key * 'a) list
  val validate :
    name:(Core_map_intf.Accessors1.key -> string) ->
    'a Validate.check -> 'a Core_map_intf.Accessors1.t Validate.check
  val merge :
    'a Core_map_intf.Accessors1.t ->
    'b Core_map_intf.Accessors1.t ->
    f:(key:Core_map_intf.Accessors1.key ->
       [ `Both of 'a * 'b | `Left of 'a | `Right of 'b ] -> 'c option) ->
    'c Core_map_intf.Accessors1.t
  val symmetric_diff :
    'a Core_map_intf.Accessors1.t ->
    'a Core_map_intf.Accessors1.t ->
    data_equal:('a -> 'a -> bool) ->
    (Core_map_intf.Accessors1.key *
     [ `Left of 'a | `Right of 'a | `Unequal of 'a * 'a ])
    list
  val min_elt :
    'a Core_map_intf.Accessors1.t ->
    (Core_map_intf.Accessors1.key * 'a) option
  val min_elt_exn :
    'a Core_map_intf.Accessors1.t -> Core_map_intf.Accessors1.key * 'a
  val max_elt :
    'a Core_map_intf.Accessors1.t ->
    (Core_map_intf.Accessors1.key * 'a) option
  val max_elt_exn :
    'a Core_map_intf.Accessors1.t -> Core_map_intf.Accessors1.key * 'a
  val for_all : 'a Core_map_intf.Accessors1.t -> f:('a -> bool) -> bool
  val exists : 'a Core_map_intf.Accessors1.t -> f:('a -> bool) -> bool
  val fold_range_inclusive :
    'a Core_map_intf.Accessors1.t ->
    min:Core_map_intf.Accessors1.key ->
    max:Core_map_intf.Accessors1.key ->
    init:'b ->
    f:(key:Core_map_intf.Accessors1.key -> data:'a -> 'b -> 'b) -> 'b
  val range_to_alist :
    'a Core_map_intf.Accessors1.t ->
    min:Core_map_intf.Accessors1.key ->
    max:Core_map_intf.Accessors1.key ->
    (Core_map_intf.Accessors1.key * 'a) list
  val prev_key :
    'a Core_map_intf.Accessors1.t ->
    Core_map_intf.Accessors1.key ->
    (Core_map_intf.Accessors1.key * 'a) option
  val next_key :
    'a Core_map_intf.Accessors1.t ->
    Core_map_intf.Accessors1.key ->
    (Core_map_intf.Accessors1.key * 'a) option
  val rank :
    'a Core_map_intf.Accessors1.t ->
    Core_map_intf.Accessors1.key -> int option
  val to_tree :
    'a Core_map_intf.Accessors1.t -> 'a Core_map_intf.Accessors1.tree
end