{"ast_node_type":"other","tokens":[{"end":45,"kind":"keyword","start":0,"text":"///"}]}
    /// repetition. The `usize` is the depth.
    /// The length of the repetition at a particular depth, where 0 is the innermost
    Len(usize),