Function leanpy_array_set_core

LeanPy/native/python_bridge.c:183–185

}

LEAN_EXPORT void leanpy_array_set_core(b_lean_obj_arg o, size_t i, lean_obj_arg v) {
    lean_array_set_core(o, i, v);
}

LEAN_EXPORT void leanpy_inc(b_lean_obj_arg o) { lean_inc(o); }
LEAN_EXPORT void leanpy_dec(lean_obj_arg o)   { lean_dec(o); }