]> matita.cs.unibo.it Git - pkg-cerco/acc.git/blob - src/utilities/eformat.mli
Imported Upstream version 0.2
[pkg-cerco/acc.git] / src / utilities / eformat.mli
1
2 type t
3
4 val create : unit -> t
5 val get : t -> string
6 val printf : t -> ('a, Format.formatter, unit) format -> 'a