Agda-2.5.1: 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.