`sig
module type T =
sig
type +'a t
module Key : sig type t end
val nil : 'a Cf_map.T.t
val empty : 'a Cf_map.T.t -> bool
val size : 'a Cf_map.T.t -> int
val min : 'a Cf_map.T.t -> Cf_map.T.Key.t * 'a
val max : 'a Cf_map.T.t -> Cf_map.T.Key.t * 'a
val search : Cf_map.T.Key.t -> 'a Cf_map.T.t -> 'a
val member : Cf_map.T.Key.t -> 'a Cf_map.T.t -> bool
val insert :
Cf_map.T.Key.t * 'a -> 'a Cf_map.T.t -> 'a Cf_map.T.t * 'a option
val replace : Cf_map.T.Key.t * 'a -> 'a Cf_map.T.t -> 'a Cf_map.T.t
val modify :
Cf_map.T.Key.t -> ('a -> 'a) -> 'a Cf_map.T.t -> 'a Cf_map.T.t
val extract : Cf_map.T.Key.t -> 'a Cf_map.T.t -> 'a * 'a Cf_map.T.t
val delete : Cf_map.T.Key.t -> 'a Cf_map.T.t -> 'a Cf_map.T.t
val of_list : (Cf_map.T.Key.t * 'a) list -> 'a Cf_map.T.t
val of_list_incr : (Cf_map.T.Key.t * 'a) list -> 'a Cf_map.T.t
val of_list_decr : (Cf_map.T.Key.t * 'a) list -> 'a Cf_map.T.t
val of_seq : (Cf_map.T.Key.t * 'a) Cf_seq.t -> 'a Cf_map.T.t
val of_seq_incr : (Cf_map.T.Key.t * 'a) Cf_seq.t -> 'a Cf_map.T.t
val of_seq_decr : (Cf_map.T.Key.t * 'a) Cf_seq.t -> 'a Cf_map.T.t
val to_list_incr : 'a Cf_map.T.t -> (Cf_map.T.Key.t * 'a) list
val to_list_decr : 'a Cf_map.T.t -> (Cf_map.T.Key.t * 'a) list
val to_seq_incr : 'a Cf_map.T.t -> (Cf_map.T.Key.t * 'a) Cf_seq.t
val to_seq_decr : 'a Cf_map.T.t -> (Cf_map.T.Key.t * 'a) Cf_seq.t
val nearest_decr :
Cf_map.T.Key.t -> 'a Cf_map.T.t -> (Cf_map.T.Key.t * 'a) Cf_seq.t
val nearest_incr :
Cf_map.T.Key.t -> 'a Cf_map.T.t -> (Cf_map.T.Key.t * 'a) Cf_seq.t
val iterate : (Cf_map.T.Key.t * 'a -> unit) -> 'a Cf_map.T.t -> unit
val predicate : (Cf_map.T.Key.t * 'a -> bool) -> 'a Cf_map.T.t -> bool
val fold :
('b -> Cf_map.T.Key.t * 'a -> 'b) -> 'b -> 'a Cf_map.T.t -> 'b
val filter :
(Cf_map.T.Key.t * 'a -> bool) -> 'a Cf_map.T.t -> 'a Cf_map.T.t
val map : (Cf_map.T.Key.t * 'a -> 'b) -> 'a Cf_map.T.t -> 'b Cf_map.T.t
val optmap :
(Cf_map.T.Key.t * 'a -> 'b option) -> 'a Cf_map.T.t -> 'b Cf_map.T.t
val partition :
(Cf_map.T.Key.t * 'a -> bool) ->
'a Cf_map.T.t -> 'a Cf_map.T.t * 'a Cf_map.T.t
end
end`