Module Bastet__Int.Divisive

module Magma : Bastet.Interface.MAGMA with type t = int