Pretty_memory
type 'a sformat = ('a, Stdlib.Format.formatter, unit) Stdlib.format
type 'a formatter = Stdlib.Format.formatter -> 'a -> unit
val pp_iter : ?pre:unit sformat -> ?sep:unit sformat -> ?suf:unit sformat -> ?format:('a formatter -> 'a -> unit) sformat -> (('a -> unit) -> 'b -> unit) -> 'a formatter -> 'b formatter
val pp_iter2 : ?pre:unit sformat -> ?sep:unit sformat -> ?suf:unit sformat -> ?format:('a formatter -> 'a -> 'b formatter -> 'b -> unit) sformat -> (('a -> 'b -> unit) -> 'c -> unit) -> 'a formatter -> 'b formatter -> 'c formatter
Frama-C Frama-C