Module Z.Y

module X : sig ... end