Agda.TypeChecking.Free
data FreeVars
class Free a
freeVars
allVars
relevantVars
rigidVars
freeIn
isBinderUsed
freeInIgnoringSorts
relevantIn
data Occurrence
occurrence