Module Int.Additive

module Semigroup : sig ... end
module Quasigroup : sig ... end
module Monoid : sig ... end
module Fold_Map : sig ... end