Module Compare.Abelian_Group_Any

Parameters

• A : Bastet.Interface.ABELIAN_GROUP_ANY
• E : Bastet.Interface.EQ1 with type 'a t = 'a A.t

Signature

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