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