]> matita.cs.unibo.it Git - pkg-cerco/acc.git/blob - eformat.mli
77c11ce0b2130dbd3ad9cb5498dd3b091ba21928
[pkg-cerco/acc.git] / 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