Agda.TypeChecking.MetaVars.Occurs
data OccursCtx
data UnfoldStrategy
defArgs
unfold
weakly
strongly
abort
type Vars
goIrrelevant
allowedVar
takeRelevant
underAbs
class Occurs t
occursCheck
prune
hasBadRigid
data PruneResult
killArgs
killedType
performKill