pub fn module_path_string(module: &AIRModule) -> Option<String>Expand description
The declared module-path of an AIR module as a dotted string
(e.g. core.option), or None if the module declares no module <path>.
Used by the per-module (native-import) emission path to map a module’s
declared path — not its on-disk source path — onto the target’s import
path. For Python this drives both the emitted file location
(core.option → core/option.py) and the import statement
(from core.option import …), so the two agree and a multi-file program
resolves its imports when run from the build root.