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