{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"///"}]}
    /// digit (i.e., the regular expression `[a-zA-Z_][a-zA-Z_0-9]*`).
    /// alphanumeric or underscore characters, not beginning with a
    ///