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;