{"ast_node_type":"other","tokens":[{"end":38,"kind":"keyword","start":0,"text":"symbols.push(("}]}
                        symbols.push((
                        let symbol = ExportedSymbol::Generic(def, args);
                            symbol,