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