Parameter M.1-S

module E : sig ... end