Function leanpy_inc

LeanPy/native/python_bridge.c:187–187

}

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); }
LEAN_EXPORT void leanpy_inc_ref(b_lean_obj_arg o) { lean_inc_ref(o); }
LEAN_EXPORT void leanpy_dec_ref(lean_obj_arg o)   { lean_dec_ref(o); }