Agda.TypeChecking.Positivity

checkStrictlyPositive

data OccursWhere

(>*<)

data Item

type Occurrences

(>+<)

concatOccurs

occursAs

here

class ComputeOccurrences a

computeOccurrences

etaExpandClause

data Node

data Edge

buildOccurrenceGraph

computeEdge