Function get_main_globals

LeanPy/native/python_bridge.c:733–737

}

/* ------------------------------------------------------------------ */
/*  Modules and globals                                                */
/* ------------------------------------------------------------------ */

LEAN_EXPORT lean_obj_res lean_py_import(b_lean_obj_arg name, lean_obj_arg world) {
    (void)world; ENSURE_INIT(); WITH_GIL();
    return ok_owned_or_err(p_PyImport_ImportModule(lean_string_cstr(name)));
}