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