Function leanpy_alloc_array

LeanPy/native/python_bridge.c:179–181

}

LEAN_EXPORT lean_object * leanpy_alloc_array(size_t size, size_t capacity) {
    return lean_alloc_array(size, capacity);
}

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);