{"ast_node_type":"other","tokens":[{"end":66,"kind":"keyword","start":0,"text":"///"}]}
/// - `binder_ops` is the stack of Kleene operators for the binder
/// - `name` is the name of the meta-variable being check
/// - `occurrence_ops` is the stack of Kleene operators for the occurrence