CoreFVs

Free variables of expressions and binding groups

exprFreeVars

exprFreeVarsDSet

exprFreeIds

exprsFreeVars

exprsFreeVarsList

bindFreeVars

Selective free variables of expressions

type InterestingVarFun

exprSomeFreeVars

exprsSomeFreeVars

Free variables of Rules, Vars and Ids

varTypeTyCoVars

varTypeTyCoVarsAcc

idUnfoldingVars

idFreeVars

dIdFreeVars

idRuleAndUnfoldingVars

idRuleAndUnfoldingVarsDSet

idFreeVarsAcc

idRuleVars

idRuleRhsVars

stableUnfoldingVars

ruleRhsFreeVars

ruleFreeVars

rulesFreeVars

rulesFreeVarsDSet

ruleLhsFreeIds

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