Agda.TypeChecking.MetaVars.Occurs

data OccursCtx

data UnfoldStrategy

defArgs

unfold

weakly

strongly

abort

type Vars

goIrrelevant

allowedVar

takeRelevant

underAbs

class Occurs t

occursCheck

Getting rid of flexible occurrences

prune

hasBadRigid

data PruneResult

killArgs

killedType

performKill