Skip to content

How to Generate a Pretty-Printer

A pretty-printer is a mapping from abstract syntax trees (terms) to text. The resulting text should observe the syntactic rules

Production Templates


Generate Pretty-Printer

automatically in build

generates rules for translation from AST to Box

Example. Generate pretty-print rules


Use Pretty-Printer

Define Builder

for interactive use

Define Menu Action

to invoke the builder


Last update: March 22, 2024
Created: March 22, 2024