On 11/20/2012 6:36 PM, xenon325 wrote: > On slide #39 there is `public:`. So I guess they consider module scope at least > in future versions of module system. True, but I was thinking of what happens when module A defines public X, and module B defines public X. Then A and B are imported.