Module Int.Additive
module Medial_Magma : sig ... endmodule Semigroup : sig ... endmodule Monoid : sig ... endmodule Quasigroup : sig ... endmodule Loop : sig ... endmodule Group : sig ... endmodule Abelian_Group : sig ... endInt.Additivemodule Medial_Magma : sig ... endmodule Semigroup : sig ... endmodule Monoid : sig ... endmodule Quasigroup : sig ... endmodule Loop : sig ... endmodule Group : sig ... endmodule Abelian_Group : sig ... end