Function lean_py_of_tuple

LeanPy/native/python_bridge.c:529–541

    PyObject *list = p_PyList_New((Py_ssize_t)n);
    if (!list) return raise_py_error();
    for (size_t i = 0; i < n; i++) {
        lean_object *elem = lean_array_get_core(arr, i);
        PyObject *po = unwrap_pyobject(elem);
        p_Py_IncRef(po);                         /* PyList_SetItem steals */
        p_PyList_SetItem(list, (Py_ssize_t)i, po);
    }
    return lean_io_result_mk_ok(wrap_pyobject(list));
}

LEAN_EXPORT lean_obj_res lean_py_of_tuple(b_lean_obj_arg arr, lean_obj_arg world) {
    (void)world; ENSURE_INIT(); WITH_GIL();
    size_t n = lean_array_size(arr);
    PyObject *tup = p_PyTuple_New((Py_ssize_t)n);
    if (!tup) return raise_py_error();
    for (size_t i = 0; i < n; i++) {
        lean_object *elem = lean_array_get_core(arr, i);