Agda.TypeChecking.Positivity.Occurrence

data Occurrence

data OccursWhere

data Where

boundToEverySome

productOfEdgesInBoundedWalk