termlib-0.9: Term Rewriting Library

Safe HaskellSafe-Infered

Termlib.Trs.PrettyPrint

Documentation

pprintTrs :: (a -> Doc) -> [a] -> Doc

pprintNamedTrs :: Signature -> Variables -> String -> Trs -> Doc