Module Dep5.Z

module X : Arg.T
module Y : sig ... end