{"ast_node_type":"other","tokens":[{"end":93,"kind":"keyword","start":0,"text":"///"}]}
        /// only very few functions with it. So we only encode its existence here, and lookup
        /// but keeping it for all functions will consume a lot of memory when there are
        /// it if needed.