ATerm Tools

ATermTools is a collection of generic tools for ATerms^?.

Tools

• term-to-dot^? -- transforms an ATerm to a graph in the DotLanguage
• pp-aterm -- pretty prints an ATerm to text with whitespace to show the tree structure of the ATerm.