On Wed, Feb 16, 2022 at 3:29 PM Vladimir Grigoriev via Std-Discussion
<std-discussion_at_[hidden]> wrote:
>
> The module declaration is defined the following way
>
> 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.

It defines the start of the global module fragment. As stated in
section 10.4 called "global module fragment".