{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"//"}]}
// Terms are structured as a straightforward tree. Rather than rely on
//
// GC, we allocate terms out of a bounded arena (the lifetime of this