Right.

On Thu, Feb 21, 2019 at 23:38 Henning Thielemann <lemming@henning-thielemann.de> wrote:

On Thu, 21 Feb 2019, Lennart Augustsson wrote:

> I don’t really see how it subverts anything.  If you rename the module
> on import, then that’s the module name you have to use when accessing a
> qualified export. 

That is, "qualified export" is only a flag for each identifier and not a
module name per identifier?