Module `Compare.Commutative_Ring`

Parameters

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

Signature

module I : sig ... end

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