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