Module Int.Divisive

module Magma : Interface.MAGMA with type t = int