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.