Agda.TypeChecking.Positivity.Occurrence

data Occurrence

prop_Occurrence_oplus_associative

prop_Occurrence_oplus_ozero

prop_Occurrence_oplus_commutative

prop_Occurrence_otimes_associative

prop_Occurrence_otimes_oone

prop_Occurrence_distributive

prop_Occurrence_otimes_ozero

prop_Occurrence_ostar

tests