CoreFVs
Free variables of expressions and binding groups
exprFreeVars
exprsFreeVars
bindFreeVars
Selective free variables of expressions
type
InterestingVarFun
exprSomeFreeVars
exprsSomeFreeVars
exprFreeNames
exprsFreeNames
Free variables of Rules, Vars and Ids
idRuleVars
idFreeVars
varTypeTyVars
ruleRhsFreeVars
rulesFreeVars
ruleLhsFreeNames
ruleLhsFreeIds
Core syntax tree annotation with free variables
type
CoreExprWithFVs
type
CoreBindWithFVs
freeVars
freeVarsOf