Function wrap_pyobject

LeanPy/native/python_bridge.c:235–237

}

static lean_object *wrap_pyobject(PyObject *o) {
    return lean_alloc_external(get_py_class(), o);
}

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