Module Core_kernel.Univ_map.With_fold

keys that map to an accumulator value with an associated fold operation

module Key : sig ... end
val set : t ‑> ('a'bKey.t ‑> 'b ‑> t

reset the accumulator

val find : t ‑> ('a'bKey.t ‑> 'b

the current accumulator

val add : t ‑> ('a'bKey.t ‑> 'a ‑> t

fold value into accumulator

val change : t ‑> ('a'bKey.t ‑> f:('b ‑> 'b) ‑> t

accumulator update