{"ast_node_type":"other","tokens":[{"end":51,"kind":"keyword","start":0,"text":"TermKind::Const(c)"}]}
            TermKind::Const(c) => c.visit(visitor),
            TermKind::Type(t) => t.visit(visitor),
        }