An _ugly-printer_ is a PrettyPrinter that produces ugly output. For some applications ugly-printers can be useful.

The tool ==pp-aterm== implements a generic ugly-printer for ATerms. It is part of the Tools.ATermTools. It transforms an ATerm to an AST in the Tools.BoxLanguage. This Box term is pretty printed to text with the Tools.GPP package.

-- Main.MartinBravenboer - 27 Feb 2003

----
CategoryPrettyPrint