sig
val empty : ('a, 'b) T.t
val singleton : 'a T.key -> 'b -> ('a, 'b) T.t
val is_empty : ('a, 'b) T.t -> bool
val cardinal : ('a, 'b) T.t -> int
val add : key:'a T.key -> data:'b -> ('a, 'b) T.t -> ('a, 'b) T.t
val add_multi :
key:'a T.key -> data:'b -> ('a, 'b list) T.t -> ('a, 'b list) T.t
val change :
('a, 'b) T.t -> 'a T.key -> ('b option -> 'b option) -> ('a, 'b) T.t
val find_exn : ('a, 'b) T.t -> 'a T.key -> 'b
val find : ('a, 'b) T.t -> 'a T.key -> 'b option
val remove : ('a, 'b) T.t -> 'a T.key -> ('a, 'b) T.t
val mem : ('a, 'b) T.t -> 'a T.key -> bool
val iter : f:(key:'a T.key -> data:'b -> unit) -> ('a, 'b) T.t -> unit
val map : f:('a -> 'b) -> ('c, 'a) T.t -> ('c, 'b) T.t
val mapi :
f:(key:'a T.key -> data:'b -> 'c) -> ('a, 'b) T.t -> ('a, 'c) T.t
val fold :
f:(key:'a T.key -> data:'b -> 'c -> 'c) -> ('a, 'b) T.t -> init:'c -> 'c
val fold_right :
f:(key:'a T.key -> data:'b -> 'c -> 'c) -> ('a, 'b) T.t -> init:'c -> 'c
val filter :
f:(key:'a T.key -> data:'b -> bool) -> ('a, 'b) T.t -> ('a, 'b) T.t
val filter_map : f:('a -> 'b option) -> ('c, 'a) T.t -> ('c, 'b) T.t
val filter_mapi :
f:(key:'a T.key -> data:'b -> 'c option) -> ('a, 'b) T.t -> ('a, 'c) T.t
val compare : ('a -> 'a -> int) -> ('b, 'a) T.t -> ('b, 'a) T.t -> int
val equal : ('a -> 'a -> bool) -> ('b, 'a) T.t -> ('b, 'a) T.t -> bool
val keys : ('a, 'b) T.t -> 'a T.key list
val has_key : ('a, 'b) T.t -> 'a T.key -> bool
val data : ('a, 'b) T.t -> 'b list
val of_alist :
('a T.key * 'b) list ->
[ `Duplicate_key of 'a T.key | `Ok of ('a, 'b) T.t ]
val of_alist_exn : ('a T.key * 'b) list -> ('a, 'b) T.t
val of_alist_multi : ('a T.key * 'b) list -> ('a, 'b list) T.t
val to_alist : ('a, 'b) T.t -> ('a T.key * 'b) list
val combine_alist :
('a T.key * 'b) list -> init:'c -> f:('b -> 'c -> 'c) -> ('a, 'c) T.t
val merge :
f:(key:'a T.key -> 'b option -> 'c option -> 'd option) ->
('a, 'b) T.t -> ('a, 'c) T.t -> ('a, 'd) T.t
val min_elt : ('a, 'b) T.t -> ('a T.key * 'b) option
val min_elt_exn : ('a, 'b) T.t -> 'a T.key * 'b
val max_elt : ('a, 'b) T.t -> ('a T.key * 'b) option
val max_elt_exn : ('a, 'b) T.t -> 'a T.key * 'b
val for_all : f:('a -> bool) -> ('b, 'a) T.t -> bool
val exists : f:('a -> bool) -> ('b, 'a) T.t -> bool
val fold_range_inclusive :
('a, 'b) T.t ->
min:'a T.key ->
max:'a T.key -> init:'c -> f:(key:'a T.key -> data:'b -> 'c -> 'c) -> 'c
val range_to_alist :
('a, 'b) T.t -> min:'a T.key -> max:'a T.key -> ('a T.key * 'b) list
val prev_key : ('a, 'b) T.t -> 'a T.key -> 'a T.key option
val next_key : ('a, 'b) T.t -> 'a T.key -> 'a T.key option
val rank : ('a, 'b) T.t -> 'a T.key -> int option
end