Agda.TypeChecking.Free

data FreeVars

class Free a

freeVars

allVars

freeIn

freeInIgnoringSorts