Agda.Termination.Semiring
class
HasZero
a
class
SemiRing
a
data
Semiring
a
semiringInvariant
integerSemiring
boolSemiring
tests