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