Agda.Termination.Semiring

class HasZero a

data Semiring a

integerSemiring

intSemiring

boolSemiring