Module Semiring.I

val (|+|) : S.t -> S.t -> S.t
val (|*|) : S.t -> S.t -> S.t