Relude_Float.Subtractive
include BsBastet.Float.Subtractive;
module Magma = Float-BsBastet.Subtractive.Magma;
module Medial_Magma = Float-BsBastet.Subtractive.Medial_Magma;
module Quasigroup = Float-BsBastet.Subtractive.Quasigroup;
module Medial_Quasigroup = Float-BsBastet.Subtractive.Medial_Quasigroup;