Parameter `Dep5.1-Arg`

module type T

module type S = sig ... end

module X : T