term-rewriting-0.1: Term Rewriting Library
Data.Rewriting.Rule.Pretty
prettyRule :: Doc -> (f -> Doc) -> (v -> Doc) -> Rule f v -> DocSource