Module Int.Multiplicative
module Medial_Magma : sig ... endmodule Semigroup : sig ... endmodule Monoid : sig ... endmodule Quasigroup : sig ... endmodule Loop : sig ... endInt.Multiplicativemodule Medial_Magma : sig ... endmodule Semigroup : sig ... endmodule Monoid : sig ... endmodule Quasigroup : sig ... endmodule Loop : sig ... end