Function lean_py_to_bool

LeanPy/native/python_bridge.c:567–572

            p_Py_DecRef(d);
            return raise_py_error();
        }
    }
    return lean_io_result_mk_ok(wrap_pyobject(d));
}

/* ------------------------------------------------------------------ */
/*  Conversions: Python → Lean                                         */
/* ------------------------------------------------------------------ */