Bastet__Verify.Abelian_Group
A : Bastet.Interface.ABELIAN_GROUP
include sig ... end
val commutativity : A.t -> A.t -> bool