Parameter Dep7.Arg

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