Function lean_py_call

LeanPy/native/python_bridge.c:681–694

}

LEAN_EXPORT lean_obj_res lean_py_is(b_lean_obj_arg a, b_lean_obj_arg b, lean_obj_arg world) {
    (void)world; ENSURE_INIT(); WITH_GIL();
    return lean_io_result_mk_ok(lean_box(unwrap_pyobject(a) == unwrap_pyobject(b) ? 1 : 0));
}

/* ------------------------------------------------------------------ */
/*  Calling                                                            */
/* ------------------------------------------------------------------ */

LEAN_EXPORT lean_obj_res lean_py_call(b_lean_obj_arg f, b_lean_obj_arg args, lean_obj_arg world) {
    (void)world; ENSURE_INIT(); WITH_GIL();
    size_t n = lean_array_size(args);
    PyObject *tup = p_PyTuple_New((Py_ssize_t)n);
    if (!tup) return raise_py_error();
    for (size_t i = 0; i < n; i++) {
        PyObject *po = unwrap_pyobject(lean_array_get_core(args, i));
        p_Py_IncRef(po);