include BsBastet.Int.Multiplicative;
module Magma = Int-BsBastet.Multiplicative.Magma;
module Semigroup = Int-BsBastet.Multiplicative.Semigroup;
module Monoid = Int-BsBastet.Multiplicative.Monoid;
module Quasigroup = Int-BsBastet.Multiplicative.Quasigroup;
module Loop = Int-BsBastet.Multiplicative.Loop;