Module V.I

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