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