(self, o)
| 408 | self.lean_inc_ref_n(o, n) |
| 409 | |
| 410 | def lean_dec(self, o): |
| 411 | if not self.lean_is_scalar(o): |
| 412 | self.lean_dec_ref(o) |
| 413 | |
| 414 | def lean_is_ctor(self, o): |
| 415 | return self.lean_ptr_tag(o) <= constants.get("LeanMaxCtorTag", 243) |
no outgoing calls
no test coverage detected