This patch adds support for re-exporting modules as described in [dcl.modules.export]
Thanks, looks great.
Maybe consider adding one more module to this test: a module that is imported into this module but *not* re-exported.
LGTM. Will be happy to also run our re-export tests in build2 once this is merged.
All our tests pass as well. Thanks for your work!