When module A.B is re-exported, in reality it's not module re-exported but rather all symbols in current scope that were imported from A.B are exported. Furthermore, there is no way to know whether module is defined in a given module or just re-exported; and no way to know module it was re-exported from. This is kind of abstraction that gives some freedom to alter library internals without altering external interface.