Function leanpy_alloc_ctor

LeanPy/native/python_bridge.c:167–169

/* ------------------------------------------------------------------ */

LEAN_EXPORT lean_object * leanpy_alloc_ctor(unsigned tag, unsigned num_objs, unsigned scalar_sz) {
    return lean_alloc_ctor(tag, num_objs, scalar_sz);
}

LEAN_EXPORT void leanpy_ctor_set(b_lean_obj_arg o, unsigned i, lean_obj_arg v) {
    lean_ctor_set(o, i, v);