Agda.TypeChecking.Free

data FreeVars

class Free a

class IsVarSet a

data IgnoreSorts

runFree

rigidVars

relevantVars

allVars

allFreeVars

allRelevantVars

allRelevantVarsIgnoring

freeIn

freeInIgnoringSorts

isBinderUsed

relevantIn

relevantInIgnoringSortAnn

data Occurrence

occurrence

closed

freeVars

freeVars'