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