{"ast_node_type":"struct","tokens":[{"end":92,"kind":"keyword","start":0,"text":"struct"}]}
        struct ContainsTermOrNotNameable<'a, D: SolverDelegate<Interner = I>, I: Interner> {
            term: I::Term,