Agda.TypeChecking.Positivity.Occurrence
data Occurrence
boundToEverySome
productOfEdgesInBoundedWalk
tests