Agda.TypeChecking.Positivity

checkStrictlyPositive

getDefArity

data OccursWhere

(>*<)

data Item

type Occurrences

(>+<)

concatOccurs

occursAs

here

class ComputeOccurrences a

computeOccurrences

etaExpandClause

data Node

prettyGraph

data Edge

buildOccurrenceGraph

computeEdge