Correct. The module unit may have a “global module fragment” which is never imported itself.
Em sex., 13 de mai. de 2022 às 10:31, Gabriel Dos Reis
<gdr@microsoft.com> escreveu:
Agreed, but what can this body (the study group) say more than "your
implementation needs to be unambiguous about what it considers
importable"?
I think having a clear terminology is a starting point. But we'll
definitely need to get into more details than that, including for
things like "when you distribute a library, how do you tell what are
the "importable" headers you ship.
Also, we don't import module units - we never do.
I don't think I understand what you mean. Would you mind clarifying?
I'm pretty sure he wants to say that you import the BMI rather than the module unit as the former is a compilation artefact of the latter.