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