sig
  type key
  type +'a t
  val empty : 'a CCWBTree.S.t
  val is_empty : 'a CCWBTree.S.t -> bool
  val singleton : CCWBTree.S.key -> 'a -> 'a CCWBTree.S.t
  val mem : CCWBTree.S.key -> 'a CCWBTree.S.t -> bool
  val get : CCWBTree.S.key -> 'a CCWBTree.S.t -> 'a option
  val get_exn : CCWBTree.S.key -> 'a CCWBTree.S.t -> 'a
  val nth : int -> 'a CCWBTree.S.t -> (CCWBTree.S.key * 'a) option
  val nth_exn : int -> 'a CCWBTree.S.t -> CCWBTree.S.key * 'a
  val add : CCWBTree.S.key -> 'a -> 'a CCWBTree.S.t -> 'a CCWBTree.S.t
  val remove : CCWBTree.S.key -> 'a CCWBTree.S.t -> 'a CCWBTree.S.t
  val update :
    CCWBTree.S.key ->
    ('a option -> 'a option) -> 'a CCWBTree.S.t -> 'a CCWBTree.S.t
  val cardinal : 'a CCWBTree.S.t -> int
  val weight : 'a CCWBTree.S.t -> int
  val fold :
    f:('b -> CCWBTree.S.key -> 'a -> 'b) -> x:'b -> 'a CCWBTree.S.t -> 'b
  val mapi :
    f:(CCWBTree.S.key -> 'a -> 'b) -> 'a CCWBTree.S.t -> 'b CCWBTree.S.t
  val map : f:('a -> 'b) -> 'a CCWBTree.S.t -> 'b CCWBTree.S.t
  val iter : f:(CCWBTree.S.key -> 'a -> unit) -> 'a CCWBTree.S.t -> unit
  val split :
    CCWBTree.S.key ->
    'a CCWBTree.S.t -> 'a CCWBTree.S.t * 'a option * 'a CCWBTree.S.t
  val merge :
    f:(CCWBTree.S.key -> 'a option -> 'b option -> 'c option) ->
    'a CCWBTree.S.t -> 'b CCWBTree.S.t -> 'c CCWBTree.S.t
  val extract_min : 'a CCWBTree.S.t -> CCWBTree.S.key * 'a * 'a CCWBTree.S.t
  val extract_max : 'a CCWBTree.S.t -> CCWBTree.S.key * 'a * 'a CCWBTree.S.t
  val choose : 'a CCWBTree.S.t -> (CCWBTree.S.key * 'a) option
  val choose_exn : 'a CCWBTree.S.t -> CCWBTree.S.key * 'a
  val random_choose :
    Random.State.t -> 'a CCWBTree.S.t -> CCWBTree.S.key * 'a
  val add_list :
    'a CCWBTree.S.t -> (CCWBTree.S.key * 'a) list -> 'a CCWBTree.S.t
  val of_list : (CCWBTree.S.key * 'a) list -> 'a CCWBTree.S.t
  val to_list : 'a CCWBTree.S.t -> (CCWBTree.S.key * 'a) list
  val add_seq :
    'a CCWBTree.S.t ->
    (CCWBTree.S.key * 'a) CCWBTree.sequence -> 'a CCWBTree.S.t
  val of_seq : (CCWBTree.S.key * 'a) CCWBTree.sequence -> 'a CCWBTree.S.t
  val to_seq : 'a CCWBTree.S.t -> (CCWBTree.S.key * 'a) CCWBTree.sequence
  val add_gen :
    'a CCWBTree.S.t -> (CCWBTree.S.key * 'a) CCWBTree.gen -> 'a CCWBTree.S.t
  val of_gen : (CCWBTree.S.key * 'a) CCWBTree.gen -> 'a CCWBTree.S.t
  val to_gen : 'a CCWBTree.S.t -> (CCWBTree.S.key * 'a) CCWBTree.gen
  val print :
    CCWBTree.S.key CCWBTree.printer ->
    'a CCWBTree.printer -> 'a CCWBTree.S.t CCWBTree.printer
  val node_ :
    CCWBTree.S.key ->
    'a -> 'a CCWBTree.S.t -> 'a CCWBTree.S.t -> 'a CCWBTree.S.t
  val balanced : 'a CCWBTree.S.t -> bool
end