Agda.TypeChecking.Positivity.Tests

prop_oplus_Occurrence_Edge

tests