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