Function move_model::run_bytecode_model_builder

pub fn run_bytecode_model_builder<'a>(
    modules: impl IntoIterator<Item = &'a CompiledModule>
) -> Result<GlobalEnv>

Build a GlobalEnv from a collection of CompiledModule’s. The modules list must be topologically sorted by the dependency relation (i.e., a child node in the dependency graph should appear earlier in the vector than its parents).