Function leanpy_unwrap_pyobject

LeanPy/native/python_bridge.c:251–258

Python-side helper: extract the wrapped `PyObject*` from a Lean * external-class handle. Bumps the Python refcount so the caller * receives an owned reference. The Lean handle's own reference is * untouched. Returns NULL if `obj` is not a wrapped PyObject (e.g. * a different external class, or initialisation hasn't happened). * * Used by `lean_py.marshal` to convert a `Py` handle returned fr

 * Used by `lean_py.marshal` to convert a `Py` handle returned from
 * Lean into a live Python object the caller can use directly. */
LEAN_EXPORT void * leanpy_unwrap_pyobject(b_lean_obj_arg obj) {
    if (!py_initialized) return NULL;
    if (!lean_is_external(obj)) return NULL;
    PyObject *o = unwrap_pyobject(obj);
    if (!o) return NULL;
    p_Py_IncRef(o);
    return (void *)o;
}

/* ------------------------------------------------------------------ */
/*  Error mapping                                                      */