Function leanpy_ctor_get

LeanPy/native/python_bridge.c:175–177

}

LEAN_EXPORT lean_object * leanpy_ctor_get(b_lean_obj_arg o, unsigned i) {
    return lean_ctor_get(o, i);
}

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