Algebra.Semiring
Semiring interface: the module type T that every semiring implementation must satisfy.
T
module type T = sig ... end
The module type that every semiring implementation must satisfy.