aterm-utils-0.2.0.2: Utility functions for working with aterms as generated by Minitermite
ATerm.Pretty
ppATerm :: ATermTable -> DocSource