{"ast_node_type":"other","tokens":[{"end":7,"kind":"keyword","start":0,"text":"///"}]}
    ///
    /// digit (i.e., the regular expression `[a-zA-Z_][a-zA-Z_0-9]*`).
    /// (Note: this format is a strict subset of the `ID` format