Euclidean_Ring.I
val (|+|) : R.t -> R.t -> R.t
val (|*|) : R.t -> R.t -> R.t
val (|-|) : R.t -> R.t -> R.t
val (|/|) : R.t -> R.t -> R.t
val (|%|) : R.t -> R.t -> R.t