Module type Nested.nested

module N : sig ... end