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;