ATermTools is a collection of generic tools for ATerms. Tools STARTINCLUDE term-to-dot transforms an ATerm to a graph in the Transform.DotLanguage pp-aterm pretty ...