Agda.TypeChecking.MetaVars.Occurs
class
Occurs
t
occursCheck