Agda-2.5.1.2: A dependently typed functional programming language and proof assistant
Agda.TypeChecking.Positivity.Tests
Synopsis
prop_oplus_Occurrence_Edge :: Edge -> Edge -> Bool Source #
The oplus method for Occurrence matches that for Edge.
oplus
Occurrence
Edge
tests :: IO Bool Source #
Tests.