Agda.TypeChecking.Positivity.Occurrence

data Occurrence

boundToEverySome

productOfEdgesInBoundedWalk

tests