Module `Int.Multiplicative`

module Semigroup : sig ... end

module Quasigroup : sig ... end

module Monoid : sig ... end

module Fold_Map : sig ... end