ATermTools is a collection of generic tools for [[Stratego.ATerm][ATerms]]. ---++ Tools %STARTINCLUDE% * [[TermToDot][term-to-dot]] -- transforms an ATerm to a graph in the Transform.DotLanguage * [[PpATerm][pp-aterm]] -- pretty prints an ATerm to text with whitespace to show the tree structure of the ATerm. %STOPINCLUDE%