Module Bastet__Infix.Semiring

Parameters

• S : Bastet.Interface.SEMIRING

Signature

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

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