Parameter Commutative_Ring.2-E

type t = R.t
val eq : t -> t -> bool