Module Infix.Semiring

Parameters

• S : Interface.SEMIRING

Signature

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

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