Function lean_py_eval

LeanPy/native/python_bridge.c:739–745

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)));
}

static PyObject *get_main_globals(void) {
    PyObject *m = p_PyImport_AddModule("__main__"); /* borrowed */
    if (!m) return NULL;
    return p_PyModule_GetDict(m);                   /* borrowed */
}

LEAN_EXPORT lean_obj_res lean_py_eval(b_lean_obj_arg src, lean_obj_arg world) {