Module Int.Multiplicative

module Fold_Map : sig ... end