CoreFVs

Free variables of expressions and binding groups

exprFreeVars

exprFreeIds

exprsFreeVars

bindFreeVars

Selective free variables of expressions

type InterestingVarFun

exprSomeFreeVars

exprsSomeFreeVars

Free variables of Rules, Vars and Ids

varTypeTyVars

idUnfoldingVars

idFreeVars

idRuleAndUnfoldingVars

idRuleVars

idRuleRhsVars

stableUnfoldingVars

ruleRhsFreeVars

ruleFreeVars

rulesFreeVars

ruleLhsOrphNames

ruleLhsFreeIds

vectsFreeVars

Core syntax tree annotation with free variables

type CoreExprWithFVs

type CoreBindWithFVs

freeVars

freeVarsOf