{"ast_node_type":"other","tokens":[{"end":37,"kind":"keyword","start":0,"text":"TermKind::Const(cnst)"}]}
                TermKind::Const(cnst)
                let cnst = cnst.stable(tables, cx);
            }