module ToChannel: PPrintRenderer.RENDERER
with type channel = out_channel
and type document = document
This renderer sends its output into an output channel.
type
channel
Output channels.
type
document
Documents.
val pretty : float ->
int ->
channel -> document -> unit
pretty rfrac width channel document
pretty-prints the document
document
into the output channel channel
. The parameter width
is
the maximum number of characters per line. The parameter rfrac
is the
ribbon width, a fraction relative to width
. The ribbon width is the
maximum number of non-indentation characters per line.
val compact : channel -> document -> unit
compact channel document
prints the document document
to the output
channel channel
. No indentation is used. All newline instructions are
respected, that is, no groups are flattened.