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

rulesFreeVars

ruleLhsOrphNames

ruleLhsFreeIds

vectsFreeVars

# Core syntax tree annotation with free variables

type CoreExprWithFVs

type CoreBindWithFVs

freeVars

freeVarsOf