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