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