Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
PPrintEngine.RENDERER
SourceThis signature describes the document renderers in a manner that is independent of the type of the output channel.
The type of the output channel.
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.