Function lean_py_length

LeanPy/native/python_bridge.c:658–663

    (void)world; ENSURE_INIT(); WITH_GIL();
    return ok_owned_or_err(p_PyObject_GetItem(unwrap_pyobject(p), unwrap_pyobject(k)));
}

LEAN_EXPORT lean_obj_res lean_py_setitem(b_lean_obj_arg p, b_lean_obj_arg k, b_lean_obj_arg v, lean_obj_arg world) {
    (void)world; ENSURE_INIT(); WITH_GIL();
    int r = p_PyObject_SetItem(unwrap_pyobject(p), unwrap_pyobject(k), unwrap_pyobject(v));
    if (r != 0) return raise_py_error();
    return lean_io_result_mk_ok(lean_box(0));
}