Agda.TypeChecking.Free.Old

data FreeVars

class Free a

data IgnoreSorts

freeVars

freeVarsIgnore

allVars

relevantVars

rigidVars

freeIn

isBinderUsed

freeInIgnoringSorts

freeInIgnoringSortAnn

relevantIn

relevantInIgnoringSortAnn

data Occurrence

occurrence