Module Int.Subtractive

module Magma : Interface.MAGMA with type t = int
module Medial_Magma : Interface.MEDIAL_MAGMA with type t = int
module Quasigroup : Interface.QUASIGROUP with type t = int