Module `Relude_Int.Additive`

include BsBastet.Int.Additive;

module Magma = Int-BsBastet.Additive.Magma;

module Medial_Magma = Int-BsBastet.Additive.Medial_Magma;

module Semigroup = Int-BsBastet.Additive.Semigroup;

module Monoid = Int-BsBastet.Additive.Monoid;

module Quasigroup = Int-BsBastet.Additive.Quasigroup;

module Medial_Quasigroup = Int-BsBastet.Additive.Medial_Quasigroup;

module Loop = Int-BsBastet.Additive.Loop;

module Group = Int-BsBastet.Additive.Group;

module Abelian_Group = Int-BsBastet.Additive.Abelian_Group;