Agda.TypeChecking.Free

data FreeVars

class Free a

freeVars

allVars

relevantVars

rigidVars

freeIn

isBinderUsed

freeInIgnoringSorts

relevantIn

data Occurrence

occurrence