Function lean_alloc_array

lean_py/_runtime.py:564–570

(self, size, capacity)

        return fn(tag, num_objs, scalar_sz)

    def lean_alloc_array(self, size, capacity):
        fn = self._find_leanpy_helper("leanpy_alloc_array")
        if fn is None:
            raise RuntimeError("leanpy_alloc_array not found — leanpy_native not linked")
        fn.argtypes = [c_size_t, c_size_t]
        fn.restype = LeanObjectPtr
        return fn(size, capacity)

    def lean_array_set_core(self, o, i, v):
        arr_cls = structs.get("lean_array_object")