Function lean_py_eq

LeanPy/native/python_bridge.c:665–670

    if (r != 0) return raise_py_error();
    return lean_io_result_mk_ok(lean_box(0));
}

LEAN_EXPORT lean_obj_res lean_py_length(b_lean_obj_arg p, lean_obj_arg world) {
    (void)world; ENSURE_INIT(); WITH_GIL();
    Py_ssize_t r = p_PyObject_Length(unwrap_pyobject(p));
    if (r < 0) return raise_py_error();
    return lean_io_result_mk_ok(lean_int64_to_int((int64_t) r));
}