Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
This renderer sends its output into an output channel.
type channel = out_channel
The type of the output channel.
type document = document
The type of documents.
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.