Function lean_py_getitem

LeanPy/native/python_bridge.c:646–649

    int r = p_PyObject_SetAttrString(unwrap_pyobject(p), lean_string_cstr(name), unwrap_pyobject(v));
    if (r != 0) return raise_py_error();
    return lean_io_result_mk_ok(lean_box(0));
}

LEAN_EXPORT lean_obj_res lean_py_hasattr(b_lean_obj_arg p, b_lean_obj_arg name, lean_obj_arg world) {
    (void)world; ENSURE_INIT(); WITH_GIL();
    int r = p_PyObject_HasAttrString(unwrap_pyobject(p), lean_string_cstr(name));
    return lean_io_result_mk_ok(lean_box(r ? 1 : 0));