Function leanpy_ctor_set

LeanPy/native/python_bridge.c:171–173

}

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

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