// A class that is declared in the 'bottom' module, then loaded from
// one of the modules it depends on. It needs to be visible when this
// module is loaded.
@class DeclaredThenLoaded;