Module Bastet__Int.Multiplicative
module Magma : Bastet.Interface.MAGMA with type t = intmodule Medial_Magma : Bastet.Interface.MEDIAL_MAGMA with type t = intmodule Semigroup : Bastet.Interface.SEMIGROUP with type t = intmodule Monoid : Bastet.Interface.MONOID with type t = intmodule Quasigroup : Bastet.Interface.QUASIGROUP with type t = intmodule Loop : Bastet.Interface.LOOP with type t = int