Agda.TypeChecking.Free
data FreeVars
type Free a
class Free' a c
type FreeV a
type FreeVS a
data IgnoreSorts
runFree
rigidVars
relevantVars
allVars
allFreeVars
allRelevantVars
allRelevantVarsIgnoring
freeIn
freeInIgnoringSorts
isBinderUsed
relevantIn
relevantInIgnoringSortAnn
data Occurrence
occurrence
closed
freeVars