Function lean_py_of_dict

LeanPy/native/python_bridge.c:543–561

    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);
        PyObject *po = unwrap_pyobject(elem);
        p_Py_IncRef(po);
        p_PyTuple_SetItem(tup, (Py_ssize_t)i, po);
    }
    return lean_io_result_mk_ok(wrap_pyobject(tup));
}

LEAN_EXPORT lean_obj_res lean_py_of_dict(b_lean_obj_arg arr, lean_obj_arg world) {
    (void)world; ENSURE_INIT(); WITH_GIL();
    PyObject *d = p_PyDict_New();
    if (!d) return raise_py_error();
    size_t n = lean_array_size(arr);
    for (size_t i = 0; i < n; i++) {
        /* Each element is a Prod Py Py — a 2-arg ctor object. */
        lean_object *kv = lean_array_get_core(arr, i);
        lean_object *kobj = lean_ctor_get(kv, 0);
        lean_object *vobj = lean_ctor_get(kv, 1);
        PyObject *k = unwrap_pyobject(kobj);
        PyObject *v = unwrap_pyobject(vobj);
        if (p_PyDict_SetItem(d, k, v) != 0) {