pub const LOCALS_QUERY: &str = "; TLA\u{207a} scopes and definitions\n[\n (bounded_quantification)\n (choose)\n (function_definition) \n (function_literal)\n (lambda) \n (let_in)\n (module) \n (module_definition)\n (operator_definition)\n (set_filter)\n (set_map)\n (unbounded_quantification)\n] @local.scope\n\n; Definitions\n(choose (identifier) @local.definition)\n(choose (tuple_of_identifiers (identifier) @local.definition))\n(constant_declaration (identifier) @local.definition)\n(constant_declaration (operator_declaration name: (_) @local.definition))\n(function_definition name: (identifier) @local.definition)\n(lambda (identifier) @local.definition)\n(module_definition name: (_) @local.definition)\n(module_definition parameter: (identifier) @local.definition)\n(module_definition parameter: (operator_declaration name: (_) @local.definition))\n(operator_definition name: (_) @local.definition)\n(operator_definition parameter: (identifier) @local.definition)\n(operator_definition parameter: (operator_declaration name: (_) @local.definition))\n(quantifier_bound (identifier) @local.definition)\n(quantifier_bound (tuple_of_identifiers (identifier) @local.definition))\n(unbounded_quantification (identifier) @local.definition)\n(variable_declaration (identifier) @local.definition)\n\n; Proof scopes and definitions\n[\n (non_terminal_proof)\n (suffices_proof_step)\n (theorem)\n] @local.scope\n\n(assume_prove (new (identifier) @local.definition))\n(assume_prove (new (operator_declaration name: (_) @local.definition)))\n(assumption name: (identifier) @local.definition)\n(pick_proof_step (identifier) @local.definition)\n(take_proof_step (identifier) @local.definition)\n(theorem name: (identifier) @local.definition)\n\n;PlusCal scopes and definitions\n[\n (pcal_algorithm)\n (pcal_macro)\n (pcal_procedure)\n (pcal_with)\n] @local.scope\n\n(pcal_macro_decl parameter: (identifier) @local.definition)\n(pcal_proc_var_decl (identifier) @local.definition)\n(pcal_var_decl (identifier) @local.definition)\n(pcal_with (identifier) @local.definition)\n\n; References\n(identifier_ref) @local.reference\n((prefix_op_symbol) @local.reference)\n(bound_prefix_op symbol: (_) @local.reference)\n((infix_op_symbol) @local.reference)\n(bound_infix_op symbol: (_) @local.reference)\n((postfix_op_symbol) @local.reference)\n(bound_postfix_op symbol: (_) @local.reference)\n(bound_nonfix_op symbol: (_) @local.reference)\n";