Verify.Abelian_Group_Any
A : Interface.ABELIAN_GROUP_ANY
include sig ... end
val commutativity : 'a A.t -> 'a A.t -> bool