{"ast_node_type":"other","tokens":[{"end":25,"kind":"keyword","start":0,"text":"binders:"}]}
    binders: &'a Binders,
    /// The binders of the branch where we entered the macro definition.
    /// The stack of Kleene operators (outermost first) where we entered the macro definition.