Function lean_py_setitem

LeanPy/native/python_bridge.c:651–656

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));
}

LEAN_EXPORT lean_obj_res lean_py_getitem(b_lean_obj_arg p, b_lean_obj_arg k, lean_obj_arg world) {
    (void)world; ENSURE_INIT(); WITH_GIL();
    return ok_owned_or_err(p_PyObject_GetItem(unwrap_pyobject(p), unwrap_pyobject(k)));
}