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