src/utilities/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)