On Thu, Feb 17, 2022 at 3:09 AM Vladimir Grigoriev <vlad.moscow_at_[hidden]> wrote:
>
> If the namespace is a part of the global module then what is the meaning to export it in a named module?

If you do `export namespace X { stuff }`, this makes this particular
namespace declaration an *export-declaration*. This means that the
declarations in "stuff" are all within an *export-declaration*. This
means that all declarations within "stuff" satisfy
[module.interface]/2.1. Therefore, all such declarations are
implicitly exported.

It's essentially shorthand for `export {namespace X{ stuff } }`.