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