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