| 298 | } |
| 299 | |
| 300 | CelValue operator[](int index) const override { |
| 301 | return Get(elements_.get_allocator().arena(), index); |
| 302 | } |
| 303 | |
| 304 | // Like `operator[](int)` above, but also accepts an arena. Prefer calling |
| 305 | // this variant if the arena is known. |