fn propagate_should_translate(env: &GlobalEnv, module_id: ModuleId) {
    let module_env = env.get_module(module_id);
    for dep in module_env.get_used_modules(true) {
        if !env.get_module(dep).should_translate() {
            env.add_module_to_should_translate(dep);
            propagate_should_translate(env, dep);
        }
    }
}
/// Propage should_translate property to dependencies of the module.
Propage should_translate property to dependencies of the module.
Propage should_translate property to dependencies of the module .
fn propagate_should_translate(env: &GlobalEnv, module_id: ModuleId) {
    let module_env = env.get_module(module_id);
    for dep in module_env.get_used_modules(true) {
        if !env.get_module(dep).should_translate() {
            env.add_module_to_should_translate(dep);
            propagate_should_translate(env, dep);
        }
    }
}
fn propagate_should_translate ( env : & GlobalEnv , module_id : ModuleId ) { let module_env = env . get_module ( module_id ) ; for dep in module_env . get_used_modules ( true ) { if ! env . get_module ( dep ) . should_translate ( ) { env . add_module_to_should_translate ( dep ) ; propagate_should_translate ( env , dep ) ; } } }
Propage should_translate property to dependencies of the module.
Propage should_translate property to dependencies of the module .
env
&GlobalEnv
module_id
ModuleId