Module Abelian_Group.V
val commutativity : Bastet.Int.Additive.Abelian_Group.t -> Bastet.Int.Additive.Abelian_Group.t -> bool
Abelian_Group.Vval commutativity : Bastet.Int.Additive.Abelian_Group.t -> Bastet.Int.Additive.Abelian_Group.t -> bool