Parameter Dep5.Arg

module type T
module type S = sig ... end
module X : T