Module V.I
val (|+|) : Bastet.Int.Semiring.t -> Bastet.Int.Semiring.t -> Bastet.Int.Semiring.tval (|*|) : Bastet.Int.Semiring.t -> Bastet.Int.Semiring.t -> Bastet.Int.Semiring.t
V.Ival (|+|) : Bastet.Int.Semiring.t -> Bastet.Int.Semiring.t -> Bastet.Int.Semiring.tval (|*|) : Bastet.Int.Semiring.t -> Bastet.Int.Semiring.t -> Bastet.Int.Semiring.t