Function lean_py_is

LeanPy/native/python_bridge.c:672–675

    if (r < 0) return raise_py_error();
    return lean_io_result_mk_ok(lean_int64_to_int((int64_t) r));
}

LEAN_EXPORT lean_obj_res lean_py_eq(b_lean_obj_arg a, b_lean_obj_arg b, lean_obj_arg world) {
    (void)world; ENSURE_INIT(); WITH_GIL();
    int r = p_PyObject_RichCompareBool(unwrap_pyobject(a), unwrap_pyobject(b), Py_EQ);
    if (r < 0) return raise_py_error();
    return lean_io_result_mk_ok(lean_box(r ? 1 : 0));