Module type 1-Arg.S

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