Module Univ_map.With_fold

module With_fold: sig .. end

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

module Key: sig .. end

val set : Univ_map.t -> ('a, 'b) Key.t -> 'b -> Univ_map.t

val find : Univ_map.t -> ('a, 'b) Key.t -> 'b

val add : Univ_map.t -> ('a, 'b) Key.t -> 'a -> Univ_map.t

val change : Univ_map.t -> ('a, 'b) Key.t -> ('b -> 'b) -> Univ_map.t