Agda.TypeChecking.Positivity
checkStrictlyPositive
data
OccursWhere
(>*<)
data
Item
type
Occurrences
(>+<)
concatOccurs
occursAs
here
class
ComputeOccurrences
a
computeOccurrences
etaExpandClause
data
Node
data
Edge
buildOccurrenceGraph
computeEdge