Function lean_py_setattr

LeanPy/native/python_bridge.c:633–638

}

/* ------------------------------------------------------------------ */
/*  Object access                                                      */
/* ------------------------------------------------------------------ */

LEAN_EXPORT lean_obj_res lean_py_getattr(b_lean_obj_arg p, b_lean_obj_arg name, lean_obj_arg world) {
    (void)world; ENSURE_INIT(); WITH_GIL();
    return ok_owned_or_err(p_PyObject_GetAttrString(unwrap_pyobject(p), lean_string_cstr(name)));
}