S2_sexpable (core_extended.Core_extended.Fold_map.S2

include S2

type 'a out_value

type ('key, 'data) t = private ('key, 'data out_value) Core.Map.Poly.t

type 'a _in_value = 'a

type 'a _out_value = 'a out_value

type ('a, 'b) _t = ('a, 'b) t

val empty : (_, _) t

val singleton : 'a ‑> 'b ‑> ('a, 'b) t

val is_empty : (_, _) t ‑> bool

val length : (_, _) t ‑> int

val add : key:'a ‑> data:'b ‑> ('a, 'b) t ‑> ('a, 'b) t

val find : ('a, 'b) t ‑> 'a ‑> 'b out_value

val remove : ('a, 'b) t ‑> 'a ‑> ('a, 'b) t

val set : key:'a ‑> data:'b out_value ‑> ('a, 'b) t ‑> ('a, 'b) t

val mem : ('a, _) t ‑> 'a ‑> bool

val iter_keys : ('a, _) t ‑> f:('a ‑> unit) ‑> unit

val iter : (_, 'b) t ‑> f:('b out_value ‑> unit) ‑> unit

val iteri : ('a, 'b) t ‑> f:(key:'a ‑> data:'b out_value ‑> unit) ‑> unit

val fold : ('a, 'b) t ‑> init:'c ‑> f:(key:'a ‑> data:'b out_value ‑> 'c ‑> 'c) ‑> 'c

val filter_keys : ('a, 'b) t ‑> f:('a ‑> bool) ‑> ('a, 'b) t

val filter : ('a, 'b) t ‑> f:('b out_value ‑> bool) ‑> ('a, 'b) t

val filteri : ('a, 'b) t ‑> f:(key:'a ‑> data:'b out_value ‑> bool) ‑> ('a, 'b) t

val keys : ('a, _) t ‑> 'a list

val data : (_, 'b) t ‑> 'b out_value list

val to_alist : ?key_order:[ `Increasing | `Decreasing ] ‑> ('a, 'b) t ‑> ('a * 'b out_value) list

val of_list : ('a * 'b) list ‑> ('a, 'b) t

val for_all : (_, 'b) t ‑> f:('b out_value ‑> bool) ‑> bool

val exists : (_, 'b) t ‑> f:('b out_value ‑> bool) ‑> bool

val to_map : ('a, 'b) t ‑> ('a, 'b out_value) Core.Map.Poly.t

val of_map : ('a, 'b out_value) Core.Map.Poly.t ‑> ('a, 'b) t