term-rewriting-0.2: Term Rewriting Library
Data.Rewriting.Substitution.Pretty
prettySubst :: (f -> Doc) -> (v -> Doc) -> Subst f v -> Doc Source