Module Compare.Abelian_Group

Parameters

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

Signature

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