Relude_Int.Subtractive
include BsBastet.Int.Subtractive;
module Magma = Int-BsBastet.Subtractive.Magma;
module Medial_Magma = Int-BsBastet.Subtractive.Medial_Magma;
module Quasigroup = Int-BsBastet.Subtractive.Quasigroup;