CoreFVs

# Free variables of expressions and binding groups

exprFreeVars

exprFreeVarsDSet

exprFreeVarsList

exprFreeIds

exprFreeIdsDSet

exprFreeIdsList

exprsFreeIdsDSet

exprsFreeIdsList

exprsFreeVars

exprsFreeVarsList

bindFreeVars

# Selective free variables of expressions

type InterestingVarFun

exprSomeFreeVars

exprsSomeFreeVars

exprSomeFreeVarsList

exprsSomeFreeVarsList

# Free variables of Rules, Vars and Ids

varTypeTyCoVars

varTypeTyCoFVs

idUnfoldingVars

idFreeVars

dIdFreeVars

idRuleAndUnfoldingVars

idRuleAndUnfoldingVarsDSet

idFVs

idRuleVars

idRuleRhsVars

stableUnfoldingVars

ruleRhsFreeVars

ruleFreeVars

rulesFreeVars

rulesFreeVarsDSet

ruleLhsFreeIds

ruleLhsFreeIdsList

vectsFreeVars

expr_fvs

# Orphan names

orphNamesOfType

orphNamesOfCo

orphNamesOfAxiom

orphNamesOfTypes

orphNamesOfCoCon

exprsOrphNames

orphNamesOfFamInst

# Core syntax tree annotation with free variables

data FVAnn

type CoreExprWithFVs

type CoreExprWithFVs'

type CoreBindWithFVs

type CoreAltWithFVs

freeVars

freeVarsOf

freeVarsOfType

freeVarsOfAnn

freeVarsOfTypeAnn

exprTypeFV