(self, o, n)
| 371 | o.contents.m_rc += 1 |
| 372 | |
| 373 | def lean_inc_ref_n(self, o, n): |
| 374 | if o is None: |
| 375 | return |
| 376 | helper = self._find_leanpy_helper("leanpy_inc_ref_n") |
| 377 | if helper is not None: |
| 378 | helper.argtypes = [c_void_p, c_size_t] |
| 379 | helper.restype = None |
| 380 | helper(_ptr_as_int(o), n) |
| 381 | return |
| 382 | if o.contents.m_rc > 0: |
| 383 | o.contents.m_rc += n |
| 384 | |
| 385 | def lean_dec_ref(self, o): |
| 386 | # Delegate to the C-side helper that correctly handles MT objects |
no test coverage detected