Module type Arg.S

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