Parameter Dep2.1-Arg

module type S
module X : sig ... end