Agda.TypeChecking.MetaVars.Occurs

data OccursCtx

abort

class Occurs t

occursCheck

hasBadRigid

killArgs

killedType

performKill