Parameter `Dep7.1-Arg`

module type S

module type T = sig ... end

module X : T