The compiler module_level_declarations package tracks information about modules being compiled. (In this context, a “module” is essentially what you get from compiling one sourcefile.)
The module_level_declarations package implements the Module_Level_Declarations API.
The module_level_declarations package source code is in src/lib/compiler/front/typer-stuff/modules/module-level-declarations.pkg.
The above information is manually maintained and may contain errors.
Module_Level_Declarations