(self, o)
| 359 | return o.contents.m_rc != 0 |
| 360 | |
| 361 | def lean_inc_ref(self, o): |
| 362 | if o is None: |
| 363 | return |
| 364 | helper = self._find_leanpy_helper("leanpy_inc_ref") |
| 365 | if helper is not None: |
| 366 | helper.argtypes = [c_void_p] |
| 367 | helper.restype = None |
| 368 | helper(_ptr_as_int(o)) |
| 369 | return |
| 370 | if o.contents.m_rc > 0: |
| 371 | o.contents.m_rc += 1 |
| 372 | |
| 373 | def lean_inc_ref_n(self, o, n): |
| 374 | if o is None: |
no test coverage detected