Module Infix.Ring

Parameters

Signature

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