Agda.TypeChecking.Free.Old
data FreeVars
class Free a
data IgnoreSorts
freeVars
freeVarsIgnore
allVars
relevantVars
rigidVars
freeIn
isBinderUsed
freeInIgnoringSorts
freeInIgnoringSortAnn
relevantIn
relevantInIgnoringSortAnn
data Occurrence
occurrence