Up  Next

Module PrettyPrinter (.ml)

module PrettyPrinter: sig .. end
This module provides a common formatting interface to pretty-print in LaTeX, raw text or module Format mode.
type formatter_output = {
   out : string -> int -> int -> unit;
   flush : unit -> unit;
   newline : unit -> unit;
   spaces : int -> unit;
   with_tags : bool;
   open_tag : Format.tag -> unit;
   close_tag : Format.tag -> unit;
   margin : int;
} 
type output =
| Channel of Pervasives.out_channel
| Buffer of Buffer.t 
type mode =
| Latex of output
| Txt of output
| Formatter of formatter_output 
val output_string : output -> string -> unit
val flush : output -> unit