Function ok_owned_or_err

LeanPy/native/python_bridge.c:306–309

Wrap an owned PyObject as IO Py; if NULL, propagate any pending Py error. */

/* Wrap an owned PyObject as IO Py; if NULL, propagate any pending Py error. */
static lean_object *ok_owned_or_err(PyObject *o) {
    if (!o) return raise_py_error();
    return lean_io_result_mk_ok(wrap_pyobject(o));
}

/* ------------------------------------------------------------------ */
/*  initialize                                                         */