include sig ... end
val add : key -> 'a -> 'a t -> 'a tval add_to_list : key -> 'a -> 'a list t -> 'a list tval update : key -> ('a option -> 'a option) -> 'a t -> 'a tval singleton : key -> 'a -> 'a tval remove : key -> 'a t -> 'a tval merge :
(key -> 'a option -> 'b option -> 'c option) ->
'a t ->
'b t ->
'c tval union : (key -> 'a -> 'a -> 'a option) -> 'a t -> 'a t -> 'a tval cardinal : 'a t -> intval bindings : 'a t -> (key * 'a) listval min_binding : 'a t -> key * 'aval min_binding_opt : 'a t -> (key * 'a) optionval max_binding : 'a t -> key * 'aval max_binding_opt : 'a t -> (key * 'a) optionval choose : 'a t -> key * 'aval choose_opt : 'a t -> (key * 'a) optionval find : key -> 'a t -> 'aval find_first : (key -> bool) -> 'a t -> key * 'aval find_first_opt : (key -> bool) -> 'a t -> (key * 'a) optionval find_last : (key -> bool) -> 'a t -> key * 'aval find_last_opt : (key -> bool) -> 'a t -> (key * 'a) optionval iter : (key -> 'a -> unit) -> 'a t -> unitval fold : (key -> 'a -> 'acc -> 'acc) -> 'a t -> 'acc -> 'accval map : ('a -> 'b) -> 'a t -> 'b tval mapi : (key -> 'a -> 'b) -> 'a t -> 'b tval filter : (key -> 'a -> bool) -> 'a t -> 'a tval filter_map : (key -> 'a -> 'b option) -> 'a t -> 'b tval partition : (key -> 'a -> bool) -> 'a t -> 'a t * 'a tval split : key -> 'a t -> 'a t * 'a option * 'a tval is_empty : 'a t -> boolval mem : key -> 'a t -> boolval equal : ('a -> 'a -> bool) -> 'a t -> 'a t -> boolval compare : ('a -> 'a -> int) -> 'a t -> 'a t -> intval for_all : (key -> 'a -> bool) -> 'a t -> boolval exists : (key -> 'a -> bool) -> 'a t -> boolval to_list : 'a t -> (key * 'a) listval of_list : (key * 'a) list -> 'a tval find_opt : key -> 'a t -> 'a option