Parameter Dep2.Arg

module type S
module X : sig ... end