Agda.TypeChecking.MetaVars.Occurs
data
OccursCtx
abort
class
Occurs
t
occursCheck
hasBadRigid
killArgs
killedType
performKill