Module Compare.Abelian_Group

Parameters

• A : Interface.ABELIAN_GROUP
• E : Interface.EQ with type t = A.t

Signature

val commutativity : A.t -> A.t -> bool