(self, n)
| 331 | return _ptr_int(o) & _SCALAR_BIT == 1 |
| 332 | |
| 333 | def lean_box(self, n): |
| 334 | if isinstance(n, int): |
| 335 | ptr_val = (n << 1) | 1 |
| 336 | else: |
| 337 | ptr_val = (_ptr_int(n) << 1) | 1 |
| 338 | return ctypes.cast(c_void_p(ptr_val), LeanObjectPtr) |
| 339 | |
| 340 | def lean_unbox(self, o): |
| 341 | return _ptr_int(o) >> 1 |
no test coverage detected