]> matita.cs.unibo.it Git - pkg-cerco/acc.git/blob - eformat.ml
cfddb9606b819de3f4968291e27fb6d5300a86d2
[pkg-cerco/acc.git] / eformat.ml
1
2 type t = { buffer : Buffer.t ; formatter : Format.formatter }
3
4 let buffer eformat = eformat.buffer
5 let formatter eformat = eformat.formatter
6
7 let make buffer formatter = { buffer ; formatter }
8
9 let create () =
10   let buffer = Buffer.create 512 in
11   let formatter = Format.formatter_of_buffer buffer in
12   make buffer formatter
13
14 let printf eformat = Format.fprintf (formatter eformat)
15
16 let get eformat =
17   printf eformat "@?" ;
18   Buffer.contents (buffer eformat)