module-declaration:
export-keywordopt module-keyword module-name module-partitionopt attribute-specifier-seqopt ;
As it is seen module-name is not optional.
So what does this record
module;
mean?
It is evident that it is not a module declaration because there is absent module-name.