Function lean_py_getattr

LeanPy/native/python_bridge.c:628–631

    PyObject *ty = p_PyObject_Type(unwrap_pyobject(p));
    if (!ty) return raise_py_error();
    PyObject *nm = p_PyObject_GetAttrString(ty, "__name__");
    p_Py_DecRef(ty);
    return py_obj_to_lean_string(nm);
}

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