(self, tag, num_objs, scalar_sz)
| 554 | |
| 555 | # ----- Allocation primitives (delegated to leanpy_native helpers) ----- |
| 556 | def lean_alloc_ctor(self, tag, num_objs, scalar_sz): |
| 557 | fn = self._find_leanpy_helper("leanpy_alloc_ctor") |
| 558 | if fn is None: |
| 559 | raise RuntimeError("leanpy_alloc_ctor not found — leanpy_native not linked") |
| 560 | fn.argtypes = [c_uint, c_uint, c_uint] |
| 561 | fn.restype = LeanObjectPtr |
| 562 | return fn(tag, num_objs, scalar_sz) |
| 563 | |
| 564 | def lean_alloc_array(self, size, capacity): |
| 565 | fn = self._find_leanpy_helper("leanpy_alloc_array") |
no outgoing calls
no test coverage detected