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