Data.Rewriting.Term.Ops

Operations on Terms

funs

funsDL

vars

varsDL

root

withArity

subtermAt

properSubterms

subterms

replaceAt

rename

Predicates on Terms

isVar

isFun

isGround

isLinear

isInstanceOf

isVariantOf