CoreFVs
exprFreeVars
exprFreeIds
exprsFreeVars
bindFreeVars
type InterestingVarFun
exprSomeFreeVars
exprsSomeFreeVars
varTypeTyVars
idUnfoldingVars
idFreeVars
idRuleAndUnfoldingVars
idRuleVars
idRuleRhsVars
stableUnfoldingVars
ruleRhsFreeVars
ruleFreeVars
rulesFreeVars
ruleLhsOrphNames
ruleLhsFreeIds
vectsFreeVars
type CoreExprWithFVs
type CoreBindWithFVs
freeVars
freeVarsOf