Data.Rewriting.Rules.Ops
funs
funsDL
vars
varsDL
lhss
rhss
restrictFuns
isLinear
isLeftLinear
isRightLinear
isGround
isLeftGround
isRightGround
isErasing
isCreating
isDuplicating
isCollapsing
isValid