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