Vocabulary
prettyprint.sections

Inputs
stringa string


Outputs
None

Word description
Adds a string to the current block.

Notes
This word should only be called from inside the with-pprint combinator.

Definition