Function leanpy_dec

LeanPy/native/python_bridge.c:188–188

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); }
LEAN_EXPORT void leanpy_inc_ref_n(b_lean_obj_arg o, size_t n) { lean_inc_ref_n(o, n); }