Data.Rewriting.Term
data
Term
f v
Important operations
fold
map
vars
funs
Reexported modules