Module Int.Additive
module Semigroup : sig ... endmodule Quasigroup : sig ... endmodule Monoid : sig ... endmodule Fold_Map : sig ... endInt.Additivemodule Semigroup : sig ... endmodule Quasigroup : sig ... endmodule Monoid : sig ... endmodule Fold_Map : sig ... end