Division_Ring.I
val (|+|) : R.t -> R.t -> R.t
val (|*|) : R.t -> R.t -> R.t
val (|-|) : R.t -> R.t -> R.t