{"ast_node_type":"other","tokens":[{"end":75,"kind":"keyword","start":0,"text":"binders.insert(name,"}]}
                binders.insert(name, BinderInfo { span, ops: ops.into() });
                // 2. The meta-variable is free: This is a binder.
            } else {