Module Relude_Float.Additive

include BsBastet.Float.Additive;
module Magma = Float-BsBastet.Additive.Magma;
module Medial_Magma = Float-BsBastet.Additive.Medial_Magma;
module Semigroup = Float-BsBastet.Additive.Semigroup;
module Monoid = Float-BsBastet.Additive.Monoid;
module Quasigroup = Float-BsBastet.Additive.Quasigroup;
module Medial_Quasigroup = Float-BsBastet.Additive.Medial_Quasigroup;
module Loop = Float-BsBastet.Additive.Loop;
module Group = Float-BsBastet.Additive.Group;
module Abelian_Group = Float-BsBastet.Additive.Abelian_Group;