{"ast_node_type":"other","tokens":[{"end":47,"kind":"keyword","start":0,"text":".field(\"def\","}]}
            .field("def", &self.mangled_name())
            .field("kind", &self.kind)
            .field("args", &self.args())