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