Infix.Ring
R : Interface.RING
include sig ... end
val (|+|) : R.t -> R.t -> R.t
val (|*|) : R.t -> R.t -> R.t
val (|-|) : R.t -> R.t -> R.t