semiring-simple

Modules