sig
type in_value
type out_value
type 'key t = private ('key, Fold_map.S.out_value) Core.Std.Map.Poly.t
type 'a _in_value = Fold_map.S.in_value
type 'a _out_value = Fold_map.S.out_value
type ('a, 'b) _t = 'a Fold_map.S.t
val empty : 'a Fold_map.S.t
val singleton : 'a -> Fold_map.S.in_value -> 'a Fold_map.S.t
val is_empty : 'a Fold_map.S.t -> bool
val length : 'a Fold_map.S.t -> int
val add :
key:'a -> data:Fold_map.S.in_value -> 'a Fold_map.S.t -> 'a Fold_map.S.t
val find : 'a Fold_map.S.t -> 'a -> Fold_map.S.out_value
val remove : 'a Fold_map.S.t -> 'a -> 'a Fold_map.S.t
val set :
key:'a -> data:Fold_map.S.out_value -> 'a Fold_map.S.t -> 'a Fold_map.S.t
val mem : 'a Fold_map.S.t -> 'a -> bool
val iter :
'a Fold_map.S.t ->
f:(key:'a -> data:Fold_map.S.out_value -> unit) -> unit
val fold :
'a Fold_map.S.t ->
init:'b -> f:(key:'a -> data:Fold_map.S.out_value -> 'b -> 'b) -> 'b
val filter :
'a Fold_map.S.t ->
f:(key:'a -> data:Fold_map.S.out_value -> bool) -> 'a Fold_map.S.t
val keys : 'a Fold_map.S.t -> 'a list
val data : 'a Fold_map.S.t -> Fold_map.S.out_value list
val to_alist : 'a Fold_map.S.t -> ('a * Fold_map.S.out_value) list
val of_list : ('a * Fold_map.S.in_value) list -> 'a Fold_map.S.t
val for_all : 'a Fold_map.S.t -> f:(Fold_map.S.out_value -> bool) -> bool
val exists : 'a Fold_map.S.t -> f:(Fold_map.S.out_value -> bool) -> bool
val to_map :
'a Fold_map.S.t -> ('a, Fold_map.S.out_value) Core.Std.Map.Poly.t
val of_map :
('a, Fold_map.S.out_value) Core.Std.Map.Poly.t -> 'a Fold_map.S.t
end