term-rewriting-0.1: Term Rewriting Library

Safe HaskellSafe-Inferred

Data.Rewriting.Substitution.Pretty

Documentation

prettySubst :: (f -> Doc) -> (v -> Doc) -> Subst f v -> DocSource