Function unwrap_pyobject

LeanPy/native/python_bridge.c:239–241

}

static PyObject *unwrap_pyobject(b_lean_obj_arg obj) {
    return (PyObject *)lean_get_external_data(obj);
}

/* Python-side helper: extract the wrapped `PyObject*` from a Lean
 * external-class handle. Bumps the Python refcount so the caller