Function lean_py_hasattr

LeanPy/native/python_bridge.c:640–644

    (void)world; ENSURE_INIT(); WITH_GIL();
    return ok_owned_or_err(p_PyObject_GetAttrString(unwrap_pyobject(p), lean_string_cstr(name)));
}

LEAN_EXPORT lean_obj_res lean_py_setattr(b_lean_obj_arg p, b_lean_obj_arg name, b_lean_obj_arg v, lean_obj_arg world) {
    (void)world; ENSURE_INIT(); WITH_GIL();
    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));
}