Up – bastet » Bastet » Verify » Commutative_Ring

Module `Verify.Commutative_Ring`

Parameters

R : Interface.COMMUTATIVE_RING

Signature

include sig ... end

module I : sig ... end

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