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