Agda.TypeChecking.Free
data FreeVars
type Free a
type FreeV a
type FreeVS a
data IgnoreSorts
allFreeVars
allRelevantVars
allRelevantVarsIgnoring
freeIn
freeInIgnoringSorts
isBinderUsed
relevantIn
relevantInIgnoringSortAnn
data Occurrence
occurrence
closed
freeVars