{"ast_node_type":"other","tokens":[{"end":68,"kind":"keyword","start":0,"text":"TermKind::Const(ct)"}]}
            TermKind::Const(ct) => write!(f, "Term::Const({ct:?})"),
            TermKind::Ty(ty) => write!(f, "Term::Ty({ty:?})"),
        }