val flat_list : ('a -> unit) -> ('b -> unit) -> 'a -> 'b list -> unit
val add_assoc : 'a * 'b -> ('a * 'b) list -> ('a * 'b) list
val flat_list : ('a -> unit) -> ('b -> unit) -> 'a -> 'b list -> unit
val add_assoc : 'a * 'b -> ('a * 'b) list -> ('a * 'b) list