CoreFVs
exprFreeVars
exprFreeVarsDSet
exprFreeIds
exprsFreeVars
exprsFreeVarsList
bindFreeVars
type InterestingVarFun
exprSomeFreeVars
exprsSomeFreeVars
varTypeTyCoVars
varTypeTyCoVarsAcc
idUnfoldingVars
idFreeVars
dIdFreeVars
idRuleAndUnfoldingVars
idRuleAndUnfoldingVarsDSet
idFreeVarsAcc
idRuleVars
idRuleRhsVars
stableUnfoldingVars
ruleRhsFreeVars
ruleFreeVars
rulesFreeVars
rulesFreeVarsDSet
ruleLhsFreeIds
vectsFreeVars
expr_fvs
orphNamesOfType
orphNamesOfCo
orphNamesOfAxiom
orphNamesOfTypes
orphNamesOfCoCon
exprsOrphNames
orphNamesOfFamInst
data FVAnn
type CoreExprWithFVs
type CoreExprWithFVs'
type CoreBindWithFVs
type CoreAltWithFVs
freeVars
freeVarsOf
freeVarsOfType
freeVarsOfAnn
freeVarsOfTypeAnn
exprTypeFV