Agda.Termination.Semiring
data
Semiring
a
semiringInvariant
integerSemiring
boolSemiring
tests