Module `Compare.Commutative_Ring`

Parameters

R : Interface.COMMUTATIVE_RING
E : Interface.EQ with type t = R.t

Signature

module I : sig ... end

val multiplicative_commutativity : R.t -> R.t -> bool