{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"navigation_range:"}]}
            navigation_range: name.syntax().text_range(),
            label: name.text().to_string(),
            node_range: node.syntax().text_range(),