Function lean_py_exec

LeanPy/native/python_bridge.c:747–755

    return p_PyModule_GetDict(m);                   /* borrowed */
}

LEAN_EXPORT lean_obj_res lean_py_eval(b_lean_obj_arg src, lean_obj_arg world) {
    (void)world; ENSURE_INIT(); WITH_GIL();
    PyObject *g = get_main_globals();
    if (!g) return raise_py_error();
    PyObject *r = p_PyRun_StringFlags(lean_string_cstr(src), Py_eval_input, g, g, NULL);
    return ok_owned_or_err(r);
}

LEAN_EXPORT lean_obj_res lean_py_exec(b_lean_obj_arg src, lean_obj_arg world) {
    (void)world; ENSURE_INIT(); WITH_GIL();
    PyObject *g = get_main_globals();