Agda.Termination.Semiring
class
HasZero
a
data
Semiring
a
integerSemiring
intSemiring
boolSemiring