Module Bastet__Int.Subtractive
module Magma : Bastet.Interface.MAGMA with type t = intmodule Medial_Magma : Bastet.Interface.MEDIAL_MAGMA with type t = intmodule Quasigroup : Bastet.Interface.QUASIGROUP with type t = intBastet__Int.Subtractivemodule Magma : Bastet.Interface.MAGMA with type t = intmodule Medial_Magma : Bastet.Interface.MEDIAL_MAGMA with type t = intmodule Quasigroup : Bastet.Interface.QUASIGROUP with type t = int