Module Relude_Int.Divisive

include BsBastet.Int.Divisive;
module Magma = Int-BsBastet.Divisive.Magma;