From 4131069cd40a56235c4777e8b485614e2bd70ac4 Mon Sep 17 00:00:00 2001 From: William Ball Date: Tue, 10 Dec 2024 21:40:39 -0800 Subject: [PATCH] infix operators --- grammar.js | 47 +- src/grammar.json | 165 +- src/node-types.json | 95 +- src/parser.c | 7780 ++++++++++++++++++++++------------- test/corpus/application.txt | 65 +- test/corpus/arrows.txt | 92 +- test/corpus/axioms.txt | 23 +- test/corpus/definition.txt | 36 + test/corpus/include.txt | 46 +- test/corpus/infix.txt | 45 + test/corpus/labs.txt | 70 +- test/corpus/let.txt | 92 +- test/corpus/pabs.txt | 59 +- test/corpus/params.txt | 33 - test/corpus/section.txt | 96 +- test/corpus/sorts.txt | 138 +- 16 files changed, 5502 insertions(+), 3380 deletions(-) create mode 100644 test/corpus/definition.txt create mode 100644 test/corpus/infix.txt delete mode 100644 test/corpus/params.txt diff --git a/grammar.js b/grammar.js index d3f058c..9831a68 100644 --- a/grammar.js +++ b/grammar.js @@ -17,9 +17,17 @@ module.exports = grammar({ rules: { - program : $ => repeat1(choice($.definition, $.preprocess, $.axiom, $.section, $.variable)), + program : $ => repeat1(choice( + $.definition, + $.preprocess, + $.axiom, + $.section, + $.variable, + $.fixity, + )), identifier : $ => /[a-zA-Z_]\w*/, + symbol : $ => /[!@#$%^&*-+=<>,./?\[\]{}\\|`~'\"∧∨⊙×≅]+/, comment : $ => token(seq('--', /.*/)), @@ -29,9 +37,24 @@ module.exports = grammar({ 'end', $.identifier, ), + precedence : $ => /[0-9]+/, + + fixity : $ => seq( + choice('infixl', 'infixr'), + $.precedence, + $.symbol, + ';' + ), + variable : $ => seq( choice('variable', 'hypothesis'), - repeat1($.param_block), + repeat1(seq( + '(', + repeat1(choice($.identifier, $.symbol)), + ':', + field('type', $.expr), + ')' + )), ';' ), @@ -43,7 +66,7 @@ module.exports = grammar({ ')' ), - star : $ => "*", + star : $ => "★", square : $ => choice('□', '[]'), sort : $ => choice($.star, $.square, seq($.square, /[0-9₀₁₂₃₄₅₆₇₈₉]+/)), @@ -69,6 +92,14 @@ module.exports = grammar({ seq('(', $.expr, ')'), ), + // HACK: + // completely ignore precedence and associativity for treesitter + // this is enough to get the syntax highlighting right + binex : $ => seq( + $.app, + optional(seq($.symbol, $.binex)), + ), + binding : $ => seq( '(', $.identifier, @@ -91,7 +122,7 @@ module.exports = grammar({ arrow : $ => prec.left(1, seq( $.app_term, - choice('->', '→'), + '→', $.expr, )), @@ -99,7 +130,7 @@ module.exports = grammar({ $.labs, $.pabs, $.let, - $.app, + $.binex, ), expr : $ => choice( @@ -114,7 +145,7 @@ module.exports = grammar({ axiom : $ => seq( 'axiom', - field('name', $.identifier), + field('name', choice($.identifier, $.symbol)), repeat($.param_block), $.ascription, ';' @@ -122,11 +153,11 @@ module.exports = grammar({ definition : $ => seq( 'def', - field('name', $.identifier), + field('name', choice($.identifier, $.symbol)), repeat($.param_block), optional($.ascription), ':=', - choice($.expr), + $.expr, ';', ), diff --git a/src/grammar.json b/src/grammar.json index 66a4de1..4fa9129 100644 --- a/src/grammar.json +++ b/src/grammar.json @@ -25,6 +25,10 @@ { "type": "SYMBOL", "name": "variable" + }, + { + "type": "SYMBOL", + "name": "fixity" } ] } @@ -33,6 +37,10 @@ "type": "PATTERN", "value": "[a-zA-Z_]\\w*" }, + "symbol": { + "type": "PATTERN", + "value": "[!@#$%^&*-+=<>,./?\\[\\]{}\\\\|`~'\\\"∧∨⊙×≅]+" + }, "comment": { "type": "TOKEN", "content": { @@ -74,6 +82,40 @@ } ] }, + "precedence": { + "type": "PATTERN", + "value": "[0-9]+" + }, + "fixity": { + "type": "SEQ", + "members": [ + { + "type": "CHOICE", + "members": [ + { + "type": "STRING", + "value": "infixl" + }, + { + "type": "STRING", + "value": "infixr" + } + ] + }, + { + "type": "SYMBOL", + "name": "precedence" + }, + { + "type": "SYMBOL", + "name": "symbol" + }, + { + "type": "STRING", + "value": ";" + } + ] + }, "variable": { "type": "SEQ", "members": [ @@ -93,8 +135,45 @@ { "type": "REPEAT1", "content": { - "type": "SYMBOL", - "name": "param_block" + "type": "SEQ", + "members": [ + { + "type": "STRING", + "value": "(" + }, + { + "type": "REPEAT1", + "content": { + "type": "CHOICE", + "members": [ + { + "type": "SYMBOL", + "name": "identifier" + }, + { + "type": "SYMBOL", + "name": "symbol" + } + ] + } + }, + { + "type": "STRING", + "value": ":" + }, + { + "type": "FIELD", + "name": "type", + "content": { + "type": "SYMBOL", + "name": "expr" + } + }, + { + "type": "STRING", + "value": ")" + } + ] } }, { @@ -141,7 +220,7 @@ }, "star": { "type": "STRING", - "value": "*" + "value": "★" }, "square": { "type": "CHOICE", @@ -311,6 +390,36 @@ } ] }, + "binex": { + "type": "SEQ", + "members": [ + { + "type": "SYMBOL", + "name": "app" + }, + { + "type": "CHOICE", + "members": [ + { + "type": "SEQ", + "members": [ + { + "type": "SYMBOL", + "name": "symbol" + }, + { + "type": "SYMBOL", + "name": "binex" + } + ] + }, + { + "type": "BLANK" + } + ] + } + ] + }, "binding": { "type": "SEQ", "members": [ @@ -401,17 +510,8 @@ "name": "app_term" }, { - "type": "CHOICE", - "members": [ - { - "type": "STRING", - "value": "->" - }, - { - "type": "STRING", - "value": "→" - } - ] + "type": "STRING", + "value": "→" }, { "type": "SYMBOL", @@ -437,7 +537,7 @@ }, { "type": "SYMBOL", - "name": "app" + "name": "binex" } ] }, @@ -482,8 +582,17 @@ "type": "FIELD", "name": "name", "content": { - "type": "SYMBOL", - "name": "identifier" + "type": "CHOICE", + "members": [ + { + "type": "SYMBOL", + "name": "identifier" + }, + { + "type": "SYMBOL", + "name": "symbol" + } + ] } }, { @@ -514,8 +623,17 @@ "type": "FIELD", "name": "name", "content": { - "type": "SYMBOL", - "name": "identifier" + "type": "CHOICE", + "members": [ + { + "type": "SYMBOL", + "name": "identifier" + }, + { + "type": "SYMBOL", + "name": "symbol" + } + ] } }, { @@ -542,13 +660,8 @@ "value": ":=" }, { - "type": "CHOICE", - "members": [ - { - "type": "SYMBOL", - "name": "expr" - } - ] + "type": "SYMBOL", + "name": "expr" }, { "type": "STRING", diff --git a/src/node-types.json b/src/node-types.json index c63880e..8860299 100644 --- a/src/node-types.json +++ b/src/node-types.json @@ -23,7 +23,7 @@ "required": true, "types": [ { - "type": "app", + "type": "binex", "named": true }, { @@ -87,6 +87,10 @@ { "type": "identifier", "named": true + }, + { + "type": "symbol", + "named": true } ] } @@ -133,6 +137,29 @@ ] } }, + { + "type": "binex", + "named": true, + "fields": {}, + "children": { + "multiple": true, + "required": true, + "types": [ + { + "type": "app", + "named": true + }, + { + "type": "binex", + "named": true + }, + { + "type": "symbol", + "named": true + } + ] + } + }, { "type": "definition", "named": true, @@ -144,6 +171,10 @@ { "type": "identifier", "named": true + }, + { + "type": "symbol", + "named": true } ] } @@ -186,6 +217,25 @@ ] } }, + { + "type": "fixity", + "named": true, + "fields": {}, + "children": { + "multiple": true, + "required": true, + "types": [ + { + "type": "precedence", + "named": true + }, + { + "type": "symbol", + "named": true + } + ] + } + }, { "type": "labs", "named": true, @@ -312,6 +362,10 @@ "type": "definition", "named": true }, + { + "type": "fixity", + "named": true + }, { "type": "preprocess", "named": true @@ -396,13 +450,28 @@ { "type": "variable", "named": true, - "fields": {}, + "fields": { + "type": { + "multiple": true, + "required": true, + "types": [ + { + "type": "expr", + "named": true + } + ] + } + }, "children": { "multiple": true, "required": true, "types": [ { - "type": "param_block", + "type": "identifier", + "named": true + }, + { + "type": "symbol", "named": true } ] @@ -420,10 +489,6 @@ "type": ",", "named": false }, - { - "type": "->", - "named": false - }, { "type": ":", "named": false @@ -484,6 +549,14 @@ "type": "in", "named": false }, + { + "type": "infixl", + "named": false + }, + { + "type": "infixr", + "named": false + }, { "type": "let", "named": false @@ -492,6 +565,10 @@ "type": "post_command", "named": true }, + { + "type": "precedence", + "named": true + }, { "type": "section", "named": false @@ -500,6 +577,10 @@ "type": "star", "named": true }, + { + "type": "symbol", + "named": true + }, { "type": "variable", "named": false diff --git a/src/parser.c b/src/parser.c index 0098138..97ad2c6 100644 --- a/src/parser.c +++ b/src/parser.c @@ -5,82 +5,93 @@ #endif #define LANGUAGE_VERSION 14 -#define STATE_COUNT 149 +#define STATE_COUNT 219 #define LARGE_STATE_COUNT 2 -#define SYMBOL_COUNT 55 +#define SYMBOL_COUNT 62 #define ALIAS_COUNT 0 -#define TOKEN_COUNT 31 +#define TOKEN_COUNT 34 #define EXTERNAL_TOKEN_COUNT 0 #define FIELD_COUNT 3 #define MAX_ALIAS_SEQUENCE_LENGTH 7 -#define PRODUCTION_ID_COUNT 4 +#define PRODUCTION_ID_COUNT 7 enum ts_symbol_identifiers { sym_identifier = 1, - sym_comment = 2, - anon_sym_section = 3, - anon_sym_end = 4, - anon_sym_variable = 5, - anon_sym_hypothesis = 6, - anon_sym_SEMI = 7, - anon_sym_LPAREN = 8, - anon_sym_COLON = 9, - anon_sym_RPAREN = 10, - sym_star = 11, - anon_sym_u25a1 = 12, - anon_sym_LBRACK_RBRACK = 13, - aux_sym_sort_token1 = 14, - anon_sym_u03bb = 15, - anon_sym_fun = 16, - anon_sym_EQ_GT = 17, - anon_sym_u21d2 = 18, - anon_sym_u220f = 19, - anon_sym_forall = 20, - anon_sym_COMMA = 21, - anon_sym_COLON_EQ = 22, - anon_sym_let = 23, - anon_sym_in = 24, - anon_sym_DASH_GT = 25, - anon_sym_u2192 = 26, - anon_sym_axiom = 27, - anon_sym_def = 28, - sym_post_command = 29, - sym_command = 30, - sym_program = 31, - sym_section = 32, - sym_variable = 33, - sym_param_block = 34, - sym_square = 35, - sym_sort = 36, - sym_labs = 37, - sym_pabs = 38, - sym_term = 39, - sym_binding = 40, - sym_let = 41, - sym_app = 42, - sym_arrow = 43, - sym_app_term = 44, - sym_expr = 45, - sym_ascription = 46, - sym_axiom = 47, - sym_definition = 48, - sym_preprocess = 49, - aux_sym_program_repeat1 = 50, - aux_sym_variable_repeat1 = 51, - aux_sym_param_block_repeat1 = 52, - aux_sym_let_repeat1 = 53, - aux_sym_app_repeat1 = 54, + sym_symbol = 2, + sym_comment = 3, + anon_sym_section = 4, + anon_sym_end = 5, + sym_precedence = 6, + anon_sym_infixl = 7, + anon_sym_infixr = 8, + anon_sym_SEMI = 9, + anon_sym_variable = 10, + anon_sym_hypothesis = 11, + anon_sym_LPAREN = 12, + anon_sym_COLON = 13, + anon_sym_RPAREN = 14, + sym_star = 15, + anon_sym_u25a1 = 16, + anon_sym_LBRACK_RBRACK = 17, + aux_sym_sort_token1 = 18, + anon_sym_u03bb = 19, + anon_sym_fun = 20, + anon_sym_EQ_GT = 21, + anon_sym_u21d2 = 22, + anon_sym_u220f = 23, + anon_sym_forall = 24, + anon_sym_COMMA = 25, + anon_sym_COLON_EQ = 26, + anon_sym_let = 27, + anon_sym_in = 28, + anon_sym_u2192 = 29, + anon_sym_axiom = 30, + anon_sym_def = 31, + sym_post_command = 32, + sym_command = 33, + sym_program = 34, + sym_section = 35, + sym_fixity = 36, + sym_variable = 37, + sym_param_block = 38, + sym_square = 39, + sym_sort = 40, + sym_labs = 41, + sym_pabs = 42, + sym_term = 43, + sym_binex = 44, + sym_binding = 45, + sym_let = 46, + sym_app = 47, + sym_arrow = 48, + sym_app_term = 49, + sym_expr = 50, + sym_ascription = 51, + sym_axiom = 52, + sym_definition = 53, + sym_preprocess = 54, + aux_sym_program_repeat1 = 55, + aux_sym_variable_repeat1 = 56, + aux_sym_variable_repeat2 = 57, + aux_sym_param_block_repeat1 = 58, + aux_sym_labs_repeat1 = 59, + aux_sym_let_repeat1 = 60, + aux_sym_app_repeat1 = 61, }; static const char * const ts_symbol_names[] = { [ts_builtin_sym_end] = "end", [sym_identifier] = "identifier", + [sym_symbol] = "symbol", [sym_comment] = "comment", [anon_sym_section] = "section", [anon_sym_end] = "end", + [sym_precedence] = "precedence", + [anon_sym_infixl] = "infixl", + [anon_sym_infixr] = "infixr", + [anon_sym_SEMI] = ";", [anon_sym_variable] = "variable", [anon_sym_hypothesis] = "hypothesis", - [anon_sym_SEMI] = ";", [anon_sym_LPAREN] = "(", [anon_sym_COLON] = ":", [anon_sym_RPAREN] = ")", @@ -98,7 +109,6 @@ static const char * const ts_symbol_names[] = { [anon_sym_COLON_EQ] = ":=", [anon_sym_let] = "let", [anon_sym_in] = "in", - [anon_sym_DASH_GT] = "->", [anon_sym_u2192] = "\u2192", [anon_sym_axiom] = "axiom", [anon_sym_def] = "def", @@ -106,6 +116,7 @@ static const char * const ts_symbol_names[] = { [sym_command] = "command", [sym_program] = "program", [sym_section] = "section", + [sym_fixity] = "fixity", [sym_variable] = "variable", [sym_param_block] = "param_block", [sym_square] = "square", @@ -113,6 +124,7 @@ static const char * const ts_symbol_names[] = { [sym_labs] = "labs", [sym_pabs] = "pabs", [sym_term] = "term", + [sym_binex] = "binex", [sym_binding] = "binding", [sym_let] = "let", [sym_app] = "app", @@ -125,7 +137,9 @@ static const char * const ts_symbol_names[] = { [sym_preprocess] = "preprocess", [aux_sym_program_repeat1] = "program_repeat1", [aux_sym_variable_repeat1] = "variable_repeat1", + [aux_sym_variable_repeat2] = "variable_repeat2", [aux_sym_param_block_repeat1] = "param_block_repeat1", + [aux_sym_labs_repeat1] = "labs_repeat1", [aux_sym_let_repeat1] = "let_repeat1", [aux_sym_app_repeat1] = "app_repeat1", }; @@ -133,12 +147,16 @@ static const char * const ts_symbol_names[] = { static const TSSymbol ts_symbol_map[] = { [ts_builtin_sym_end] = ts_builtin_sym_end, [sym_identifier] = sym_identifier, + [sym_symbol] = sym_symbol, [sym_comment] = sym_comment, [anon_sym_section] = anon_sym_section, [anon_sym_end] = anon_sym_end, + [sym_precedence] = sym_precedence, + [anon_sym_infixl] = anon_sym_infixl, + [anon_sym_infixr] = anon_sym_infixr, + [anon_sym_SEMI] = anon_sym_SEMI, [anon_sym_variable] = anon_sym_variable, [anon_sym_hypothesis] = anon_sym_hypothesis, - [anon_sym_SEMI] = anon_sym_SEMI, [anon_sym_LPAREN] = anon_sym_LPAREN, [anon_sym_COLON] = anon_sym_COLON, [anon_sym_RPAREN] = anon_sym_RPAREN, @@ -156,7 +174,6 @@ static const TSSymbol ts_symbol_map[] = { [anon_sym_COLON_EQ] = anon_sym_COLON_EQ, [anon_sym_let] = anon_sym_let, [anon_sym_in] = anon_sym_in, - [anon_sym_DASH_GT] = anon_sym_DASH_GT, [anon_sym_u2192] = anon_sym_u2192, [anon_sym_axiom] = anon_sym_axiom, [anon_sym_def] = anon_sym_def, @@ -164,6 +181,7 @@ static const TSSymbol ts_symbol_map[] = { [sym_command] = sym_command, [sym_program] = sym_program, [sym_section] = sym_section, + [sym_fixity] = sym_fixity, [sym_variable] = sym_variable, [sym_param_block] = sym_param_block, [sym_square] = sym_square, @@ -171,6 +189,7 @@ static const TSSymbol ts_symbol_map[] = { [sym_labs] = sym_labs, [sym_pabs] = sym_pabs, [sym_term] = sym_term, + [sym_binex] = sym_binex, [sym_binding] = sym_binding, [sym_let] = sym_let, [sym_app] = sym_app, @@ -183,7 +202,9 @@ static const TSSymbol ts_symbol_map[] = { [sym_preprocess] = sym_preprocess, [aux_sym_program_repeat1] = aux_sym_program_repeat1, [aux_sym_variable_repeat1] = aux_sym_variable_repeat1, + [aux_sym_variable_repeat2] = aux_sym_variable_repeat2, [aux_sym_param_block_repeat1] = aux_sym_param_block_repeat1, + [aux_sym_labs_repeat1] = aux_sym_labs_repeat1, [aux_sym_let_repeat1] = aux_sym_let_repeat1, [aux_sym_app_repeat1] = aux_sym_app_repeat1, }; @@ -197,6 +218,10 @@ static const TSSymbolMetadata ts_symbol_metadata[] = { .visible = true, .named = true, }, + [sym_symbol] = { + .visible = true, + .named = true, + }, [sym_comment] = { .visible = true, .named = true, @@ -209,6 +234,22 @@ static const TSSymbolMetadata ts_symbol_metadata[] = { .visible = true, .named = false, }, + [sym_precedence] = { + .visible = true, + .named = true, + }, + [anon_sym_infixl] = { + .visible = true, + .named = false, + }, + [anon_sym_infixr] = { + .visible = true, + .named = false, + }, + [anon_sym_SEMI] = { + .visible = true, + .named = false, + }, [anon_sym_variable] = { .visible = true, .named = false, @@ -217,10 +258,6 @@ static const TSSymbolMetadata ts_symbol_metadata[] = { .visible = true, .named = false, }, - [anon_sym_SEMI] = { - .visible = true, - .named = false, - }, [anon_sym_LPAREN] = { .visible = true, .named = false, @@ -289,10 +326,6 @@ static const TSSymbolMetadata ts_symbol_metadata[] = { .visible = true, .named = false, }, - [anon_sym_DASH_GT] = { - .visible = true, - .named = false, - }, [anon_sym_u2192] = { .visible = true, .named = false, @@ -321,6 +354,10 @@ static const TSSymbolMetadata ts_symbol_metadata[] = { .visible = true, .named = true, }, + [sym_fixity] = { + .visible = true, + .named = true, + }, [sym_variable] = { .visible = true, .named = true, @@ -349,6 +386,10 @@ static const TSSymbolMetadata ts_symbol_metadata[] = { .visible = true, .named = true, }, + [sym_binex] = { + .visible = true, + .named = true, + }, [sym_binding] = { .visible = true, .named = true, @@ -397,10 +438,18 @@ static const TSSymbolMetadata ts_symbol_metadata[] = { .visible = false, .named = false, }, + [aux_sym_variable_repeat2] = { + .visible = false, + .named = false, + }, [aux_sym_param_block_repeat1] = { .visible = false, .named = false, }, + [aux_sym_labs_repeat1] = { + .visible = false, + .named = false, + }, [aux_sym_let_repeat1] = { .visible = false, .named = false, @@ -426,16 +475,26 @@ static const char * const ts_field_names[] = { static const TSFieldMapSlice ts_field_map_slices[PRODUCTION_ID_COUNT] = { [1] = {.index = 0, .length = 1}, - [2] = {.index = 1, .length = 1}, - [3] = {.index = 2, .length = 2}, + [2] = {.index = 1, .length = 2}, + [3] = {.index = 3, .length = 1}, + [4] = {.index = 4, .length = 1}, + [5] = {.index = 5, .length = 1}, + [6] = {.index = 6, .length = 2}, }; static const TSFieldMapEntry ts_field_map_entries[] = { [0] = - {field_type, 1}, + {field_type, 1, .inherited = true}, [1] = + {field_type, 0, .inherited = true}, + {field_type, 1, .inherited = true}, + [3] = + {field_type, 1}, + [4] = {field_name, 1}, - [2] = + [5] = + {field_type, 3}, + [6] = {field_param, 1}, {field_type, 3}, }; @@ -453,7 +512,7 @@ static const TSStateId ts_primary_state_ids[STATE_COUNT] = { [1] = 1, [2] = 2, [3] = 3, - [4] = 4, + [4] = 2, [5] = 5, [6] = 6, [7] = 7, @@ -465,139 +524,214 @@ static const TSStateId ts_primary_state_ids[STATE_COUNT] = { [13] = 13, [14] = 14, [15] = 15, - [16] = 6, - [17] = 11, - [18] = 8, + [16] = 16, + [17] = 17, + [18] = 6, [19] = 9, - [20] = 12, - [21] = 21, - [22] = 3, - [23] = 5, - [24] = 7, - [25] = 10, - [26] = 26, - [27] = 27, - [28] = 28, - [29] = 29, - [30] = 30, - [31] = 31, - [32] = 32, - [33] = 33, - [34] = 34, - [35] = 35, - [36] = 34, - [37] = 31, - [38] = 38, - [39] = 30, - [40] = 26, - [41] = 27, + [20] = 11, + [21] = 12, + [22] = 14, + [23] = 15, + [24] = 9, + [25] = 11, + [26] = 12, + [27] = 14, + [28] = 15, + [29] = 9, + [30] = 11, + [31] = 12, + [32] = 14, + [33] = 15, + [34] = 3, + [35] = 3, + [36] = 6, + [37] = 7, + [38] = 10, + [39] = 6, + [40] = 40, + [41] = 41, [42] = 42, - [43] = 43, + [43] = 41, [44] = 44, - [45] = 45, - [46] = 29, + [45] = 42, + [46] = 44, [47] = 47, - [48] = 28, - [49] = 49, - [50] = 50, - [51] = 51, - [52] = 52, - [53] = 53, - [54] = 32, - [55] = 38, - [56] = 33, - [57] = 35, + [48] = 48, + [49] = 48, + [50] = 47, + [51] = 47, + [52] = 48, + [53] = 47, + [54] = 48, + [55] = 55, + [56] = 56, + [57] = 55, [58] = 58, - [59] = 59, - [60] = 60, - [61] = 59, + [59] = 55, + [60] = 55, + [61] = 56, [62] = 62, [63] = 63, [64] = 64, [65] = 65, - [66] = 66, - [67] = 66, - [68] = 62, + [66] = 58, + [67] = 67, + [68] = 68, [69] = 69, - [70] = 58, + [70] = 70, [71] = 71, - [72] = 64, - [73] = 65, - [74] = 60, - [75] = 69, - [76] = 71, - [77] = 77, + [72] = 72, + [73] = 73, + [74] = 67, + [75] = 72, + [76] = 62, + [77] = 63, [78] = 78, [79] = 79, - [80] = 80, - [81] = 77, - [82] = 82, - [83] = 80, - [84] = 79, - [85] = 85, - [86] = 86, - [87] = 87, - [88] = 85, - [89] = 86, - [90] = 90, - [91] = 91, - [92] = 90, + [80] = 64, + [81] = 69, + [82] = 68, + [83] = 65, + [84] = 70, + [85] = 71, + [86] = 58, + [87] = 56, + [88] = 78, + [89] = 58, + [90] = 56, + [91] = 79, + [92] = 73, [93] = 93, [94] = 94, [95] = 95, [96] = 96, [97] = 97, - [98] = 53, - [99] = 99, - [100] = 97, + [98] = 62, + [99] = 63, + [100] = 100, [101] = 101, - [102] = 95, - [103] = 94, - [104] = 104, + [102] = 64, + [103] = 103, + [104] = 65, [105] = 105, - [106] = 106, - [107] = 107, + [106] = 62, + [107] = 63, [108] = 108, - [109] = 104, - [110] = 110, + [109] = 64, + [110] = 65, [111] = 111, - [112] = 112, - [113] = 113, - [114] = 114, + [112] = 111, + [113] = 111, + [114] = 111, [115] = 115, [116] = 116, [117] = 117, [118] = 118, [119] = 119, [120] = 120, - [121] = 121, - [122] = 122, - [123] = 120, - [124] = 124, - [125] = 125, + [121] = 115, + [122] = 115, + [123] = 115, + [124] = 116, + [125] = 118, [126] = 126, [127] = 127, - [128] = 111, - [129] = 125, - [130] = 130, - [131] = 121, + [128] = 128, + [129] = 129, + [130] = 126, + [131] = 129, [132] = 132, - [133] = 133, - [134] = 132, - [135] = 122, + [133] = 127, + [134] = 134, + [135] = 135, [136] = 136, [137] = 137, - [138] = 116, - [139] = 119, - [140] = 115, + [138] = 134, + [139] = 139, + [140] = 140, [141] = 141, [142] = 142, - [143] = 136, - [144] = 118, - [145] = 113, - [146] = 130, - [147] = 110, - [148] = 124, + [143] = 143, + [144] = 144, + [145] = 139, + [146] = 127, + [147] = 142, + [148] = 143, + [149] = 127, + [150] = 142, + [151] = 143, + [152] = 142, + [153] = 143, + [154] = 154, + [155] = 155, + [156] = 156, + [157] = 157, + [158] = 158, + [159] = 159, + [160] = 160, + [161] = 158, + [162] = 134, + [163] = 163, + [164] = 158, + [165] = 134, + [166] = 158, + [167] = 156, + [168] = 168, + [169] = 169, + [170] = 169, + [171] = 159, + [172] = 172, + [173] = 173, + [174] = 174, + [175] = 175, + [176] = 176, + [177] = 177, + [178] = 178, + [179] = 173, + [180] = 180, + [181] = 181, + [182] = 182, + [183] = 177, + [184] = 184, + [185] = 177, + [186] = 181, + [187] = 181, + [188] = 188, + [189] = 189, + [190] = 182, + [191] = 177, + [192] = 181, + [193] = 193, + [194] = 194, + [195] = 195, + [196] = 175, + [197] = 197, + [198] = 198, + [199] = 199, + [200] = 200, + [201] = 201, + [202] = 202, + [203] = 195, + [204] = 180, + [205] = 205, + [206] = 184, + [207] = 207, + [208] = 178, + [209] = 188, + [210] = 199, + [211] = 211, + [212] = 212, + [213] = 205, + [214] = 214, + [215] = 214, + [216] = 174, + [217] = 211, + [218] = 189, +}; + +static TSCharacterRange sym_symbol_character_set_1[] = { + {'!', '\''}, {'*', ','}, {'.', '/'}, {'<', '@'}, {'[', '^'}, {'`', '`'}, {'{', '~'}, {0xd7, 0xd7}, + {0x2227, 0x2228}, {0x2245, 0x2245}, {0x2299, 0x2299}, }; static bool ts_lex(TSLexer *lexer, TSStateId state) { @@ -605,480 +739,631 @@ static bool ts_lex(TSLexer *lexer, TSStateId state) { eof = lexer->eof(lexer); switch (state) { case 0: - if (eof) ADVANCE(55); + if (eof) ADVANCE(67); ADVANCE_MAP( - '(', 74, - ')', 76, - '*', 77, - ',', 89, - '-', 6, - ':', 75, - ';', 73, - '=', 7, - '@', 27, - '[', 8, - 'a', 53, - 'd', 17, - 'e', 35, - 'f', 40, - 'h', 54, - 'i', 36, - 'l', 18, - 's', 19, - 'v', 10, - 0x3bb, 81, - 0x2192, 95, - 0x21d2, 85, - 0x220f, 86, - 0x25a1, 78, + '(', 93, + ')', 95, + ',', 111, + '-', 12, + ':', 94, + ';', 90, + '=', 79, + '[', 80, + 'a', 63, + 'd', 23, + 'e', 44, + 'f', 50, + 'h', 65, + 'i', 45, + 'l', 24, + 's', 25, + 'v', 17, + 0x3bb, 101, + 0x2192, 116, + 0x21d2, 106, + 0x220f, 107, + 0x25a1, 97, + 0x2605, 96, ); if (('\t' <= lookahead && lookahead <= '\r') || lookahead == ' ') SKIP(0); - if (('0' <= lookahead && lookahead <= '9') || - (0x2080 <= lookahead && lookahead <= 0x2089)) ADVANCE(80); + if (('0' <= lookahead && lookahead <= '9')) ADVANCE(86); + if ((0x2080 <= lookahead && lookahead <= 0x2089)) ADVANCE(100); + if (set_contains(sym_symbol_character_set_1, 11, lookahead)) ADVANCE(81); END_STATE(); case 1: if (lookahead == '\n') SKIP(1); - if (lookahead == '-') ADVANCE(98); + if (lookahead == '-') ADVANCE(119); if (('\t' <= lookahead && lookahead <= '\r') || - lookahead == ' ') ADVANCE(99); - if (lookahead != 0) ADVANCE(100); + lookahead == ' ') ADVANCE(120); + if (lookahead != 0) ADVANCE(121); END_STATE(); case 2: ADVANCE_MAP( - '(', 74, - ')', 76, - '*', 77, - ',', 89, - '-', 6, - ':', 75, - ';', 73, - '=', 7, - '[', 8, - 0x2192, 95, - 0x21d2, 85, - 0x25a1, 78, + '(', 93, + ')', 95, + '-', 12, + ':', 94, + ';', 90, + '[', 80, + 0x2192, 116, + 0x25a1, 97, + 0x2605, 96, ); if (('\t' <= lookahead && lookahead <= '\r') || lookahead == ' ') SKIP(2); if (('0' <= lookahead && lookahead <= '9') || - (0x2080 <= lookahead && lookahead <= 0x2089)) ADVANCE(80); - if (('A' <= lookahead && lookahead <= 'Z') || - lookahead == '_' || - ('a' <= lookahead && lookahead <= 'z')) ADVANCE(66); + (0x2080 <= lookahead && lookahead <= 0x2089)) ADVANCE(100); + if (set_contains(sym_symbol_character_set_1, 11, lookahead)) ADVANCE(81); + if (('A' <= lookahead && lookahead <= 'z')) ADVANCE(78); END_STATE(); case 3: - if (lookahead == '(') ADVANCE(74); - if (lookahead == '*') ADVANCE(77); - if (lookahead == '-') ADVANCE(6); - if (lookahead == '[') ADVANCE(8); - if (lookahead == 'e') ADVANCE(62); - if (lookahead == 0x2192) ADVANCE(95); - if (lookahead == 0x25a1) ADVANCE(78); + if (lookahead == '(') ADVANCE(93); + if (lookahead == ',') ADVANCE(111); + if (lookahead == '-') ADVANCE(12); + if (lookahead == '[') ADVANCE(80); + if (lookahead == 0x2192) ADVANCE(116); + if (lookahead == 0x25a1) ADVANCE(97); + if (lookahead == 0x2605) ADVANCE(96); if (('\t' <= lookahead && lookahead <= '\r') || lookahead == ' ') SKIP(3); if (('0' <= lookahead && lookahead <= '9') || - (0x2080 <= lookahead && lookahead <= 0x2089)) ADVANCE(80); - if (('A' <= lookahead && lookahead <= 'Z') || - lookahead == '_' || - ('a' <= lookahead && lookahead <= 'z')) ADVANCE(66); + (0x2080 <= lookahead && lookahead <= 0x2089)) ADVANCE(100); + if (set_contains(sym_symbol_character_set_1, 11, lookahead)) ADVANCE(81); + if (('A' <= lookahead && lookahead <= 'z')) ADVANCE(78); END_STATE(); case 4: ADVANCE_MAP( - '(', 74, - '*', 77, - '-', 5, - '[', 8, - 'f', 63, - 'l', 58, - 0x3bb, 81, - 0x220f, 86, - 0x25a1, 78, + '(', 93, + '-', 12, + '=', 79, + '[', 80, + 0x2192, 116, + 0x21d2, 106, + 0x25a1, 97, + 0x2605, 96, ); if (('\t' <= lookahead && lookahead <= '\r') || lookahead == ' ') SKIP(4); - if (('A' <= lookahead && lookahead <= 'Z') || - lookahead == '_' || - ('a' <= lookahead && lookahead <= 'z')) ADVANCE(66); + if (('0' <= lookahead && lookahead <= '9') || + (0x2080 <= lookahead && lookahead <= 0x2089)) ADVANCE(100); + if (set_contains(sym_symbol_character_set_1, 11, lookahead)) ADVANCE(81); + if (('A' <= lookahead && lookahead <= 'z')) ADVANCE(78); END_STATE(); case 5: - if (lookahead == '-') ADVANCE(67); + if (lookahead == '(') ADVANCE(93); + if (lookahead == '-') ADVANCE(12); + if (lookahead == '[') ADVANCE(80); + if (lookahead == 'e') ADVANCE(74); + if (lookahead == 0x2192) ADVANCE(116); + if (lookahead == 0x25a1) ADVANCE(97); + if (lookahead == 0x2605) ADVANCE(96); + if (('\t' <= lookahead && lookahead <= '\r') || + lookahead == ' ') SKIP(5); + if (('0' <= lookahead && lookahead <= '9') || + (0x2080 <= lookahead && lookahead <= 0x2089)) ADVANCE(100); + if (set_contains(sym_symbol_character_set_1, 11, lookahead)) ADVANCE(81); + if (('A' <= lookahead && lookahead <= 'z')) ADVANCE(78); END_STATE(); case 6: - if (lookahead == '-') ADVANCE(67); - if (lookahead == '>') ADVANCE(94); + ADVANCE_MAP( + '(', 93, + '-', 12, + '[', 14, + 'f', 75, + 'l', 70, + 0x3bb, 101, + 0x220f, 107, + 0x25a1, 97, + 0x2605, 96, + ); + if (('\t' <= lookahead && lookahead <= '\r') || + lookahead == ' ') SKIP(6); + if (('A' <= lookahead && lookahead <= 'Z') || + lookahead == '_' || + ('a' <= lookahead && lookahead <= 'z')) ADVANCE(78); END_STATE(); case 7: - if (lookahead == '>') ADVANCE(84); + if (lookahead == '(') ADVANCE(93); + if (lookahead == '-') ADVANCE(12); + if (lookahead == '[') ADVANCE(14); + if (lookahead == 0x25a1) ADVANCE(97); + if (lookahead == 0x2605) ADVANCE(96); + if (('\t' <= lookahead && lookahead <= '\r') || + lookahead == ' ') SKIP(7); + if (('A' <= lookahead && lookahead <= 'Z') || + lookahead == '_' || + ('a' <= lookahead && lookahead <= 'z')) ADVANCE(78); END_STATE(); case 8: - if (lookahead == ']') ADVANCE(79); + if (lookahead == ')') ADVANCE(95); + if (lookahead == '-') ADVANCE(12); + if (lookahead == ':') ADVANCE(94); + if (lookahead == ';') ADVANCE(90); + if (lookahead == 0x2192) ADVANCE(116); + if (('\t' <= lookahead && lookahead <= '\r') || + lookahead == ' ') SKIP(8); + if (set_contains(sym_symbol_character_set_1, 11, lookahead)) ADVANCE(81); + if (('A' <= lookahead && lookahead <= 'z')) ADVANCE(78); END_STATE(); case 9: - if (lookahead == 'a') ADVANCE(12); + if (lookahead == ',') ADVANCE(111); + if (lookahead == '-') ADVANCE(12); + if (lookahead == 0x2192) ADVANCE(116); + if (('\t' <= lookahead && lookahead <= '\r') || + lookahead == ' ') SKIP(9); + if (set_contains(sym_symbol_character_set_1, 11, lookahead)) ADVANCE(81); END_STATE(); case 10: - if (lookahead == 'a') ADVANCE(46); + if (lookahead == '-') ADVANCE(12); + if (lookahead == '=') ADVANCE(79); + if (lookahead == 0x2192) ADVANCE(116); + if (lookahead == 0x21d2) ADVANCE(106); + if (('\t' <= lookahead && lookahead <= '\r') || + lookahead == ' ') SKIP(10); + if (set_contains(sym_symbol_character_set_1, 11, lookahead)) ADVANCE(81); END_STATE(); case 11: - if (lookahead == 'a') ADVANCE(32); + if (lookahead == '-') ADVANCE(12); + if (lookahead == 'e') ADVANCE(44); + if (lookahead == 0x2192) ADVANCE(116); + if (('\t' <= lookahead && lookahead <= '\r') || + lookahead == ' ') SKIP(11); + if (set_contains(sym_symbol_character_set_1, 11, lookahead)) ADVANCE(81); END_STATE(); case 12: - if (lookahead == 'b') ADVANCE(33); + if (lookahead == '-') ADVANCE(82); END_STATE(); case 13: - if (lookahead == 'c') ADVANCE(30); + if (lookahead == '>') ADVANCE(104); END_STATE(); case 14: - if (lookahead == 'c') ADVANCE(51); + if (lookahead == ']') ADVANCE(98); END_STATE(); case 15: - if (lookahead == 'd') ADVANCE(69); + if (lookahead == 'a') ADVANCE(41); END_STATE(); case 16: - if (lookahead == 'd') ADVANCE(21); + if (lookahead == 'a') ADVANCE(18); END_STATE(); case 17: - if (lookahead == 'e') ADVANCE(23); + if (lookahead == 'a') ADVANCE(56); END_STATE(); case 18: - if (lookahead == 'e') ADVANCE(49); + if (lookahead == 'b') ADVANCE(42); END_STATE(); case 19: - if (lookahead == 'e') ADVANCE(14); + if (lookahead == 'c') ADVANCE(61); END_STATE(); case 20: - if (lookahead == 'e') ADVANCE(48); + if (lookahead == 'c') ADVANCE(39); END_STATE(); case 21: - if (lookahead == 'e') ADVANCE(101); + if (lookahead == 'd') ADVANCE(84); END_STATE(); case 22: - if (lookahead == 'e') ADVANCE(71); + if (lookahead == 'd') ADVANCE(28); END_STATE(); case 23: - if (lookahead == 'f') ADVANCE(97); + if (lookahead == 'e') ADVANCE(29); END_STATE(); case 24: - if (lookahead == 'h') ADVANCE(20); + if (lookahead == 'e') ADVANCE(59); END_STATE(); case 25: - if (lookahead == 'i') ADVANCE(41); + if (lookahead == 'e') ADVANCE(19); END_STATE(); case 26: - if (lookahead == 'i') ADVANCE(47); + if (lookahead == 'e') ADVANCE(58); END_STATE(); case 27: - if (lookahead == 'i') ADVANCE(39); + if (lookahead == 'e') ADVANCE(91); END_STATE(); case 28: - if (lookahead == 'i') ADVANCE(9); + if (lookahead == 'e') ADVANCE(122); END_STATE(); case 29: - if (lookahead == 'i') ADVANCE(43); + if (lookahead == 'f') ADVANCE(118); END_STATE(); case 30: - if (lookahead == 'l') ADVANCE(52); + if (lookahead == 'f') ADVANCE(33); END_STATE(); case 31: - if (lookahead == 'l') ADVANCE(87); + if (lookahead == 'h') ADVANCE(26); END_STATE(); case 32: - if (lookahead == 'l') ADVANCE(31); + if (lookahead == 'i') ADVANCE(51); END_STATE(); case 33: - if (lookahead == 'l') ADVANCE(22); + if (lookahead == 'i') ADVANCE(64); END_STATE(); case 34: - if (lookahead == 'm') ADVANCE(96); + if (lookahead == 'i') ADVANCE(57); END_STATE(); case 35: - if (lookahead == 'n') ADVANCE(15); + if (lookahead == 'i') ADVANCE(16); END_STATE(); case 36: - if (lookahead == 'n') ADVANCE(93); + if (lookahead == 'i') ADVANCE(53); END_STATE(); case 37: - if (lookahead == 'n') ADVANCE(82); + if (lookahead == 'i') ADVANCE(49); END_STATE(); case 38: - if (lookahead == 'n') ADVANCE(68); + if (lookahead == 'l') ADVANCE(108); END_STATE(); case 39: - if (lookahead == 'n') ADVANCE(13); + if (lookahead == 'l') ADVANCE(62); END_STATE(); case 40: - if (lookahead == 'o') ADVANCE(45); - if (lookahead == 'u') ADVANCE(37); + if (lookahead == 'l') ADVANCE(88); + if (lookahead == 'r') ADVANCE(89); END_STATE(); case 41: - if (lookahead == 'o') ADVANCE(34); + if (lookahead == 'l') ADVANCE(38); END_STATE(); case 42: - if (lookahead == 'o') ADVANCE(50); + if (lookahead == 'l') ADVANCE(27); END_STATE(); case 43: - if (lookahead == 'o') ADVANCE(38); + if (lookahead == 'm') ADVANCE(117); END_STATE(); case 44: - if (lookahead == 'p') ADVANCE(42); + if (lookahead == 'n') ADVANCE(21); END_STATE(); case 45: - if (lookahead == 'r') ADVANCE(11); + if (lookahead == 'n') ADVANCE(115); END_STATE(); case 46: - if (lookahead == 'r') ADVANCE(28); + if (lookahead == 'n') ADVANCE(102); END_STATE(); case 47: - if (lookahead == 's') ADVANCE(72); + if (lookahead == 'n') ADVANCE(83); END_STATE(); case 48: - if (lookahead == 's') ADVANCE(26); + if (lookahead == 'n') ADVANCE(30); END_STATE(); case 49: - if (lookahead == 't') ADVANCE(91); + if (lookahead == 'n') ADVANCE(20); END_STATE(); case 50: - if (lookahead == 't') ADVANCE(24); + if (lookahead == 'o') ADVANCE(55); + if (lookahead == 'u') ADVANCE(46); END_STATE(); case 51: - if (lookahead == 't') ADVANCE(29); + if (lookahead == 'o') ADVANCE(43); END_STATE(); case 52: - if (lookahead == 'u') ADVANCE(16); + if (lookahead == 'o') ADVANCE(60); END_STATE(); case 53: - if (lookahead == 'x') ADVANCE(25); + if (lookahead == 'o') ADVANCE(47); END_STATE(); case 54: - if (lookahead == 'y') ADVANCE(44); + if (lookahead == 'p') ADVANCE(52); END_STATE(); case 55: - ACCEPT_TOKEN(ts_builtin_sym_end); + if (lookahead == 'r') ADVANCE(15); END_STATE(); case 56: - ACCEPT_TOKEN(sym_identifier); - if (lookahead == 'a') ADVANCE(60); - if (('0' <= lookahead && lookahead <= '9') || - ('A' <= lookahead && lookahead <= 'Z') || - lookahead == '_' || - ('b' <= lookahead && lookahead <= 'z')) ADVANCE(66); + if (lookahead == 'r') ADVANCE(35); END_STATE(); case 57: - ACCEPT_TOKEN(sym_identifier); - if (lookahead == 'd') ADVANCE(70); - if (('0' <= lookahead && lookahead <= '9') || - ('A' <= lookahead && lookahead <= 'Z') || - lookahead == '_' || - ('a' <= lookahead && lookahead <= 'z')) ADVANCE(66); + if (lookahead == 's') ADVANCE(92); END_STATE(); case 58: - ACCEPT_TOKEN(sym_identifier); - if (lookahead == 'e') ADVANCE(65); - if (('0' <= lookahead && lookahead <= '9') || - ('A' <= lookahead && lookahead <= 'Z') || - lookahead == '_' || - ('a' <= lookahead && lookahead <= 'z')) ADVANCE(66); + if (lookahead == 's') ADVANCE(34); END_STATE(); case 59: - ACCEPT_TOKEN(sym_identifier); - if (lookahead == 'l') ADVANCE(88); - if (('0' <= lookahead && lookahead <= '9') || - ('A' <= lookahead && lookahead <= 'Z') || - lookahead == '_' || - ('a' <= lookahead && lookahead <= 'z')) ADVANCE(66); + if (lookahead == 't') ADVANCE(113); END_STATE(); case 60: - ACCEPT_TOKEN(sym_identifier); - if (lookahead == 'l') ADVANCE(59); - if (('0' <= lookahead && lookahead <= '9') || - ('A' <= lookahead && lookahead <= 'Z') || - lookahead == '_' || - ('a' <= lookahead && lookahead <= 'z')) ADVANCE(66); + if (lookahead == 't') ADVANCE(31); END_STATE(); case 61: - ACCEPT_TOKEN(sym_identifier); - if (lookahead == 'n') ADVANCE(83); - if (('0' <= lookahead && lookahead <= '9') || - ('A' <= lookahead && lookahead <= 'Z') || - lookahead == '_' || - ('a' <= lookahead && lookahead <= 'z')) ADVANCE(66); + if (lookahead == 't') ADVANCE(36); END_STATE(); case 62: - ACCEPT_TOKEN(sym_identifier); - if (lookahead == 'n') ADVANCE(57); - if (('0' <= lookahead && lookahead <= '9') || - ('A' <= lookahead && lookahead <= 'Z') || - lookahead == '_' || - ('a' <= lookahead && lookahead <= 'z')) ADVANCE(66); + if (lookahead == 'u') ADVANCE(22); END_STATE(); case 63: - ACCEPT_TOKEN(sym_identifier); - if (lookahead == 'o') ADVANCE(64); - if (lookahead == 'u') ADVANCE(61); - if (('0' <= lookahead && lookahead <= '9') || - ('A' <= lookahead && lookahead <= 'Z') || - lookahead == '_' || - ('a' <= lookahead && lookahead <= 'z')) ADVANCE(66); + if (lookahead == 'x') ADVANCE(32); END_STATE(); case 64: - ACCEPT_TOKEN(sym_identifier); - if (lookahead == 'r') ADVANCE(56); - if (('0' <= lookahead && lookahead <= '9') || - ('A' <= lookahead && lookahead <= 'Z') || - lookahead == '_' || - ('a' <= lookahead && lookahead <= 'z')) ADVANCE(66); + if (lookahead == 'x') ADVANCE(40); END_STATE(); case 65: - ACCEPT_TOKEN(sym_identifier); - if (lookahead == 't') ADVANCE(92); - if (('0' <= lookahead && lookahead <= '9') || - ('A' <= lookahead && lookahead <= 'Z') || - lookahead == '_' || - ('a' <= lookahead && lookahead <= 'z')) ADVANCE(66); + if (lookahead == 'y') ADVANCE(54); END_STATE(); case 66: + if (eof) ADVANCE(67); + ADVANCE_MAP( + '(', 93, + ')', 95, + ',', 110, + '-', 12, + ':', 94, + ';', 90, + '=', 13, + '@', 37, + 'a', 63, + 'd', 23, + 'e', 44, + 'h', 65, + 'i', 48, + 's', 25, + 'v', 17, + 0x2192, 116, + 0x21d2, 106, + ); + if (('\t' <= lookahead && lookahead <= '\r') || + lookahead == ' ') SKIP(66); + if (('0' <= lookahead && lookahead <= '9')) ADVANCE(87); + END_STATE(); + case 67: + ACCEPT_TOKEN(ts_builtin_sym_end); + END_STATE(); + case 68: + ACCEPT_TOKEN(sym_identifier); + if (lookahead == 'a') ADVANCE(72); + if (('0' <= lookahead && lookahead <= '9') || + ('A' <= lookahead && lookahead <= 'Z') || + lookahead == '_' || + ('b' <= lookahead && lookahead <= 'z')) ADVANCE(78); + END_STATE(); + case 69: + ACCEPT_TOKEN(sym_identifier); + if (lookahead == 'd') ADVANCE(85); + if (('0' <= lookahead && lookahead <= '9') || + ('A' <= lookahead && lookahead <= 'Z') || + lookahead == '_' || + ('a' <= lookahead && lookahead <= 'z')) ADVANCE(78); + END_STATE(); + case 70: + ACCEPT_TOKEN(sym_identifier); + if (lookahead == 'e') ADVANCE(77); + if (('0' <= lookahead && lookahead <= '9') || + ('A' <= lookahead && lookahead <= 'Z') || + lookahead == '_' || + ('a' <= lookahead && lookahead <= 'z')) ADVANCE(78); + END_STATE(); + case 71: + ACCEPT_TOKEN(sym_identifier); + if (lookahead == 'l') ADVANCE(109); + if (('0' <= lookahead && lookahead <= '9') || + ('A' <= lookahead && lookahead <= 'Z') || + lookahead == '_' || + ('a' <= lookahead && lookahead <= 'z')) ADVANCE(78); + END_STATE(); + case 72: + ACCEPT_TOKEN(sym_identifier); + if (lookahead == 'l') ADVANCE(71); + if (('0' <= lookahead && lookahead <= '9') || + ('A' <= lookahead && lookahead <= 'Z') || + lookahead == '_' || + ('a' <= lookahead && lookahead <= 'z')) ADVANCE(78); + END_STATE(); + case 73: + ACCEPT_TOKEN(sym_identifier); + if (lookahead == 'n') ADVANCE(103); + if (('0' <= lookahead && lookahead <= '9') || + ('A' <= lookahead && lookahead <= 'Z') || + lookahead == '_' || + ('a' <= lookahead && lookahead <= 'z')) ADVANCE(78); + END_STATE(); + case 74: + ACCEPT_TOKEN(sym_identifier); + if (lookahead == 'n') ADVANCE(69); + if (('0' <= lookahead && lookahead <= '9') || + ('A' <= lookahead && lookahead <= 'Z') || + lookahead == '_' || + ('a' <= lookahead && lookahead <= 'z')) ADVANCE(78); + END_STATE(); + case 75: + ACCEPT_TOKEN(sym_identifier); + if (lookahead == 'o') ADVANCE(76); + if (lookahead == 'u') ADVANCE(73); + if (('0' <= lookahead && lookahead <= '9') || + ('A' <= lookahead && lookahead <= 'Z') || + lookahead == '_' || + ('a' <= lookahead && lookahead <= 'z')) ADVANCE(78); + END_STATE(); + case 76: + ACCEPT_TOKEN(sym_identifier); + if (lookahead == 'r') ADVANCE(68); + if (('0' <= lookahead && lookahead <= '9') || + ('A' <= lookahead && lookahead <= 'Z') || + lookahead == '_' || + ('a' <= lookahead && lookahead <= 'z')) ADVANCE(78); + END_STATE(); + case 77: + ACCEPT_TOKEN(sym_identifier); + if (lookahead == 't') ADVANCE(114); + if (('0' <= lookahead && lookahead <= '9') || + ('A' <= lookahead && lookahead <= 'Z') || + lookahead == '_' || + ('a' <= lookahead && lookahead <= 'z')) ADVANCE(78); + END_STATE(); + case 78: ACCEPT_TOKEN(sym_identifier); if (('0' <= lookahead && lookahead <= '9') || ('A' <= lookahead && lookahead <= 'Z') || lookahead == '_' || - ('a' <= lookahead && lookahead <= 'z')) ADVANCE(66); - END_STATE(); - case 67: - ACCEPT_TOKEN(sym_comment); - if (lookahead != 0 && - lookahead != '\n') ADVANCE(67); - END_STATE(); - case 68: - ACCEPT_TOKEN(anon_sym_section); - END_STATE(); - case 69: - ACCEPT_TOKEN(anon_sym_end); - END_STATE(); - case 70: - ACCEPT_TOKEN(anon_sym_end); - if (('0' <= lookahead && lookahead <= '9') || - ('A' <= lookahead && lookahead <= 'Z') || - lookahead == '_' || - ('a' <= lookahead && lookahead <= 'z')) ADVANCE(66); - END_STATE(); - case 71: - ACCEPT_TOKEN(anon_sym_variable); - END_STATE(); - case 72: - ACCEPT_TOKEN(anon_sym_hypothesis); - END_STATE(); - case 73: - ACCEPT_TOKEN(anon_sym_SEMI); - END_STATE(); - case 74: - ACCEPT_TOKEN(anon_sym_LPAREN); - END_STATE(); - case 75: - ACCEPT_TOKEN(anon_sym_COLON); - if (lookahead == '=') ADVANCE(90); - END_STATE(); - case 76: - ACCEPT_TOKEN(anon_sym_RPAREN); - END_STATE(); - case 77: - ACCEPT_TOKEN(sym_star); - END_STATE(); - case 78: - ACCEPT_TOKEN(anon_sym_u25a1); + ('a' <= lookahead && lookahead <= 'z')) ADVANCE(78); END_STATE(); case 79: - ACCEPT_TOKEN(anon_sym_LBRACK_RBRACK); + ACCEPT_TOKEN(sym_symbol); + if (lookahead == '>') ADVANCE(105); + if (set_contains(sym_symbol_character_set_1, 11, lookahead)) ADVANCE(81); END_STATE(); case 80: - ACCEPT_TOKEN(aux_sym_sort_token1); - if (('0' <= lookahead && lookahead <= '9') || - (0x2080 <= lookahead && lookahead <= 0x2089)) ADVANCE(80); + ACCEPT_TOKEN(sym_symbol); + if (lookahead == ']') ADVANCE(99); + if (set_contains(sym_symbol_character_set_1, 11, lookahead)) ADVANCE(81); END_STATE(); case 81: - ACCEPT_TOKEN(anon_sym_u03bb); + ACCEPT_TOKEN(sym_symbol); + if (set_contains(sym_symbol_character_set_1, 11, lookahead)) ADVANCE(81); END_STATE(); case 82: - ACCEPT_TOKEN(anon_sym_fun); + ACCEPT_TOKEN(sym_comment); + if (lookahead != 0 && + lookahead != '\n') ADVANCE(82); END_STATE(); case 83: + ACCEPT_TOKEN(anon_sym_section); + END_STATE(); + case 84: + ACCEPT_TOKEN(anon_sym_end); + END_STATE(); + case 85: + ACCEPT_TOKEN(anon_sym_end); + if (('0' <= lookahead && lookahead <= '9') || + ('A' <= lookahead && lookahead <= 'Z') || + lookahead == '_' || + ('a' <= lookahead && lookahead <= 'z')) ADVANCE(78); + END_STATE(); + case 86: + ACCEPT_TOKEN(sym_precedence); + if (('0' <= lookahead && lookahead <= '9')) ADVANCE(86); + if ((0x2080 <= lookahead && lookahead <= 0x2089)) ADVANCE(100); + END_STATE(); + case 87: + ACCEPT_TOKEN(sym_precedence); + if (('0' <= lookahead && lookahead <= '9')) ADVANCE(87); + END_STATE(); + case 88: + ACCEPT_TOKEN(anon_sym_infixl); + END_STATE(); + case 89: + ACCEPT_TOKEN(anon_sym_infixr); + END_STATE(); + case 90: + ACCEPT_TOKEN(anon_sym_SEMI); + END_STATE(); + case 91: + ACCEPT_TOKEN(anon_sym_variable); + END_STATE(); + case 92: + ACCEPT_TOKEN(anon_sym_hypothesis); + END_STATE(); + case 93: + ACCEPT_TOKEN(anon_sym_LPAREN); + END_STATE(); + case 94: + ACCEPT_TOKEN(anon_sym_COLON); + if (lookahead == '=') ADVANCE(112); + END_STATE(); + case 95: + ACCEPT_TOKEN(anon_sym_RPAREN); + END_STATE(); + case 96: + ACCEPT_TOKEN(sym_star); + END_STATE(); + case 97: + ACCEPT_TOKEN(anon_sym_u25a1); + END_STATE(); + case 98: + ACCEPT_TOKEN(anon_sym_LBRACK_RBRACK); + END_STATE(); + case 99: + ACCEPT_TOKEN(anon_sym_LBRACK_RBRACK); + if (set_contains(sym_symbol_character_set_1, 11, lookahead)) ADVANCE(81); + END_STATE(); + case 100: + ACCEPT_TOKEN(aux_sym_sort_token1); + if (('0' <= lookahead && lookahead <= '9') || + (0x2080 <= lookahead && lookahead <= 0x2089)) ADVANCE(100); + END_STATE(); + case 101: + ACCEPT_TOKEN(anon_sym_u03bb); + END_STATE(); + case 102: + ACCEPT_TOKEN(anon_sym_fun); + END_STATE(); + case 103: ACCEPT_TOKEN(anon_sym_fun); if (('0' <= lookahead && lookahead <= '9') || ('A' <= lookahead && lookahead <= 'Z') || lookahead == '_' || - ('a' <= lookahead && lookahead <= 'z')) ADVANCE(66); + ('a' <= lookahead && lookahead <= 'z')) ADVANCE(78); END_STATE(); - case 84: + case 104: ACCEPT_TOKEN(anon_sym_EQ_GT); END_STATE(); - case 85: + case 105: + ACCEPT_TOKEN(anon_sym_EQ_GT); + if (set_contains(sym_symbol_character_set_1, 11, lookahead)) ADVANCE(81); + END_STATE(); + case 106: ACCEPT_TOKEN(anon_sym_u21d2); END_STATE(); - case 86: + case 107: ACCEPT_TOKEN(anon_sym_u220f); END_STATE(); - case 87: + case 108: ACCEPT_TOKEN(anon_sym_forall); END_STATE(); - case 88: + case 109: ACCEPT_TOKEN(anon_sym_forall); if (('0' <= lookahead && lookahead <= '9') || ('A' <= lookahead && lookahead <= 'Z') || lookahead == '_' || - ('a' <= lookahead && lookahead <= 'z')) ADVANCE(66); + ('a' <= lookahead && lookahead <= 'z')) ADVANCE(78); END_STATE(); - case 89: + case 110: ACCEPT_TOKEN(anon_sym_COMMA); END_STATE(); - case 90: + case 111: + ACCEPT_TOKEN(anon_sym_COMMA); + if (set_contains(sym_symbol_character_set_1, 11, lookahead)) ADVANCE(81); + END_STATE(); + case 112: ACCEPT_TOKEN(anon_sym_COLON_EQ); END_STATE(); - case 91: + case 113: ACCEPT_TOKEN(anon_sym_let); END_STATE(); - case 92: + case 114: ACCEPT_TOKEN(anon_sym_let); if (('0' <= lookahead && lookahead <= '9') || ('A' <= lookahead && lookahead <= 'Z') || lookahead == '_' || - ('a' <= lookahead && lookahead <= 'z')) ADVANCE(66); + ('a' <= lookahead && lookahead <= 'z')) ADVANCE(78); END_STATE(); - case 93: + case 115: ACCEPT_TOKEN(anon_sym_in); END_STATE(); - case 94: - ACCEPT_TOKEN(anon_sym_DASH_GT); - END_STATE(); - case 95: + case 116: ACCEPT_TOKEN(anon_sym_u2192); END_STATE(); - case 96: + case 117: ACCEPT_TOKEN(anon_sym_axiom); END_STATE(); - case 97: + case 118: ACCEPT_TOKEN(anon_sym_def); END_STATE(); - case 98: + case 119: ACCEPT_TOKEN(sym_post_command); - if (lookahead == '-') ADVANCE(67); + if (lookahead == '-') ADVANCE(82); if (lookahead != 0 && - lookahead != '\n') ADVANCE(100); + lookahead != '\n') ADVANCE(121); END_STATE(); - case 99: + case 120: ACCEPT_TOKEN(sym_post_command); - if (lookahead == '-') ADVANCE(98); + if (lookahead == '-') ADVANCE(119); if (lookahead == '\t' || (0x0b <= lookahead && lookahead <= '\r') || - lookahead == ' ') ADVANCE(99); + lookahead == ' ') ADVANCE(120); if (lookahead != 0 && - (lookahead < '\t' || '\r' < lookahead)) ADVANCE(100); + (lookahead < '\t' || '\r' < lookahead)) ADVANCE(121); END_STATE(); - case 100: + case 121: ACCEPT_TOKEN(sym_post_command); if (lookahead != 0 && - lookahead != '\n') ADVANCE(100); + lookahead != '\n') ADVANCE(121); END_STATE(); - case 101: + case 122: ACCEPT_TOKEN(sym_command); END_STATE(); default: @@ -1088,165 +1373,237 @@ static bool ts_lex(TSLexer *lexer, TSStateId state) { static const TSLexMode ts_lex_modes[STATE_COUNT] = { [0] = {.lex_state = 0}, - [1] = {.lex_state = 0}, - [2] = {.lex_state = 4}, - [3] = {.lex_state = 4}, - [4] = {.lex_state = 4}, - [5] = {.lex_state = 4}, - [6] = {.lex_state = 4}, - [7] = {.lex_state = 4}, - [8] = {.lex_state = 4}, - [9] = {.lex_state = 4}, - [10] = {.lex_state = 4}, - [11] = {.lex_state = 4}, - [12] = {.lex_state = 4}, - [13] = {.lex_state = 4}, - [14] = {.lex_state = 4}, - [15] = {.lex_state = 4}, - [16] = {.lex_state = 4}, - [17] = {.lex_state = 4}, - [18] = {.lex_state = 4}, - [19] = {.lex_state = 4}, - [20] = {.lex_state = 4}, - [21] = {.lex_state = 4}, - [22] = {.lex_state = 4}, - [23] = {.lex_state = 4}, - [24] = {.lex_state = 4}, - [25] = {.lex_state = 4}, - [26] = {.lex_state = 2}, - [27] = {.lex_state = 2}, - [28] = {.lex_state = 2}, - [29] = {.lex_state = 2}, - [30] = {.lex_state = 0}, - [31] = {.lex_state = 0}, - [32] = {.lex_state = 2}, - [33] = {.lex_state = 2}, - [34] = {.lex_state = 0}, - [35] = {.lex_state = 2}, - [36] = {.lex_state = 0}, - [37] = {.lex_state = 0}, - [38] = {.lex_state = 2}, - [39] = {.lex_state = 0}, - [40] = {.lex_state = 3}, - [41] = {.lex_state = 3}, - [42] = {.lex_state = 0}, - [43] = {.lex_state = 0}, - [44] = {.lex_state = 0}, - [45] = {.lex_state = 0}, - [46] = {.lex_state = 3}, - [47] = {.lex_state = 0}, - [48] = {.lex_state = 3}, - [49] = {.lex_state = 0}, - [50] = {.lex_state = 0}, - [51] = {.lex_state = 0}, - [52] = {.lex_state = 0}, - [53] = {.lex_state = 0}, + [1] = {.lex_state = 66}, + [2] = {.lex_state = 6}, + [3] = {.lex_state = 6}, + [4] = {.lex_state = 6}, + [5] = {.lex_state = 6}, + [6] = {.lex_state = 6}, + [7] = {.lex_state = 6}, + [8] = {.lex_state = 6}, + [9] = {.lex_state = 6}, + [10] = {.lex_state = 6}, + [11] = {.lex_state = 6}, + [12] = {.lex_state = 6}, + [13] = {.lex_state = 6}, + [14] = {.lex_state = 6}, + [15] = {.lex_state = 6}, + [16] = {.lex_state = 6}, + [17] = {.lex_state = 6}, + [18] = {.lex_state = 6}, + [19] = {.lex_state = 6}, + [20] = {.lex_state = 6}, + [21] = {.lex_state = 6}, + [22] = {.lex_state = 6}, + [23] = {.lex_state = 6}, + [24] = {.lex_state = 6}, + [25] = {.lex_state = 6}, + [26] = {.lex_state = 6}, + [27] = {.lex_state = 6}, + [28] = {.lex_state = 6}, + [29] = {.lex_state = 6}, + [30] = {.lex_state = 6}, + [31] = {.lex_state = 6}, + [32] = {.lex_state = 6}, + [33] = {.lex_state = 6}, + [34] = {.lex_state = 6}, + [35] = {.lex_state = 6}, + [36] = {.lex_state = 6}, + [37] = {.lex_state = 6}, + [38] = {.lex_state = 6}, + [39] = {.lex_state = 6}, + [40] = {.lex_state = 6}, + [41] = {.lex_state = 66}, + [42] = {.lex_state = 66}, + [43] = {.lex_state = 66}, + [44] = {.lex_state = 66}, + [45] = {.lex_state = 66}, + [46] = {.lex_state = 66}, + [47] = {.lex_state = 2}, + [48] = {.lex_state = 2}, + [49] = {.lex_state = 4}, + [50] = {.lex_state = 4}, + [51] = {.lex_state = 3}, + [52] = {.lex_state = 5}, + [53] = {.lex_state = 5}, [54] = {.lex_state = 3}, - [55] = {.lex_state = 3}, - [56] = {.lex_state = 3}, - [57] = {.lex_state = 3}, - [58] = {.lex_state = 0}, - [59] = {.lex_state = 0}, - [60] = {.lex_state = 0}, - [61] = {.lex_state = 0}, - [62] = {.lex_state = 0}, - [63] = {.lex_state = 0}, - [64] = {.lex_state = 0}, - [65] = {.lex_state = 0}, - [66] = {.lex_state = 0}, - [67] = {.lex_state = 0}, - [68] = {.lex_state = 0}, - [69] = {.lex_state = 0}, - [70] = {.lex_state = 0}, - [71] = {.lex_state = 0}, - [72] = {.lex_state = 0}, - [73] = {.lex_state = 0}, - [74] = {.lex_state = 0}, - [75] = {.lex_state = 0}, - [76] = {.lex_state = 0}, - [77] = {.lex_state = 0}, - [78] = {.lex_state = 0}, - [79] = {.lex_state = 0}, - [80] = {.lex_state = 0}, - [81] = {.lex_state = 0}, - [82] = {.lex_state = 0}, - [83] = {.lex_state = 0}, - [84] = {.lex_state = 0}, - [85] = {.lex_state = 0}, - [86] = {.lex_state = 0}, - [87] = {.lex_state = 0}, - [88] = {.lex_state = 0}, - [89] = {.lex_state = 0}, - [90] = {.lex_state = 0}, - [91] = {.lex_state = 0}, - [92] = {.lex_state = 0}, - [93] = {.lex_state = 0}, - [94] = {.lex_state = 0}, - [95] = {.lex_state = 0}, - [96] = {.lex_state = 2}, - [97] = {.lex_state = 0}, - [98] = {.lex_state = 0}, - [99] = {.lex_state = 2}, - [100] = {.lex_state = 0}, - [101] = {.lex_state = 0}, - [102] = {.lex_state = 0}, - [103] = {.lex_state = 0}, - [104] = {.lex_state = 0}, - [105] = {.lex_state = 2}, - [106] = {.lex_state = 0}, - [107] = {.lex_state = 0}, - [108] = {.lex_state = 0}, - [109] = {.lex_state = 0}, - [110] = {.lex_state = 2}, - [111] = {.lex_state = 0}, - [112] = {.lex_state = 0}, - [113] = {.lex_state = 0}, - [114] = {.lex_state = 0}, - [115] = {.lex_state = 2}, - [116] = {.lex_state = 1}, + [55] = {.lex_state = 7}, + [56] = {.lex_state = 2}, + [57] = {.lex_state = 7}, + [58] = {.lex_state = 2}, + [59] = {.lex_state = 7}, + [60] = {.lex_state = 7}, + [61] = {.lex_state = 4}, + [62] = {.lex_state = 2}, + [63] = {.lex_state = 2}, + [64] = {.lex_state = 2}, + [65] = {.lex_state = 2}, + [66] = {.lex_state = 4}, + [67] = {.lex_state = 66}, + [68] = {.lex_state = 66}, + [69] = {.lex_state = 66}, + [70] = {.lex_state = 66}, + [71] = {.lex_state = 66}, + [72] = {.lex_state = 66}, + [73] = {.lex_state = 66}, + [74] = {.lex_state = 66}, + [75] = {.lex_state = 66}, + [76] = {.lex_state = 4}, + [77] = {.lex_state = 4}, + [78] = {.lex_state = 66}, + [79] = {.lex_state = 66}, + [80] = {.lex_state = 4}, + [81] = {.lex_state = 66}, + [82] = {.lex_state = 66}, + [83] = {.lex_state = 4}, + [84] = {.lex_state = 66}, + [85] = {.lex_state = 66}, + [86] = {.lex_state = 3}, + [87] = {.lex_state = 3}, + [88] = {.lex_state = 66}, + [89] = {.lex_state = 5}, + [90] = {.lex_state = 5}, + [91] = {.lex_state = 66}, + [92] = {.lex_state = 66}, + [93] = {.lex_state = 66}, + [94] = {.lex_state = 66}, + [95] = {.lex_state = 66}, + [96] = {.lex_state = 66}, + [97] = {.lex_state = 66}, + [98] = {.lex_state = 3}, + [99] = {.lex_state = 3}, + [100] = {.lex_state = 66}, + [101] = {.lex_state = 66}, + [102] = {.lex_state = 3}, + [103] = {.lex_state = 66}, + [104] = {.lex_state = 3}, + [105] = {.lex_state = 66}, + [106] = {.lex_state = 5}, + [107] = {.lex_state = 5}, + [108] = {.lex_state = 66}, + [109] = {.lex_state = 5}, + [110] = {.lex_state = 5}, + [111] = {.lex_state = 66}, + [112] = {.lex_state = 66}, + [113] = {.lex_state = 66}, + [114] = {.lex_state = 66}, + [115] = {.lex_state = 66}, + [116] = {.lex_state = 0}, [117] = {.lex_state = 0}, [118] = {.lex_state = 0}, - [119] = {.lex_state = 2}, + [119] = {.lex_state = 66}, [120] = {.lex_state = 0}, - [121] = {.lex_state = 0}, - [122] = {.lex_state = 0}, - [123] = {.lex_state = 0}, + [121] = {.lex_state = 66}, + [122] = {.lex_state = 66}, + [123] = {.lex_state = 66}, [124] = {.lex_state = 0}, [125] = {.lex_state = 0}, [126] = {.lex_state = 0}, - [127] = {.lex_state = 0}, - [128] = {.lex_state = 0}, + [127] = {.lex_state = 8}, + [128] = {.lex_state = 66}, [129] = {.lex_state = 0}, - [130] = {.lex_state = 2}, + [130] = {.lex_state = 0}, [131] = {.lex_state = 0}, [132] = {.lex_state = 0}, - [133] = {.lex_state = 2}, + [133] = {.lex_state = 10}, [134] = {.lex_state = 0}, - [135] = {.lex_state = 0}, + [135] = {.lex_state = 8}, [136] = {.lex_state = 0}, - [137] = {.lex_state = 0}, - [138] = {.lex_state = 1}, - [139] = {.lex_state = 2}, + [137] = {.lex_state = 8}, + [138] = {.lex_state = 66}, + [139] = {.lex_state = 0}, [140] = {.lex_state = 2}, - [141] = {.lex_state = 0}, + [141] = {.lex_state = 8}, [142] = {.lex_state = 0}, [143] = {.lex_state = 0}, - [144] = {.lex_state = 0}, + [144] = {.lex_state = 2}, [145] = {.lex_state = 0}, - [146] = {.lex_state = 2}, - [147] = {.lex_state = 2}, + [146] = {.lex_state = 11}, + [147] = {.lex_state = 0}, [148] = {.lex_state = 0}, + [149] = {.lex_state = 9}, + [150] = {.lex_state = 0}, + [151] = {.lex_state = 0}, + [152] = {.lex_state = 0}, + [153] = {.lex_state = 0}, + [154] = {.lex_state = 0}, + [155] = {.lex_state = 0}, + [156] = {.lex_state = 0}, + [157] = {.lex_state = 2}, + [158] = {.lex_state = 66}, + [159] = {.lex_state = 8}, + [160] = {.lex_state = 0}, + [161] = {.lex_state = 66}, + [162] = {.lex_state = 66}, + [163] = {.lex_state = 0}, + [164] = {.lex_state = 66}, + [165] = {.lex_state = 0}, + [166] = {.lex_state = 66}, + [167] = {.lex_state = 0}, + [168] = {.lex_state = 0}, + [169] = {.lex_state = 8}, + [170] = {.lex_state = 8}, + [171] = {.lex_state = 8}, + [172] = {.lex_state = 0}, + [173] = {.lex_state = 2}, + [174] = {.lex_state = 2}, + [175] = {.lex_state = 0}, + [176] = {.lex_state = 0}, + [177] = {.lex_state = 66}, + [178] = {.lex_state = 0}, + [179] = {.lex_state = 2}, + [180] = {.lex_state = 1}, + [181] = {.lex_state = 0}, + [182] = {.lex_state = 0}, + [183] = {.lex_state = 66}, + [184] = {.lex_state = 0}, + [185] = {.lex_state = 66}, + [186] = {.lex_state = 0}, + [187] = {.lex_state = 0}, + [188] = {.lex_state = 66}, + [189] = {.lex_state = 8}, + [190] = {.lex_state = 0}, + [191] = {.lex_state = 66}, + [192] = {.lex_state = 0}, + [193] = {.lex_state = 0}, + [194] = {.lex_state = 0}, + [195] = {.lex_state = 0}, + [196] = {.lex_state = 0}, + [197] = {.lex_state = 0}, + [198] = {.lex_state = 2}, + [199] = {.lex_state = 0}, + [200] = {.lex_state = 0}, + [201] = {.lex_state = 0}, + [202] = {.lex_state = 0}, + [203] = {.lex_state = 0}, + [204] = {.lex_state = 1}, + [205] = {.lex_state = 0}, + [206] = {.lex_state = 0}, + [207] = {.lex_state = 0}, + [208] = {.lex_state = 0}, + [209] = {.lex_state = 66}, + [210] = {.lex_state = 0}, + [211] = {.lex_state = 0}, + [212] = {.lex_state = 0}, + [213] = {.lex_state = 0}, + [214] = {.lex_state = 0}, + [215] = {.lex_state = 0}, + [216] = {.lex_state = 2}, + [217] = {.lex_state = 0}, + [218] = {.lex_state = 8}, }; static const uint16_t ts_parse_table[LARGE_STATE_COUNT][SYMBOL_COUNT] = { [0] = { [ts_builtin_sym_end] = ACTIONS(1), + [sym_symbol] = ACTIONS(1), [sym_comment] = ACTIONS(3), [anon_sym_section] = ACTIONS(1), [anon_sym_end] = ACTIONS(1), + [sym_precedence] = ACTIONS(1), + [anon_sym_SEMI] = ACTIONS(1), [anon_sym_variable] = ACTIONS(1), [anon_sym_hypothesis] = ACTIONS(1), - [anon_sym_SEMI] = ACTIONS(1), [anon_sym_LPAREN] = ACTIONS(1), [anon_sym_COLON] = ACTIONS(1), [anon_sym_RPAREN] = ACTIONS(1), @@ -1264,2603 +1621,4112 @@ static const uint16_t ts_parse_table[LARGE_STATE_COUNT][SYMBOL_COUNT] = { [anon_sym_COLON_EQ] = ACTIONS(1), [anon_sym_let] = ACTIONS(1), [anon_sym_in] = ACTIONS(1), - [anon_sym_DASH_GT] = ACTIONS(1), [anon_sym_u2192] = ACTIONS(1), [anon_sym_axiom] = ACTIONS(1), [anon_sym_def] = ACTIONS(1), - [sym_command] = ACTIONS(1), }, [1] = { - [sym_program] = STATE(141), - [sym_section] = STATE(36), - [sym_variable] = STATE(36), - [sym_axiom] = STATE(36), - [sym_definition] = STATE(36), - [sym_preprocess] = STATE(36), - [aux_sym_program_repeat1] = STATE(36), + [sym_program] = STATE(212), + [sym_section] = STATE(41), + [sym_fixity] = STATE(41), + [sym_variable] = STATE(41), + [sym_axiom] = STATE(41), + [sym_definition] = STATE(41), + [sym_preprocess] = STATE(41), + [aux_sym_program_repeat1] = STATE(41), [sym_comment] = ACTIONS(3), [anon_sym_section] = ACTIONS(5), - [anon_sym_variable] = ACTIONS(7), - [anon_sym_hypothesis] = ACTIONS(7), - [anon_sym_axiom] = ACTIONS(9), - [anon_sym_def] = ACTIONS(11), - [sym_command] = ACTIONS(13), + [anon_sym_infixl] = ACTIONS(7), + [anon_sym_infixr] = ACTIONS(7), + [anon_sym_variable] = ACTIONS(9), + [anon_sym_hypothesis] = ACTIONS(9), + [anon_sym_axiom] = ACTIONS(11), + [anon_sym_def] = ACTIONS(13), + [sym_command] = ACTIONS(15), }, }; static const uint16_t ts_small_parse_table[] = { - [0] = 17, + [0] = 18, ACTIONS(3), 1, sym_comment, - ACTIONS(15), 1, - sym_identifier, ACTIONS(17), 1, - anon_sym_LPAREN, + sym_identifier, ACTIONS(19), 1, + anon_sym_LPAREN, + ACTIONS(21), 1, sym_star, - ACTIONS(23), 1, - anon_sym_u03bb, ACTIONS(25), 1, - anon_sym_fun, + anon_sym_u03bb, ACTIONS(27), 1, - anon_sym_u220f, + anon_sym_fun, ACTIONS(29), 1, - anon_sym_forall, + anon_sym_u220f, ACTIONS(31), 1, + anon_sym_forall, + ACTIONS(33), 1, anon_sym_let, - STATE(46), 1, - sym_square, - STATE(49), 1, - sym_arrow, STATE(56), 1, - sym_sort, - STATE(98), 1, - sym_app_term, - STATE(112), 1, - sym_expr, - ACTIONS(21), 2, - anon_sym_u25a1, - anon_sym_LBRACK_RBRACK, - STATE(41), 2, - sym_term, - aux_sym_app_repeat1, - STATE(52), 4, - sym_labs, - sym_pabs, - sym_let, - sym_app, - [57] = 17, - ACTIONS(3), 1, - sym_comment, - ACTIONS(31), 1, - anon_sym_let, - ACTIONS(33), 1, - sym_identifier, - ACTIONS(35), 1, - anon_sym_LPAREN, - ACTIONS(37), 1, - sym_star, - ACTIONS(41), 1, - anon_sym_u03bb, - ACTIONS(43), 1, - anon_sym_fun, - ACTIONS(45), 1, - anon_sym_u220f, - ACTIONS(47), 1, - anon_sym_forall, - STATE(29), 1, sym_square, - STATE(33), 1, + STATE(62), 1, sym_sort, - STATE(49), 1, + STATE(103), 1, sym_arrow, - STATE(53), 1, - sym_app_term, - STATE(135), 1, - sym_expr, - ACTIONS(39), 2, - anon_sym_u25a1, - anon_sym_LBRACK_RBRACK, - STATE(27), 2, - sym_term, - aux_sym_app_repeat1, - STATE(52), 4, - sym_labs, - sym_pabs, - sym_let, + STATE(127), 1, sym_app, - [114] = 17, - ACTIONS(3), 1, - sym_comment, - ACTIONS(31), 1, - anon_sym_let, - ACTIONS(33), 1, - sym_identifier, - ACTIONS(35), 1, - anon_sym_LPAREN, - ACTIONS(37), 1, - sym_star, - ACTIONS(41), 1, - anon_sym_u03bb, - ACTIONS(43), 1, - anon_sym_fun, - ACTIONS(45), 1, - anon_sym_u220f, - ACTIONS(47), 1, - anon_sym_forall, - STATE(29), 1, - sym_square, - STATE(33), 1, - sym_sort, - STATE(49), 1, - sym_arrow, - STATE(53), 1, - sym_app_term, - STATE(117), 1, - sym_expr, - ACTIONS(39), 2, - anon_sym_u25a1, - anon_sym_LBRACK_RBRACK, - STATE(27), 2, - sym_term, - aux_sym_app_repeat1, - STATE(52), 4, - sym_labs, - sym_pabs, - sym_let, - sym_app, - [171] = 17, - ACTIONS(3), 1, - sym_comment, - ACTIONS(31), 1, - anon_sym_let, - ACTIONS(33), 1, - sym_identifier, - ACTIONS(35), 1, - anon_sym_LPAREN, - ACTIONS(37), 1, - sym_star, - ACTIONS(41), 1, - anon_sym_u03bb, - ACTIONS(43), 1, - anon_sym_fun, - ACTIONS(45), 1, - anon_sym_u220f, - ACTIONS(47), 1, - anon_sym_forall, - STATE(29), 1, - sym_square, - STATE(33), 1, - sym_sort, - STATE(49), 1, - sym_arrow, - STATE(53), 1, - sym_app_term, - STATE(120), 1, - sym_expr, - ACTIONS(39), 2, - anon_sym_u25a1, - anon_sym_LBRACK_RBRACK, - STATE(27), 2, - sym_term, - aux_sym_app_repeat1, - STATE(52), 4, - sym_labs, - sym_pabs, - sym_let, - sym_app, - [228] = 17, - ACTIONS(3), 1, - sym_comment, - ACTIONS(31), 1, - anon_sym_let, - ACTIONS(33), 1, - sym_identifier, - ACTIONS(35), 1, - anon_sym_LPAREN, - ACTIONS(37), 1, - sym_star, - ACTIONS(41), 1, - anon_sym_u03bb, - ACTIONS(43), 1, - anon_sym_fun, - ACTIONS(45), 1, - anon_sym_u220f, - ACTIONS(47), 1, - anon_sym_forall, - STATE(29), 1, - sym_square, - STATE(33), 1, - sym_sort, - STATE(49), 1, - sym_arrow, - STATE(50), 1, - sym_expr, - STATE(53), 1, - sym_app_term, - ACTIONS(39), 2, - anon_sym_u25a1, - anon_sym_LBRACK_RBRACK, - STATE(27), 2, - sym_term, - aux_sym_app_repeat1, - STATE(52), 4, - sym_labs, - sym_pabs, - sym_let, - sym_app, - [285] = 17, - ACTIONS(3), 1, - sym_comment, - ACTIONS(31), 1, - anon_sym_let, - ACTIONS(33), 1, - sym_identifier, - ACTIONS(35), 1, - anon_sym_LPAREN, - ACTIONS(37), 1, - sym_star, - ACTIONS(41), 1, - anon_sym_u03bb, - ACTIONS(43), 1, - anon_sym_fun, - ACTIONS(45), 1, - anon_sym_u220f, - ACTIONS(47), 1, - anon_sym_forall, - STATE(29), 1, - sym_square, - STATE(33), 1, - sym_sort, - STATE(49), 1, - sym_arrow, - STATE(53), 1, - sym_app_term, - STATE(124), 1, - sym_expr, - ACTIONS(39), 2, - anon_sym_u25a1, - anon_sym_LBRACK_RBRACK, - STATE(27), 2, - sym_term, - aux_sym_app_repeat1, - STATE(52), 4, - sym_labs, - sym_pabs, - sym_let, - sym_app, - [342] = 17, - ACTIONS(3), 1, - sym_comment, - ACTIONS(31), 1, - anon_sym_let, - ACTIONS(33), 1, - sym_identifier, - ACTIONS(35), 1, - anon_sym_LPAREN, - ACTIONS(37), 1, - sym_star, - ACTIONS(41), 1, - anon_sym_u03bb, - ACTIONS(43), 1, - anon_sym_fun, - ACTIONS(45), 1, - anon_sym_u220f, - ACTIONS(47), 1, - anon_sym_forall, - STATE(29), 1, - sym_square, - STATE(33), 1, - sym_sort, - STATE(49), 1, - sym_arrow, - STATE(51), 1, - sym_expr, - STATE(53), 1, - sym_app_term, - ACTIONS(39), 2, - anon_sym_u25a1, - anon_sym_LBRACK_RBRACK, - STATE(27), 2, - sym_term, - aux_sym_app_repeat1, - STATE(52), 4, - sym_labs, - sym_pabs, - sym_let, - sym_app, - [399] = 17, - ACTIONS(3), 1, - sym_comment, - ACTIONS(31), 1, - anon_sym_let, - ACTIONS(33), 1, - sym_identifier, - ACTIONS(35), 1, - anon_sym_LPAREN, - ACTIONS(37), 1, - sym_star, - ACTIONS(41), 1, - anon_sym_u03bb, - ACTIONS(43), 1, - anon_sym_fun, - ACTIONS(45), 1, - anon_sym_u220f, - ACTIONS(47), 1, - anon_sym_forall, - STATE(29), 1, - sym_square, - STATE(33), 1, - sym_sort, - STATE(43), 1, - sym_expr, - STATE(49), 1, - sym_arrow, - STATE(53), 1, - sym_app_term, - ACTIONS(39), 2, - anon_sym_u25a1, - anon_sym_LBRACK_RBRACK, - STATE(27), 2, - sym_term, - aux_sym_app_repeat1, - STATE(52), 4, - sym_labs, - sym_pabs, - sym_let, - sym_app, - [456] = 17, - ACTIONS(3), 1, - sym_comment, - ACTIONS(31), 1, - anon_sym_let, - ACTIONS(33), 1, - sym_identifier, - ACTIONS(35), 1, - anon_sym_LPAREN, - ACTIONS(37), 1, - sym_star, - ACTIONS(41), 1, - anon_sym_u03bb, - ACTIONS(43), 1, - anon_sym_fun, - ACTIONS(45), 1, - anon_sym_u220f, - ACTIONS(47), 1, - anon_sym_forall, - STATE(29), 1, - sym_square, - STATE(33), 1, - sym_sort, - STATE(49), 1, - sym_arrow, - STATE(53), 1, - sym_app_term, - STATE(125), 1, - sym_expr, - ACTIONS(39), 2, - anon_sym_u25a1, - anon_sym_LBRACK_RBRACK, - STATE(27), 2, - sym_term, - aux_sym_app_repeat1, - STATE(52), 4, - sym_labs, - sym_pabs, - sym_let, - sym_app, - [513] = 17, - ACTIONS(3), 1, - sym_comment, - ACTIONS(31), 1, - anon_sym_let, - ACTIONS(33), 1, - sym_identifier, - ACTIONS(35), 1, - anon_sym_LPAREN, - ACTIONS(37), 1, - sym_star, - ACTIONS(41), 1, - anon_sym_u03bb, - ACTIONS(43), 1, - anon_sym_fun, - ACTIONS(45), 1, - anon_sym_u220f, - ACTIONS(47), 1, - anon_sym_forall, - STATE(29), 1, - sym_square, - STATE(33), 1, - sym_sort, - STATE(47), 1, - sym_expr, - STATE(49), 1, - sym_arrow, - STATE(53), 1, - sym_app_term, - ACTIONS(39), 2, - anon_sym_u25a1, - anon_sym_LBRACK_RBRACK, - STATE(27), 2, - sym_term, - aux_sym_app_repeat1, - STATE(52), 4, - sym_labs, - sym_pabs, - sym_let, - sym_app, - [570] = 17, - ACTIONS(3), 1, - sym_comment, - ACTIONS(31), 1, - anon_sym_let, - ACTIONS(33), 1, - sym_identifier, - ACTIONS(35), 1, - anon_sym_LPAREN, - ACTIONS(37), 1, - sym_star, - ACTIONS(41), 1, - anon_sym_u03bb, - ACTIONS(43), 1, - anon_sym_fun, - ACTIONS(45), 1, - anon_sym_u220f, - ACTIONS(47), 1, - anon_sym_forall, - STATE(29), 1, - sym_square, - STATE(33), 1, - sym_sort, - STATE(42), 1, - sym_expr, - STATE(49), 1, - sym_arrow, - STATE(53), 1, - sym_app_term, - ACTIONS(39), 2, - anon_sym_u25a1, - anon_sym_LBRACK_RBRACK, - STATE(27), 2, - sym_term, - aux_sym_app_repeat1, - STATE(52), 4, - sym_labs, - sym_pabs, - sym_let, - sym_app, - [627] = 17, - ACTIONS(3), 1, - sym_comment, - ACTIONS(31), 1, - anon_sym_let, - ACTIONS(33), 1, - sym_identifier, - ACTIONS(35), 1, - anon_sym_LPAREN, - ACTIONS(37), 1, - sym_star, - ACTIONS(41), 1, - anon_sym_u03bb, - ACTIONS(43), 1, - anon_sym_fun, - ACTIONS(45), 1, - anon_sym_u220f, - ACTIONS(47), 1, - anon_sym_forall, - STATE(29), 1, - sym_square, - STATE(33), 1, - sym_sort, - STATE(49), 1, - sym_arrow, - STATE(53), 1, - sym_app_term, - STATE(137), 1, - sym_expr, - ACTIONS(39), 2, - anon_sym_u25a1, - anon_sym_LBRACK_RBRACK, - STATE(27), 2, - sym_term, - aux_sym_app_repeat1, - STATE(52), 4, - sym_labs, - sym_pabs, - sym_let, - sym_app, - [684] = 17, - ACTIONS(3), 1, - sym_comment, - ACTIONS(31), 1, - anon_sym_let, - ACTIONS(33), 1, - sym_identifier, - ACTIONS(35), 1, - anon_sym_LPAREN, - ACTIONS(37), 1, - sym_star, - ACTIONS(41), 1, - anon_sym_u03bb, - ACTIONS(43), 1, - anon_sym_fun, - ACTIONS(45), 1, - anon_sym_u220f, - ACTIONS(47), 1, - anon_sym_forall, - STATE(29), 1, - sym_square, - STATE(33), 1, - sym_sort, - STATE(49), 1, - sym_arrow, - STATE(53), 1, - sym_app_term, - STATE(142), 1, - sym_expr, - ACTIONS(39), 2, - anon_sym_u25a1, - anon_sym_LBRACK_RBRACK, - STATE(27), 2, - sym_term, - aux_sym_app_repeat1, - STATE(52), 4, - sym_labs, - sym_pabs, - sym_let, - sym_app, - [741] = 17, - ACTIONS(3), 1, - sym_comment, - ACTIONS(31), 1, - anon_sym_let, - ACTIONS(33), 1, - sym_identifier, - ACTIONS(35), 1, - anon_sym_LPAREN, - ACTIONS(37), 1, - sym_star, - ACTIONS(41), 1, - anon_sym_u03bb, - ACTIONS(43), 1, - anon_sym_fun, - ACTIONS(45), 1, - anon_sym_u220f, - ACTIONS(47), 1, - anon_sym_forall, - STATE(29), 1, - sym_square, - STATE(33), 1, - sym_sort, - STATE(49), 1, - sym_arrow, - STATE(53), 1, - sym_app_term, - STATE(114), 1, - sym_expr, - ACTIONS(39), 2, - anon_sym_u25a1, - anon_sym_LBRACK_RBRACK, - STATE(27), 2, - sym_term, - aux_sym_app_repeat1, - STATE(52), 4, - sym_labs, - sym_pabs, - sym_let, - sym_app, - [798] = 17, - ACTIONS(3), 1, - sym_comment, - ACTIONS(15), 1, - sym_identifier, - ACTIONS(17), 1, - anon_sym_LPAREN, - ACTIONS(19), 1, - sym_star, - ACTIONS(23), 1, - anon_sym_u03bb, - ACTIONS(25), 1, - anon_sym_fun, - ACTIONS(27), 1, - anon_sym_u220f, - ACTIONS(29), 1, - anon_sym_forall, - ACTIONS(31), 1, - anon_sym_let, - STATE(46), 1, - sym_square, - STATE(49), 1, - sym_arrow, - STATE(50), 1, - sym_expr, - STATE(56), 1, - sym_sort, - STATE(98), 1, - sym_app_term, - ACTIONS(21), 2, - anon_sym_u25a1, - anon_sym_LBRACK_RBRACK, - STATE(41), 2, - sym_term, - aux_sym_app_repeat1, - STATE(52), 4, - sym_labs, - sym_pabs, - sym_let, - sym_app, - [855] = 17, - ACTIONS(3), 1, - sym_comment, - ACTIONS(15), 1, - sym_identifier, - ACTIONS(17), 1, - anon_sym_LPAREN, - ACTIONS(19), 1, - sym_star, - ACTIONS(23), 1, - anon_sym_u03bb, - ACTIONS(25), 1, - anon_sym_fun, - ACTIONS(27), 1, - anon_sym_u220f, - ACTIONS(29), 1, - anon_sym_forall, - ACTIONS(31), 1, - anon_sym_let, - STATE(46), 1, - sym_square, - STATE(47), 1, - sym_expr, - STATE(49), 1, - sym_arrow, - STATE(56), 1, - sym_sort, - STATE(98), 1, - sym_app_term, - ACTIONS(21), 2, - anon_sym_u25a1, - anon_sym_LBRACK_RBRACK, - STATE(41), 2, - sym_term, - aux_sym_app_repeat1, - STATE(52), 4, - sym_labs, - sym_pabs, - sym_let, - sym_app, - [912] = 17, - ACTIONS(3), 1, - sym_comment, - ACTIONS(15), 1, - sym_identifier, - ACTIONS(17), 1, - anon_sym_LPAREN, - ACTIONS(19), 1, - sym_star, - ACTIONS(23), 1, - anon_sym_u03bb, - ACTIONS(25), 1, - anon_sym_fun, - ACTIONS(27), 1, - anon_sym_u220f, - ACTIONS(29), 1, - anon_sym_forall, - ACTIONS(31), 1, - anon_sym_let, - STATE(46), 1, - sym_square, - STATE(49), 1, - sym_arrow, - STATE(51), 1, - sym_expr, - STATE(56), 1, - sym_sort, - STATE(98), 1, - sym_app_term, - ACTIONS(21), 2, - anon_sym_u25a1, - anon_sym_LBRACK_RBRACK, - STATE(41), 2, - sym_term, - aux_sym_app_repeat1, - STATE(52), 4, - sym_labs, - sym_pabs, - sym_let, - sym_app, - [969] = 17, - ACTIONS(3), 1, - sym_comment, - ACTIONS(15), 1, - sym_identifier, - ACTIONS(17), 1, - anon_sym_LPAREN, - ACTIONS(19), 1, - sym_star, - ACTIONS(23), 1, - anon_sym_u03bb, - ACTIONS(25), 1, - anon_sym_fun, - ACTIONS(27), 1, - anon_sym_u220f, - ACTIONS(29), 1, - anon_sym_forall, - ACTIONS(31), 1, - anon_sym_let, - STATE(43), 1, - sym_expr, - STATE(46), 1, - sym_square, - STATE(49), 1, - sym_arrow, - STATE(56), 1, - sym_sort, - STATE(98), 1, - sym_app_term, - ACTIONS(21), 2, - anon_sym_u25a1, - anon_sym_LBRACK_RBRACK, - STATE(41), 2, - sym_term, - aux_sym_app_repeat1, - STATE(52), 4, - sym_labs, - sym_pabs, - sym_let, - sym_app, - [1026] = 17, - ACTIONS(3), 1, - sym_comment, - ACTIONS(15), 1, - sym_identifier, - ACTIONS(17), 1, - anon_sym_LPAREN, - ACTIONS(19), 1, - sym_star, - ACTIONS(23), 1, - anon_sym_u03bb, - ACTIONS(25), 1, - anon_sym_fun, - ACTIONS(27), 1, - anon_sym_u220f, - ACTIONS(29), 1, - anon_sym_forall, - ACTIONS(31), 1, - anon_sym_let, - STATE(42), 1, - sym_expr, - STATE(46), 1, - sym_square, - STATE(49), 1, - sym_arrow, - STATE(56), 1, - sym_sort, - STATE(98), 1, - sym_app_term, - ACTIONS(21), 2, - anon_sym_u25a1, - anon_sym_LBRACK_RBRACK, - STATE(41), 2, - sym_term, - aux_sym_app_repeat1, - STATE(52), 4, - sym_labs, - sym_pabs, - sym_let, - sym_app, - [1083] = 17, - ACTIONS(3), 1, - sym_comment, - ACTIONS(31), 1, - anon_sym_let, - ACTIONS(33), 1, - sym_identifier, - ACTIONS(35), 1, - anon_sym_LPAREN, - ACTIONS(37), 1, - sym_star, - ACTIONS(41), 1, - anon_sym_u03bb, - ACTIONS(43), 1, - anon_sym_fun, - ACTIONS(45), 1, - anon_sym_u220f, - ACTIONS(47), 1, - anon_sym_forall, - STATE(29), 1, - sym_square, - STATE(33), 1, - sym_sort, - STATE(49), 1, - sym_arrow, - STATE(53), 1, - sym_app_term, - STATE(87), 1, - sym_expr, - ACTIONS(39), 2, - anon_sym_u25a1, - anon_sym_LBRACK_RBRACK, - STATE(27), 2, - sym_term, - aux_sym_app_repeat1, - STATE(52), 4, - sym_labs, - sym_pabs, - sym_let, - sym_app, - [1140] = 17, - ACTIONS(3), 1, - sym_comment, - ACTIONS(31), 1, - anon_sym_let, - ACTIONS(33), 1, - sym_identifier, - ACTIONS(35), 1, - anon_sym_LPAREN, - ACTIONS(37), 1, - sym_star, - ACTIONS(41), 1, - anon_sym_u03bb, - ACTIONS(43), 1, - anon_sym_fun, - ACTIONS(45), 1, - anon_sym_u220f, - ACTIONS(47), 1, - anon_sym_forall, - STATE(29), 1, - sym_square, - STATE(33), 1, - sym_sort, - STATE(49), 1, - sym_arrow, - STATE(53), 1, - sym_app_term, - STATE(122), 1, - sym_expr, - ACTIONS(39), 2, - anon_sym_u25a1, - anon_sym_LBRACK_RBRACK, - STATE(27), 2, - sym_term, - aux_sym_app_repeat1, - STATE(52), 4, - sym_labs, - sym_pabs, - sym_let, - sym_app, - [1197] = 17, - ACTIONS(3), 1, - sym_comment, - ACTIONS(31), 1, - anon_sym_let, - ACTIONS(33), 1, - sym_identifier, - ACTIONS(35), 1, - anon_sym_LPAREN, - ACTIONS(37), 1, - sym_star, - ACTIONS(41), 1, - anon_sym_u03bb, - ACTIONS(43), 1, - anon_sym_fun, - ACTIONS(45), 1, - anon_sym_u220f, - ACTIONS(47), 1, - anon_sym_forall, - STATE(29), 1, - sym_square, - STATE(33), 1, - sym_sort, - STATE(49), 1, - sym_arrow, - STATE(53), 1, - sym_app_term, - STATE(123), 1, - sym_expr, - ACTIONS(39), 2, - anon_sym_u25a1, - anon_sym_LBRACK_RBRACK, - STATE(27), 2, - sym_term, - aux_sym_app_repeat1, - STATE(52), 4, - sym_labs, - sym_pabs, - sym_let, - sym_app, - [1254] = 17, - ACTIONS(3), 1, - sym_comment, - ACTIONS(31), 1, - anon_sym_let, - ACTIONS(33), 1, - sym_identifier, - ACTIONS(35), 1, - anon_sym_LPAREN, - ACTIONS(37), 1, - sym_star, - ACTIONS(41), 1, - anon_sym_u03bb, - ACTIONS(43), 1, - anon_sym_fun, - ACTIONS(45), 1, - anon_sym_u220f, - ACTIONS(47), 1, - anon_sym_forall, - STATE(29), 1, - sym_square, - STATE(33), 1, - sym_sort, - STATE(49), 1, - sym_arrow, - STATE(53), 1, - sym_app_term, - STATE(148), 1, - sym_expr, - ACTIONS(39), 2, - anon_sym_u25a1, - anon_sym_LBRACK_RBRACK, - STATE(27), 2, - sym_term, - aux_sym_app_repeat1, - STATE(52), 4, - sym_labs, - sym_pabs, - sym_let, - sym_app, - [1311] = 17, - ACTIONS(3), 1, - sym_comment, - ACTIONS(31), 1, - anon_sym_let, - ACTIONS(33), 1, - sym_identifier, - ACTIONS(35), 1, - anon_sym_LPAREN, - ACTIONS(37), 1, - sym_star, - ACTIONS(41), 1, - anon_sym_u03bb, - ACTIONS(43), 1, - anon_sym_fun, - ACTIONS(45), 1, - anon_sym_u220f, - ACTIONS(47), 1, - anon_sym_forall, - STATE(29), 1, - sym_square, - STATE(33), 1, - sym_sort, - STATE(49), 1, - sym_arrow, - STATE(53), 1, - sym_app_term, - STATE(129), 1, - sym_expr, - ACTIONS(39), 2, - anon_sym_u25a1, - anon_sym_LBRACK_RBRACK, - STATE(27), 2, - sym_term, - aux_sym_app_repeat1, - STATE(52), 4, - sym_labs, - sym_pabs, - sym_let, - sym_app, - [1368] = 9, - ACTIONS(3), 1, - sym_comment, - ACTIONS(49), 1, - sym_identifier, - ACTIONS(54), 1, - anon_sym_LPAREN, - ACTIONS(57), 1, - sym_star, - STATE(29), 1, - sym_square, - STATE(33), 1, - sym_sort, - ACTIONS(60), 2, - anon_sym_u25a1, - anon_sym_LBRACK_RBRACK, - STATE(26), 2, - sym_term, - aux_sym_app_repeat1, - ACTIONS(52), 8, - anon_sym_SEMI, - anon_sym_RPAREN, - anon_sym_EQ_GT, - anon_sym_u21d2, - anon_sym_COMMA, - anon_sym_COLON_EQ, - anon_sym_DASH_GT, - anon_sym_u2192, - [1405] = 9, - ACTIONS(3), 1, - sym_comment, - ACTIONS(35), 1, - anon_sym_LPAREN, - ACTIONS(37), 1, - sym_star, - ACTIONS(63), 1, - sym_identifier, - STATE(29), 1, - sym_square, - STATE(33), 1, - sym_sort, - ACTIONS(39), 2, - anon_sym_u25a1, - anon_sym_LBRACK_RBRACK, - STATE(26), 2, - sym_term, - aux_sym_app_repeat1, - ACTIONS(65), 8, - anon_sym_SEMI, - anon_sym_RPAREN, - anon_sym_EQ_GT, - anon_sym_u21d2, - anon_sym_COMMA, - anon_sym_COLON_EQ, - anon_sym_DASH_GT, - anon_sym_u2192, - [1442] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(67), 14, - sym_identifier, - anon_sym_SEMI, - anon_sym_LPAREN, - anon_sym_RPAREN, - sym_star, - anon_sym_u25a1, - anon_sym_LBRACK_RBRACK, - aux_sym_sort_token1, - anon_sym_EQ_GT, - anon_sym_u21d2, - anon_sym_COMMA, - anon_sym_COLON_EQ, - anon_sym_DASH_GT, - anon_sym_u2192, - [1462] = 3, - ACTIONS(3), 1, - sym_comment, - ACTIONS(71), 1, - aux_sym_sort_token1, - ACTIONS(69), 13, - sym_identifier, - anon_sym_SEMI, - anon_sym_LPAREN, - anon_sym_RPAREN, - sym_star, - anon_sym_u25a1, - anon_sym_LBRACK_RBRACK, - anon_sym_EQ_GT, - anon_sym_u21d2, - anon_sym_COMMA, - anon_sym_COLON_EQ, - anon_sym_DASH_GT, - anon_sym_u2192, - [1484] = 8, - ACTIONS(3), 1, - sym_comment, - ACTIONS(73), 1, - anon_sym_section, - ACTIONS(77), 1, - anon_sym_axiom, - ACTIONS(79), 1, - anon_sym_def, - ACTIONS(81), 1, - sym_command, STATE(134), 1, - sym_program, - ACTIONS(75), 2, - anon_sym_variable, - anon_sym_hypothesis, - STATE(34), 6, - sym_section, - sym_variable, - sym_axiom, - sym_definition, - sym_preprocess, - aux_sym_program_repeat1, - [1515] = 8, - ACTIONS(3), 1, - sym_comment, - ACTIONS(83), 1, - ts_builtin_sym_end, - ACTIONS(85), 1, - anon_sym_section, - ACTIONS(91), 1, - anon_sym_axiom, - ACTIONS(94), 1, - anon_sym_def, - ACTIONS(97), 1, - sym_command, - ACTIONS(88), 2, - anon_sym_variable, - anon_sym_hypothesis, - STATE(31), 6, - sym_section, - sym_variable, - sym_axiom, - sym_definition, - sym_preprocess, - aux_sym_program_repeat1, - [1546] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(100), 13, - sym_identifier, - anon_sym_SEMI, - anon_sym_LPAREN, - anon_sym_RPAREN, - sym_star, + sym_app_term, + STATE(217), 1, + sym_expr, + ACTIONS(23), 2, anon_sym_u25a1, anon_sym_LBRACK_RBRACK, - anon_sym_EQ_GT, - anon_sym_u21d2, - anon_sym_COMMA, - anon_sym_COLON_EQ, - anon_sym_DASH_GT, - anon_sym_u2192, - [1565] = 2, + STATE(48), 2, + sym_term, + aux_sym_app_repeat1, + STATE(101), 4, + sym_labs, + sym_pabs, + sym_binex, + sym_let, + [60] = 18, ACTIONS(3), 1, sym_comment, - ACTIONS(102), 13, + ACTIONS(17), 1, sym_identifier, - anon_sym_SEMI, + ACTIONS(19), 1, anon_sym_LPAREN, - anon_sym_RPAREN, + ACTIONS(21), 1, sym_star, + ACTIONS(25), 1, + anon_sym_u03bb, + ACTIONS(27), 1, + anon_sym_fun, + ACTIONS(29), 1, + anon_sym_u220f, + ACTIONS(31), 1, + anon_sym_forall, + ACTIONS(33), 1, + anon_sym_let, + STATE(56), 1, + sym_square, + STATE(62), 1, + sym_sort, + STATE(103), 1, + sym_arrow, + STATE(127), 1, + sym_app, + STATE(128), 1, + sym_expr, + STATE(134), 1, + sym_app_term, + ACTIONS(23), 2, anon_sym_u25a1, anon_sym_LBRACK_RBRACK, - anon_sym_EQ_GT, - anon_sym_u21d2, - anon_sym_COMMA, - anon_sym_COLON_EQ, - anon_sym_DASH_GT, - anon_sym_u2192, - [1584] = 8, + STATE(48), 2, + sym_term, + aux_sym_app_repeat1, + STATE(101), 4, + sym_labs, + sym_pabs, + sym_binex, + sym_let, + [120] = 18, ACTIONS(3), 1, sym_comment, - ACTIONS(73), 1, - anon_sym_section, + ACTIONS(17), 1, + sym_identifier, + ACTIONS(19), 1, + anon_sym_LPAREN, + ACTIONS(21), 1, + sym_star, + ACTIONS(25), 1, + anon_sym_u03bb, + ACTIONS(27), 1, + anon_sym_fun, + ACTIONS(29), 1, + anon_sym_u220f, + ACTIONS(31), 1, + anon_sym_forall, + ACTIONS(33), 1, + anon_sym_let, + STATE(56), 1, + sym_square, + STATE(62), 1, + sym_sort, + STATE(103), 1, + sym_arrow, + STATE(127), 1, + sym_app, + STATE(134), 1, + sym_app_term, + STATE(211), 1, + sym_expr, + ACTIONS(23), 2, + anon_sym_u25a1, + anon_sym_LBRACK_RBRACK, + STATE(48), 2, + sym_term, + aux_sym_app_repeat1, + STATE(101), 4, + sym_labs, + sym_pabs, + sym_binex, + sym_let, + [180] = 18, + ACTIONS(3), 1, + sym_comment, + ACTIONS(17), 1, + sym_identifier, + ACTIONS(19), 1, + anon_sym_LPAREN, + ACTIONS(21), 1, + sym_star, + ACTIONS(25), 1, + anon_sym_u03bb, + ACTIONS(27), 1, + anon_sym_fun, + ACTIONS(29), 1, + anon_sym_u220f, + ACTIONS(31), 1, + anon_sym_forall, + ACTIONS(33), 1, + anon_sym_let, + STATE(56), 1, + sym_square, + STATE(62), 1, + sym_sort, + STATE(103), 1, + sym_arrow, + STATE(127), 1, + sym_app, + STATE(134), 1, + sym_app_term, + STATE(176), 1, + sym_expr, + ACTIONS(23), 2, + anon_sym_u25a1, + anon_sym_LBRACK_RBRACK, + STATE(48), 2, + sym_term, + aux_sym_app_repeat1, + STATE(101), 4, + sym_labs, + sym_pabs, + sym_binex, + sym_let, + [240] = 18, + ACTIONS(3), 1, + sym_comment, + ACTIONS(17), 1, + sym_identifier, + ACTIONS(19), 1, + anon_sym_LPAREN, + ACTIONS(21), 1, + sym_star, + ACTIONS(25), 1, + anon_sym_u03bb, + ACTIONS(27), 1, + anon_sym_fun, + ACTIONS(29), 1, + anon_sym_u220f, + ACTIONS(31), 1, + anon_sym_forall, + ACTIONS(33), 1, + anon_sym_let, + STATE(56), 1, + sym_square, + STATE(62), 1, + sym_sort, + STATE(103), 1, + sym_arrow, + STATE(127), 1, + sym_app, + STATE(134), 1, + sym_app_term, + STATE(186), 1, + sym_expr, + ACTIONS(23), 2, + anon_sym_u25a1, + anon_sym_LBRACK_RBRACK, + STATE(48), 2, + sym_term, + aux_sym_app_repeat1, + STATE(101), 4, + sym_labs, + sym_pabs, + sym_binex, + sym_let, + [300] = 18, + ACTIONS(3), 1, + sym_comment, + ACTIONS(17), 1, + sym_identifier, + ACTIONS(19), 1, + anon_sym_LPAREN, + ACTIONS(21), 1, + sym_star, + ACTIONS(25), 1, + anon_sym_u03bb, + ACTIONS(27), 1, + anon_sym_fun, + ACTIONS(29), 1, + anon_sym_u220f, + ACTIONS(31), 1, + anon_sym_forall, + ACTIONS(33), 1, + anon_sym_let, + STATE(56), 1, + sym_square, + STATE(62), 1, + sym_sort, + STATE(103), 1, + sym_arrow, + STATE(127), 1, + sym_app, + STATE(134), 1, + sym_app_term, + STATE(196), 1, + sym_expr, + ACTIONS(23), 2, + anon_sym_u25a1, + anon_sym_LBRACK_RBRACK, + STATE(48), 2, + sym_term, + aux_sym_app_repeat1, + STATE(101), 4, + sym_labs, + sym_pabs, + sym_binex, + sym_let, + [360] = 18, + ACTIONS(3), 1, + sym_comment, + ACTIONS(17), 1, + sym_identifier, + ACTIONS(19), 1, + anon_sym_LPAREN, + ACTIONS(21), 1, + sym_star, + ACTIONS(25), 1, + anon_sym_u03bb, + ACTIONS(27), 1, + anon_sym_fun, + ACTIONS(29), 1, + anon_sym_u220f, + ACTIONS(31), 1, + anon_sym_forall, + ACTIONS(33), 1, + anon_sym_let, + STATE(56), 1, + sym_square, + STATE(62), 1, + sym_sort, + STATE(103), 1, + sym_arrow, + STATE(127), 1, + sym_app, + STATE(134), 1, + sym_app_term, + STATE(201), 1, + sym_expr, + ACTIONS(23), 2, + anon_sym_u25a1, + anon_sym_LBRACK_RBRACK, + STATE(48), 2, + sym_term, + aux_sym_app_repeat1, + STATE(101), 4, + sym_labs, + sym_pabs, + sym_binex, + sym_let, + [420] = 18, + ACTIONS(3), 1, + sym_comment, + ACTIONS(17), 1, + sym_identifier, + ACTIONS(19), 1, + anon_sym_LPAREN, + ACTIONS(21), 1, + sym_star, + ACTIONS(25), 1, + anon_sym_u03bb, + ACTIONS(27), 1, + anon_sym_fun, + ACTIONS(29), 1, + anon_sym_u220f, + ACTIONS(31), 1, + anon_sym_forall, + ACTIONS(33), 1, + anon_sym_let, + STATE(56), 1, + sym_square, + STATE(62), 1, + sym_sort, + STATE(97), 1, + sym_expr, + STATE(103), 1, + sym_arrow, + STATE(127), 1, + sym_app, + STATE(134), 1, + sym_app_term, + ACTIONS(23), 2, + anon_sym_u25a1, + anon_sym_LBRACK_RBRACK, + STATE(48), 2, + sym_term, + aux_sym_app_repeat1, + STATE(101), 4, + sym_labs, + sym_pabs, + sym_binex, + sym_let, + [480] = 18, + ACTIONS(3), 1, + sym_comment, + ACTIONS(17), 1, + sym_identifier, + ACTIONS(19), 1, + anon_sym_LPAREN, + ACTIONS(21), 1, + sym_star, + ACTIONS(25), 1, + anon_sym_u03bb, + ACTIONS(27), 1, + anon_sym_fun, + ACTIONS(29), 1, + anon_sym_u220f, + ACTIONS(31), 1, + anon_sym_forall, + ACTIONS(33), 1, + anon_sym_let, + STATE(56), 1, + sym_square, + STATE(62), 1, + sym_sort, + STATE(103), 1, + sym_arrow, + STATE(127), 1, + sym_app, + STATE(134), 1, + sym_app_term, + STATE(208), 1, + sym_expr, + ACTIONS(23), 2, + anon_sym_u25a1, + anon_sym_LBRACK_RBRACK, + STATE(48), 2, + sym_term, + aux_sym_app_repeat1, + STATE(101), 4, + sym_labs, + sym_pabs, + sym_binex, + sym_let, + [540] = 18, + ACTIONS(3), 1, + sym_comment, + ACTIONS(17), 1, + sym_identifier, + ACTIONS(19), 1, + anon_sym_LPAREN, + ACTIONS(21), 1, + sym_star, + ACTIONS(25), 1, + anon_sym_u03bb, + ACTIONS(27), 1, + anon_sym_fun, + ACTIONS(29), 1, + anon_sym_u220f, + ACTIONS(31), 1, + anon_sym_forall, + ACTIONS(33), 1, + anon_sym_let, + STATE(56), 1, + sym_square, + STATE(62), 1, + sym_sort, + STATE(100), 1, + sym_expr, + STATE(103), 1, + sym_arrow, + STATE(127), 1, + sym_app, + STATE(134), 1, + sym_app_term, + ACTIONS(23), 2, + anon_sym_u25a1, + anon_sym_LBRACK_RBRACK, + STATE(48), 2, + sym_term, + aux_sym_app_repeat1, + STATE(101), 4, + sym_labs, + sym_pabs, + sym_binex, + sym_let, + [600] = 18, + ACTIONS(3), 1, + sym_comment, + ACTIONS(17), 1, + sym_identifier, + ACTIONS(19), 1, + anon_sym_LPAREN, + ACTIONS(21), 1, + sym_star, + ACTIONS(25), 1, + anon_sym_u03bb, + ACTIONS(27), 1, + anon_sym_fun, + ACTIONS(29), 1, + anon_sym_u220f, + ACTIONS(31), 1, + anon_sym_forall, + ACTIONS(33), 1, + anon_sym_let, + STATE(56), 1, + sym_square, + STATE(62), 1, + sym_sort, + STATE(103), 1, + sym_arrow, + STATE(105), 1, + sym_expr, + STATE(127), 1, + sym_app, + STATE(134), 1, + sym_app_term, + ACTIONS(23), 2, + anon_sym_u25a1, + anon_sym_LBRACK_RBRACK, + STATE(48), 2, + sym_term, + aux_sym_app_repeat1, + STATE(101), 4, + sym_labs, + sym_pabs, + sym_binex, + sym_let, + [660] = 18, + ACTIONS(3), 1, + sym_comment, + ACTIONS(33), 1, + anon_sym_let, + ACTIONS(35), 1, + sym_identifier, + ACTIONS(37), 1, + anon_sym_LPAREN, + ACTIONS(39), 1, + sym_star, + ACTIONS(43), 1, + anon_sym_u03bb, + ACTIONS(45), 1, + anon_sym_fun, + ACTIONS(47), 1, + anon_sym_u220f, + ACTIONS(49), 1, + anon_sym_forall, + STATE(90), 1, + sym_square, + STATE(103), 1, + sym_arrow, + STATE(106), 1, + sym_sort, + STATE(146), 1, + sym_app, + STATE(165), 1, + sym_app_term, + STATE(202), 1, + sym_expr, + ACTIONS(41), 2, + anon_sym_u25a1, + anon_sym_LBRACK_RBRACK, + STATE(52), 2, + sym_term, + aux_sym_app_repeat1, + STATE(101), 4, + sym_labs, + sym_pabs, + sym_binex, + sym_let, + [720] = 18, + ACTIONS(3), 1, + sym_comment, + ACTIONS(17), 1, + sym_identifier, + ACTIONS(19), 1, + anon_sym_LPAREN, + ACTIONS(21), 1, + sym_star, + ACTIONS(25), 1, + anon_sym_u03bb, + ACTIONS(27), 1, + anon_sym_fun, + ACTIONS(29), 1, + anon_sym_u220f, + ACTIONS(31), 1, + anon_sym_forall, + ACTIONS(33), 1, + anon_sym_let, + STATE(56), 1, + sym_square, + STATE(62), 1, + sym_sort, + STATE(94), 1, + sym_expr, + STATE(103), 1, + sym_arrow, + STATE(127), 1, + sym_app, + STATE(134), 1, + sym_app_term, + ACTIONS(23), 2, + anon_sym_u25a1, + anon_sym_LBRACK_RBRACK, + STATE(48), 2, + sym_term, + aux_sym_app_repeat1, + STATE(101), 4, + sym_labs, + sym_pabs, + sym_binex, + sym_let, + [780] = 18, + ACTIONS(3), 1, + sym_comment, + ACTIONS(17), 1, + sym_identifier, + ACTIONS(19), 1, + anon_sym_LPAREN, + ACTIONS(21), 1, + sym_star, + ACTIONS(25), 1, + anon_sym_u03bb, + ACTIONS(27), 1, + anon_sym_fun, + ACTIONS(29), 1, + anon_sym_u220f, + ACTIONS(31), 1, + anon_sym_forall, + ACTIONS(33), 1, + anon_sym_let, + STATE(56), 1, + sym_square, + STATE(62), 1, + sym_sort, + STATE(95), 1, + sym_expr, + STATE(103), 1, + sym_arrow, + STATE(127), 1, + sym_app, + STATE(134), 1, + sym_app_term, + ACTIONS(23), 2, + anon_sym_u25a1, + anon_sym_LBRACK_RBRACK, + STATE(48), 2, + sym_term, + aux_sym_app_repeat1, + STATE(101), 4, + sym_labs, + sym_pabs, + sym_binex, + sym_let, + [840] = 18, + ACTIONS(3), 1, + sym_comment, + ACTIONS(17), 1, + sym_identifier, + ACTIONS(19), 1, + anon_sym_LPAREN, + ACTIONS(21), 1, + sym_star, + ACTIONS(25), 1, + anon_sym_u03bb, + ACTIONS(27), 1, + anon_sym_fun, + ACTIONS(29), 1, + anon_sym_u220f, + ACTIONS(31), 1, + anon_sym_forall, + ACTIONS(33), 1, + anon_sym_let, + STATE(56), 1, + sym_square, + STATE(62), 1, + sym_sort, + STATE(103), 1, + sym_arrow, + STATE(127), 1, + sym_app, + STATE(134), 1, + sym_app_term, + STATE(197), 1, + sym_expr, + ACTIONS(23), 2, + anon_sym_u25a1, + anon_sym_LBRACK_RBRACK, + STATE(48), 2, + sym_term, + aux_sym_app_repeat1, + STATE(101), 4, + sym_labs, + sym_pabs, + sym_binex, + sym_let, + [900] = 18, + ACTIONS(3), 1, + sym_comment, + ACTIONS(17), 1, + sym_identifier, + ACTIONS(19), 1, + anon_sym_LPAREN, + ACTIONS(21), 1, + sym_star, + ACTIONS(25), 1, + anon_sym_u03bb, + ACTIONS(27), 1, + anon_sym_fun, + ACTIONS(29), 1, + anon_sym_u220f, + ACTIONS(31), 1, + anon_sym_forall, + ACTIONS(33), 1, + anon_sym_let, + STATE(56), 1, + sym_square, + STATE(62), 1, + sym_sort, + STATE(103), 1, + sym_arrow, + STATE(127), 1, + sym_app, + STATE(134), 1, + sym_app_term, + STATE(193), 1, + sym_expr, + ACTIONS(23), 2, + anon_sym_u25a1, + anon_sym_LBRACK_RBRACK, + STATE(48), 2, + sym_term, + aux_sym_app_repeat1, + STATE(101), 4, + sym_labs, + sym_pabs, + sym_binex, + sym_let, + [960] = 18, + ACTIONS(3), 1, + sym_comment, + ACTIONS(17), 1, + sym_identifier, + ACTIONS(19), 1, + anon_sym_LPAREN, + ACTIONS(21), 1, + sym_star, + ACTIONS(25), 1, + anon_sym_u03bb, + ACTIONS(27), 1, + anon_sym_fun, + ACTIONS(29), 1, + anon_sym_u220f, + ACTIONS(31), 1, + anon_sym_forall, + ACTIONS(33), 1, + anon_sym_let, + STATE(56), 1, + sym_square, + STATE(62), 1, + sym_sort, + STATE(103), 1, + sym_arrow, + STATE(127), 1, + sym_app, + STATE(134), 1, + sym_app_term, + STATE(187), 1, + sym_expr, + ACTIONS(23), 2, + anon_sym_u25a1, + anon_sym_LBRACK_RBRACK, + STATE(48), 2, + sym_term, + aux_sym_app_repeat1, + STATE(101), 4, + sym_labs, + sym_pabs, + sym_binex, + sym_let, + [1020] = 18, + ACTIONS(3), 1, + sym_comment, + ACTIONS(33), 1, + anon_sym_let, + ACTIONS(51), 1, + sym_identifier, + ACTIONS(53), 1, + anon_sym_LPAREN, + ACTIONS(55), 1, + sym_star, + ACTIONS(59), 1, + anon_sym_u03bb, + ACTIONS(61), 1, + anon_sym_fun, + ACTIONS(63), 1, + anon_sym_u220f, + ACTIONS(65), 1, + anon_sym_forall, + STATE(61), 1, + sym_square, + STATE(76), 1, + sym_sort, + STATE(97), 1, + sym_expr, + STATE(103), 1, + sym_arrow, + STATE(133), 1, + sym_app, + STATE(138), 1, + sym_app_term, + ACTIONS(57), 2, + anon_sym_u25a1, + anon_sym_LBRACK_RBRACK, + STATE(49), 2, + sym_term, + aux_sym_app_repeat1, + STATE(101), 4, + sym_labs, + sym_pabs, + sym_binex, + sym_let, + [1080] = 18, + ACTIONS(3), 1, + sym_comment, + ACTIONS(33), 1, + anon_sym_let, + ACTIONS(51), 1, + sym_identifier, + ACTIONS(53), 1, + anon_sym_LPAREN, + ACTIONS(55), 1, + sym_star, + ACTIONS(59), 1, + anon_sym_u03bb, + ACTIONS(61), 1, + anon_sym_fun, + ACTIONS(63), 1, + anon_sym_u220f, + ACTIONS(65), 1, + anon_sym_forall, + STATE(61), 1, + sym_square, + STATE(76), 1, + sym_sort, + STATE(100), 1, + sym_expr, + STATE(103), 1, + sym_arrow, + STATE(133), 1, + sym_app, + STATE(138), 1, + sym_app_term, + ACTIONS(57), 2, + anon_sym_u25a1, + anon_sym_LBRACK_RBRACK, + STATE(49), 2, + sym_term, + aux_sym_app_repeat1, + STATE(101), 4, + sym_labs, + sym_pabs, + sym_binex, + sym_let, + [1140] = 18, + ACTIONS(3), 1, + sym_comment, + ACTIONS(33), 1, + anon_sym_let, + ACTIONS(51), 1, + sym_identifier, + ACTIONS(53), 1, + anon_sym_LPAREN, + ACTIONS(55), 1, + sym_star, + ACTIONS(59), 1, + anon_sym_u03bb, + ACTIONS(61), 1, + anon_sym_fun, + ACTIONS(63), 1, + anon_sym_u220f, + ACTIONS(65), 1, + anon_sym_forall, + STATE(61), 1, + sym_square, + STATE(76), 1, + sym_sort, + STATE(103), 1, + sym_arrow, + STATE(105), 1, + sym_expr, + STATE(133), 1, + sym_app, + STATE(138), 1, + sym_app_term, + ACTIONS(57), 2, + anon_sym_u25a1, + anon_sym_LBRACK_RBRACK, + STATE(49), 2, + sym_term, + aux_sym_app_repeat1, + STATE(101), 4, + sym_labs, + sym_pabs, + sym_binex, + sym_let, + [1200] = 18, + ACTIONS(3), 1, + sym_comment, + ACTIONS(33), 1, + anon_sym_let, + ACTIONS(51), 1, + sym_identifier, + ACTIONS(53), 1, + anon_sym_LPAREN, + ACTIONS(55), 1, + sym_star, + ACTIONS(59), 1, + anon_sym_u03bb, + ACTIONS(61), 1, + anon_sym_fun, + ACTIONS(63), 1, + anon_sym_u220f, + ACTIONS(65), 1, + anon_sym_forall, + STATE(61), 1, + sym_square, + STATE(76), 1, + sym_sort, + STATE(94), 1, + sym_expr, + STATE(103), 1, + sym_arrow, + STATE(133), 1, + sym_app, + STATE(138), 1, + sym_app_term, + ACTIONS(57), 2, + anon_sym_u25a1, + anon_sym_LBRACK_RBRACK, + STATE(49), 2, + sym_term, + aux_sym_app_repeat1, + STATE(101), 4, + sym_labs, + sym_pabs, + sym_binex, + sym_let, + [1260] = 18, + ACTIONS(3), 1, + sym_comment, + ACTIONS(33), 1, + anon_sym_let, + ACTIONS(51), 1, + sym_identifier, + ACTIONS(53), 1, + anon_sym_LPAREN, + ACTIONS(55), 1, + sym_star, + ACTIONS(59), 1, + anon_sym_u03bb, + ACTIONS(61), 1, + anon_sym_fun, + ACTIONS(63), 1, + anon_sym_u220f, + ACTIONS(65), 1, + anon_sym_forall, + STATE(61), 1, + sym_square, + STATE(76), 1, + sym_sort, + STATE(95), 1, + sym_expr, + STATE(103), 1, + sym_arrow, + STATE(133), 1, + sym_app, + STATE(138), 1, + sym_app_term, + ACTIONS(57), 2, + anon_sym_u25a1, + anon_sym_LBRACK_RBRACK, + STATE(49), 2, + sym_term, + aux_sym_app_repeat1, + STATE(101), 4, + sym_labs, + sym_pabs, + sym_binex, + sym_let, + [1320] = 18, + ACTIONS(3), 1, + sym_comment, + ACTIONS(33), 1, + anon_sym_let, + ACTIONS(67), 1, + sym_identifier, + ACTIONS(69), 1, + anon_sym_LPAREN, + ACTIONS(71), 1, + sym_star, + ACTIONS(75), 1, + anon_sym_u03bb, ACTIONS(77), 1, - anon_sym_axiom, + anon_sym_fun, ACTIONS(79), 1, - anon_sym_def, + anon_sym_u220f, ACTIONS(81), 1, - sym_command, - ACTIONS(104), 1, - anon_sym_end, - ACTIONS(75), 2, - anon_sym_variable, - anon_sym_hypothesis, - STATE(37), 6, - sym_section, - sym_variable, - sym_axiom, - sym_definition, - sym_preprocess, - aux_sym_program_repeat1, - [1615] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(69), 13, - sym_identifier, - anon_sym_SEMI, - anon_sym_LPAREN, - anon_sym_RPAREN, - sym_star, + anon_sym_forall, + STATE(87), 1, + sym_square, + STATE(97), 1, + sym_expr, + STATE(98), 1, + sym_sort, + STATE(103), 1, + sym_arrow, + STATE(149), 1, + sym_app, + STATE(162), 1, + sym_app_term, + ACTIONS(73), 2, anon_sym_u25a1, anon_sym_LBRACK_RBRACK, - anon_sym_EQ_GT, - anon_sym_u21d2, - anon_sym_COMMA, - anon_sym_COLON_EQ, - anon_sym_DASH_GT, - anon_sym_u2192, - [1634] = 8, + STATE(54), 2, + sym_term, + aux_sym_app_repeat1, + STATE(101), 4, + sym_labs, + sym_pabs, + sym_binex, + sym_let, + [1380] = 18, + ACTIONS(3), 1, + sym_comment, + ACTIONS(33), 1, + anon_sym_let, + ACTIONS(67), 1, + sym_identifier, + ACTIONS(69), 1, + anon_sym_LPAREN, + ACTIONS(71), 1, + sym_star, + ACTIONS(75), 1, + anon_sym_u03bb, + ACTIONS(77), 1, + anon_sym_fun, + ACTIONS(79), 1, + anon_sym_u220f, + ACTIONS(81), 1, + anon_sym_forall, + STATE(87), 1, + sym_square, + STATE(98), 1, + sym_sort, + STATE(100), 1, + sym_expr, + STATE(103), 1, + sym_arrow, + STATE(149), 1, + sym_app, + STATE(162), 1, + sym_app_term, + ACTIONS(73), 2, + anon_sym_u25a1, + anon_sym_LBRACK_RBRACK, + STATE(54), 2, + sym_term, + aux_sym_app_repeat1, + STATE(101), 4, + sym_labs, + sym_pabs, + sym_binex, + sym_let, + [1440] = 18, + ACTIONS(3), 1, + sym_comment, + ACTIONS(33), 1, + anon_sym_let, + ACTIONS(67), 1, + sym_identifier, + ACTIONS(69), 1, + anon_sym_LPAREN, + ACTIONS(71), 1, + sym_star, + ACTIONS(75), 1, + anon_sym_u03bb, + ACTIONS(77), 1, + anon_sym_fun, + ACTIONS(79), 1, + anon_sym_u220f, + ACTIONS(81), 1, + anon_sym_forall, + STATE(87), 1, + sym_square, + STATE(98), 1, + sym_sort, + STATE(103), 1, + sym_arrow, + STATE(105), 1, + sym_expr, + STATE(149), 1, + sym_app, + STATE(162), 1, + sym_app_term, + ACTIONS(73), 2, + anon_sym_u25a1, + anon_sym_LBRACK_RBRACK, + STATE(54), 2, + sym_term, + aux_sym_app_repeat1, + STATE(101), 4, + sym_labs, + sym_pabs, + sym_binex, + sym_let, + [1500] = 18, + ACTIONS(3), 1, + sym_comment, + ACTIONS(33), 1, + anon_sym_let, + ACTIONS(67), 1, + sym_identifier, + ACTIONS(69), 1, + anon_sym_LPAREN, + ACTIONS(71), 1, + sym_star, + ACTIONS(75), 1, + anon_sym_u03bb, + ACTIONS(77), 1, + anon_sym_fun, + ACTIONS(79), 1, + anon_sym_u220f, + ACTIONS(81), 1, + anon_sym_forall, + STATE(87), 1, + sym_square, + STATE(94), 1, + sym_expr, + STATE(98), 1, + sym_sort, + STATE(103), 1, + sym_arrow, + STATE(149), 1, + sym_app, + STATE(162), 1, + sym_app_term, + ACTIONS(73), 2, + anon_sym_u25a1, + anon_sym_LBRACK_RBRACK, + STATE(54), 2, + sym_term, + aux_sym_app_repeat1, + STATE(101), 4, + sym_labs, + sym_pabs, + sym_binex, + sym_let, + [1560] = 18, + ACTIONS(3), 1, + sym_comment, + ACTIONS(33), 1, + anon_sym_let, + ACTIONS(67), 1, + sym_identifier, + ACTIONS(69), 1, + anon_sym_LPAREN, + ACTIONS(71), 1, + sym_star, + ACTIONS(75), 1, + anon_sym_u03bb, + ACTIONS(77), 1, + anon_sym_fun, + ACTIONS(79), 1, + anon_sym_u220f, + ACTIONS(81), 1, + anon_sym_forall, + STATE(87), 1, + sym_square, + STATE(95), 1, + sym_expr, + STATE(98), 1, + sym_sort, + STATE(103), 1, + sym_arrow, + STATE(149), 1, + sym_app, + STATE(162), 1, + sym_app_term, + ACTIONS(73), 2, + anon_sym_u25a1, + anon_sym_LBRACK_RBRACK, + STATE(54), 2, + sym_term, + aux_sym_app_repeat1, + STATE(101), 4, + sym_labs, + sym_pabs, + sym_binex, + sym_let, + [1620] = 18, + ACTIONS(3), 1, + sym_comment, + ACTIONS(33), 1, + anon_sym_let, + ACTIONS(35), 1, + sym_identifier, + ACTIONS(37), 1, + anon_sym_LPAREN, + ACTIONS(39), 1, + sym_star, + ACTIONS(43), 1, + anon_sym_u03bb, + ACTIONS(45), 1, + anon_sym_fun, + ACTIONS(47), 1, + anon_sym_u220f, + ACTIONS(49), 1, + anon_sym_forall, + STATE(90), 1, + sym_square, + STATE(97), 1, + sym_expr, + STATE(103), 1, + sym_arrow, + STATE(106), 1, + sym_sort, + STATE(146), 1, + sym_app, + STATE(165), 1, + sym_app_term, + ACTIONS(41), 2, + anon_sym_u25a1, + anon_sym_LBRACK_RBRACK, + STATE(52), 2, + sym_term, + aux_sym_app_repeat1, + STATE(101), 4, + sym_labs, + sym_pabs, + sym_binex, + sym_let, + [1680] = 18, + ACTIONS(3), 1, + sym_comment, + ACTIONS(33), 1, + anon_sym_let, + ACTIONS(35), 1, + sym_identifier, + ACTIONS(37), 1, + anon_sym_LPAREN, + ACTIONS(39), 1, + sym_star, + ACTIONS(43), 1, + anon_sym_u03bb, + ACTIONS(45), 1, + anon_sym_fun, + ACTIONS(47), 1, + anon_sym_u220f, + ACTIONS(49), 1, + anon_sym_forall, + STATE(90), 1, + sym_square, + STATE(100), 1, + sym_expr, + STATE(103), 1, + sym_arrow, + STATE(106), 1, + sym_sort, + STATE(146), 1, + sym_app, + STATE(165), 1, + sym_app_term, + ACTIONS(41), 2, + anon_sym_u25a1, + anon_sym_LBRACK_RBRACK, + STATE(52), 2, + sym_term, + aux_sym_app_repeat1, + STATE(101), 4, + sym_labs, + sym_pabs, + sym_binex, + sym_let, + [1740] = 18, + ACTIONS(3), 1, + sym_comment, + ACTIONS(33), 1, + anon_sym_let, + ACTIONS(35), 1, + sym_identifier, + ACTIONS(37), 1, + anon_sym_LPAREN, + ACTIONS(39), 1, + sym_star, + ACTIONS(43), 1, + anon_sym_u03bb, + ACTIONS(45), 1, + anon_sym_fun, + ACTIONS(47), 1, + anon_sym_u220f, + ACTIONS(49), 1, + anon_sym_forall, + STATE(90), 1, + sym_square, + STATE(103), 1, + sym_arrow, + STATE(105), 1, + sym_expr, + STATE(106), 1, + sym_sort, + STATE(146), 1, + sym_app, + STATE(165), 1, + sym_app_term, + ACTIONS(41), 2, + anon_sym_u25a1, + anon_sym_LBRACK_RBRACK, + STATE(52), 2, + sym_term, + aux_sym_app_repeat1, + STATE(101), 4, + sym_labs, + sym_pabs, + sym_binex, + sym_let, + [1800] = 18, + ACTIONS(3), 1, + sym_comment, + ACTIONS(33), 1, + anon_sym_let, + ACTIONS(35), 1, + sym_identifier, + ACTIONS(37), 1, + anon_sym_LPAREN, + ACTIONS(39), 1, + sym_star, + ACTIONS(43), 1, + anon_sym_u03bb, + ACTIONS(45), 1, + anon_sym_fun, + ACTIONS(47), 1, + anon_sym_u220f, + ACTIONS(49), 1, + anon_sym_forall, + STATE(90), 1, + sym_square, + STATE(94), 1, + sym_expr, + STATE(103), 1, + sym_arrow, + STATE(106), 1, + sym_sort, + STATE(146), 1, + sym_app, + STATE(165), 1, + sym_app_term, + ACTIONS(41), 2, + anon_sym_u25a1, + anon_sym_LBRACK_RBRACK, + STATE(52), 2, + sym_term, + aux_sym_app_repeat1, + STATE(101), 4, + sym_labs, + sym_pabs, + sym_binex, + sym_let, + [1860] = 18, + ACTIONS(3), 1, + sym_comment, + ACTIONS(33), 1, + anon_sym_let, + ACTIONS(35), 1, + sym_identifier, + ACTIONS(37), 1, + anon_sym_LPAREN, + ACTIONS(39), 1, + sym_star, + ACTIONS(43), 1, + anon_sym_u03bb, + ACTIONS(45), 1, + anon_sym_fun, + ACTIONS(47), 1, + anon_sym_u220f, + ACTIONS(49), 1, + anon_sym_forall, + STATE(90), 1, + sym_square, + STATE(95), 1, + sym_expr, + STATE(103), 1, + sym_arrow, + STATE(106), 1, + sym_sort, + STATE(146), 1, + sym_app, + STATE(165), 1, + sym_app_term, + ACTIONS(41), 2, + anon_sym_u25a1, + anon_sym_LBRACK_RBRACK, + STATE(52), 2, + sym_term, + aux_sym_app_repeat1, + STATE(101), 4, + sym_labs, + sym_pabs, + sym_binex, + sym_let, + [1920] = 18, + ACTIONS(3), 1, + sym_comment, + ACTIONS(33), 1, + anon_sym_let, + ACTIONS(51), 1, + sym_identifier, + ACTIONS(53), 1, + anon_sym_LPAREN, + ACTIONS(55), 1, + sym_star, + ACTIONS(59), 1, + anon_sym_u03bb, + ACTIONS(61), 1, + anon_sym_fun, + ACTIONS(63), 1, + anon_sym_u220f, + ACTIONS(65), 1, + anon_sym_forall, + STATE(61), 1, + sym_square, + STATE(76), 1, + sym_sort, + STATE(103), 1, + sym_arrow, + STATE(128), 1, + sym_expr, + STATE(133), 1, + sym_app, + STATE(138), 1, + sym_app_term, + ACTIONS(57), 2, + anon_sym_u25a1, + anon_sym_LBRACK_RBRACK, + STATE(49), 2, + sym_term, + aux_sym_app_repeat1, + STATE(101), 4, + sym_labs, + sym_pabs, + sym_binex, + sym_let, + [1980] = 18, + ACTIONS(3), 1, + sym_comment, + ACTIONS(33), 1, + anon_sym_let, + ACTIONS(67), 1, + sym_identifier, + ACTIONS(69), 1, + anon_sym_LPAREN, + ACTIONS(71), 1, + sym_star, + ACTIONS(75), 1, + anon_sym_u03bb, + ACTIONS(77), 1, + anon_sym_fun, + ACTIONS(79), 1, + anon_sym_u220f, + ACTIONS(81), 1, + anon_sym_forall, + STATE(87), 1, + sym_square, + STATE(98), 1, + sym_sort, + STATE(103), 1, + sym_arrow, + STATE(128), 1, + sym_expr, + STATE(149), 1, + sym_app, + STATE(162), 1, + sym_app_term, + ACTIONS(73), 2, + anon_sym_u25a1, + anon_sym_LBRACK_RBRACK, + STATE(54), 2, + sym_term, + aux_sym_app_repeat1, + STATE(101), 4, + sym_labs, + sym_pabs, + sym_binex, + sym_let, + [2040] = 18, + ACTIONS(3), 1, + sym_comment, + ACTIONS(17), 1, + sym_identifier, + ACTIONS(19), 1, + anon_sym_LPAREN, + ACTIONS(21), 1, + sym_star, + ACTIONS(25), 1, + anon_sym_u03bb, + ACTIONS(27), 1, + anon_sym_fun, + ACTIONS(29), 1, + anon_sym_u220f, + ACTIONS(31), 1, + anon_sym_forall, + ACTIONS(33), 1, + anon_sym_let, + STATE(56), 1, + sym_square, + STATE(62), 1, + sym_sort, + STATE(103), 1, + sym_arrow, + STATE(127), 1, + sym_app, + STATE(134), 1, + sym_app_term, + STATE(192), 1, + sym_expr, + ACTIONS(23), 2, + anon_sym_u25a1, + anon_sym_LBRACK_RBRACK, + STATE(48), 2, + sym_term, + aux_sym_app_repeat1, + STATE(101), 4, + sym_labs, + sym_pabs, + sym_binex, + sym_let, + [2100] = 18, + ACTIONS(3), 1, + sym_comment, + ACTIONS(17), 1, + sym_identifier, + ACTIONS(19), 1, + anon_sym_LPAREN, + ACTIONS(21), 1, + sym_star, + ACTIONS(25), 1, + anon_sym_u03bb, + ACTIONS(27), 1, + anon_sym_fun, + ACTIONS(29), 1, + anon_sym_u220f, + ACTIONS(31), 1, + anon_sym_forall, + ACTIONS(33), 1, + anon_sym_let, + STATE(56), 1, + sym_square, + STATE(62), 1, + sym_sort, + STATE(103), 1, + sym_arrow, + STATE(127), 1, + sym_app, + STATE(134), 1, + sym_app_term, + STATE(175), 1, + sym_expr, + ACTIONS(23), 2, + anon_sym_u25a1, + anon_sym_LBRACK_RBRACK, + STATE(48), 2, + sym_term, + aux_sym_app_repeat1, + STATE(101), 4, + sym_labs, + sym_pabs, + sym_binex, + sym_let, + [2160] = 18, + ACTIONS(3), 1, + sym_comment, + ACTIONS(17), 1, + sym_identifier, + ACTIONS(19), 1, + anon_sym_LPAREN, + ACTIONS(21), 1, + sym_star, + ACTIONS(25), 1, + anon_sym_u03bb, + ACTIONS(27), 1, + anon_sym_fun, + ACTIONS(29), 1, + anon_sym_u220f, + ACTIONS(31), 1, + anon_sym_forall, + ACTIONS(33), 1, + anon_sym_let, + STATE(56), 1, + sym_square, + STATE(62), 1, + sym_sort, + STATE(103), 1, + sym_arrow, + STATE(127), 1, + sym_app, + STATE(134), 1, + sym_app_term, + STATE(178), 1, + sym_expr, + ACTIONS(23), 2, + anon_sym_u25a1, + anon_sym_LBRACK_RBRACK, + STATE(48), 2, + sym_term, + aux_sym_app_repeat1, + STATE(101), 4, + sym_labs, + sym_pabs, + sym_binex, + sym_let, + [2220] = 18, + ACTIONS(3), 1, + sym_comment, + ACTIONS(17), 1, + sym_identifier, + ACTIONS(19), 1, + anon_sym_LPAREN, + ACTIONS(21), 1, + sym_star, + ACTIONS(25), 1, + anon_sym_u03bb, + ACTIONS(27), 1, + anon_sym_fun, + ACTIONS(29), 1, + anon_sym_u220f, + ACTIONS(31), 1, + anon_sym_forall, + ACTIONS(33), 1, + anon_sym_let, + STATE(56), 1, + sym_square, + STATE(62), 1, + sym_sort, + STATE(103), 1, + sym_arrow, + STATE(127), 1, + sym_app, + STATE(134), 1, + sym_app_term, + STATE(181), 1, + sym_expr, + ACTIONS(23), 2, + anon_sym_u25a1, + anon_sym_LBRACK_RBRACK, + STATE(48), 2, + sym_term, + aux_sym_app_repeat1, + STATE(101), 4, + sym_labs, + sym_pabs, + sym_binex, + sym_let, + [2280] = 18, + ACTIONS(3), 1, + sym_comment, + ACTIONS(17), 1, + sym_identifier, + ACTIONS(19), 1, + anon_sym_LPAREN, + ACTIONS(21), 1, + sym_star, + ACTIONS(25), 1, + anon_sym_u03bb, + ACTIONS(27), 1, + anon_sym_fun, + ACTIONS(29), 1, + anon_sym_u220f, + ACTIONS(31), 1, + anon_sym_forall, + ACTIONS(33), 1, + anon_sym_let, + STATE(56), 1, + sym_square, + STATE(62), 1, + sym_sort, + STATE(103), 1, + sym_arrow, + STATE(127), 1, + sym_app, + STATE(134), 1, + sym_app_term, + STATE(194), 1, + sym_expr, + ACTIONS(23), 2, + anon_sym_u25a1, + anon_sym_LBRACK_RBRACK, + STATE(48), 2, + sym_term, + aux_sym_app_repeat1, + STATE(101), 4, + sym_labs, + sym_pabs, + sym_binex, + sym_let, + [2340] = 9, ACTIONS(3), 1, sym_comment, ACTIONS(5), 1, anon_sym_section, - ACTIONS(9), 1, - anon_sym_axiom, ACTIONS(11), 1, - anon_sym_def, + anon_sym_axiom, ACTIONS(13), 1, + anon_sym_def, + ACTIONS(15), 1, sym_command, - ACTIONS(104), 1, + ACTIONS(83), 1, ts_builtin_sym_end, ACTIONS(7), 2, + anon_sym_infixl, + anon_sym_infixr, + ACTIONS(9), 2, anon_sym_variable, anon_sym_hypothesis, - STATE(31), 6, + STATE(46), 7, sym_section, + sym_fixity, sym_variable, sym_axiom, sym_definition, sym_preprocess, aux_sym_program_repeat1, - [1665] = 8, + [2376] = 9, + ACTIONS(3), 1, + sym_comment, + ACTIONS(85), 1, + anon_sym_section, + ACTIONS(91), 1, + anon_sym_axiom, + ACTIONS(93), 1, + anon_sym_def, + ACTIONS(95), 1, + sym_command, + STATE(203), 1, + sym_program, + ACTIONS(87), 2, + anon_sym_infixl, + anon_sym_infixr, + ACTIONS(89), 2, + anon_sym_variable, + anon_sym_hypothesis, + STATE(43), 7, + sym_section, + sym_fixity, + sym_variable, + sym_axiom, + sym_definition, + sym_preprocess, + aux_sym_program_repeat1, + [2412] = 9, ACTIONS(3), 1, sym_comment, ACTIONS(83), 1, anon_sym_end, - ACTIONS(106), 1, + ACTIONS(85), 1, anon_sym_section, - ACTIONS(112), 1, + ACTIONS(91), 1, anon_sym_axiom, - ACTIONS(115), 1, + ACTIONS(93), 1, anon_sym_def, - ACTIONS(118), 1, + ACTIONS(95), 1, sym_command, - ACTIONS(109), 2, + ACTIONS(87), 2, + anon_sym_infixl, + anon_sym_infixr, + ACTIONS(89), 2, anon_sym_variable, anon_sym_hypothesis, - STATE(37), 6, + STATE(44), 7, sym_section, + sym_fixity, sym_variable, sym_axiom, sym_definition, sym_preprocess, aux_sym_program_repeat1, - [1696] = 2, + [2448] = 9, ACTIONS(3), 1, sym_comment, - ACTIONS(121), 13, - sym_identifier, - anon_sym_SEMI, - anon_sym_LPAREN, - anon_sym_RPAREN, - sym_star, - anon_sym_u25a1, - anon_sym_LBRACK_RBRACK, - anon_sym_EQ_GT, - anon_sym_u21d2, - anon_sym_COMMA, - anon_sym_COLON_EQ, - anon_sym_DASH_GT, - anon_sym_u2192, - [1715] = 8, - ACTIONS(3), 1, - sym_comment, - ACTIONS(73), 1, + ACTIONS(97), 1, anon_sym_section, - ACTIONS(77), 1, + ACTIONS(100), 1, + anon_sym_end, + ACTIONS(108), 1, anon_sym_axiom, - ACTIONS(79), 1, + ACTIONS(111), 1, anon_sym_def, - ACTIONS(81), 1, + ACTIONS(114), 1, sym_command, - STATE(132), 1, + ACTIONS(102), 2, + anon_sym_infixl, + anon_sym_infixr, + ACTIONS(105), 2, + anon_sym_variable, + anon_sym_hypothesis, + STATE(44), 7, + sym_section, + sym_fixity, + sym_variable, + sym_axiom, + sym_definition, + sym_preprocess, + aux_sym_program_repeat1, + [2484] = 9, + ACTIONS(3), 1, + sym_comment, + ACTIONS(85), 1, + anon_sym_section, + ACTIONS(91), 1, + anon_sym_axiom, + ACTIONS(93), 1, + anon_sym_def, + ACTIONS(95), 1, + sym_command, + STATE(195), 1, sym_program, - ACTIONS(75), 2, + ACTIONS(87), 2, + anon_sym_infixl, + anon_sym_infixr, + ACTIONS(89), 2, anon_sym_variable, anon_sym_hypothesis, - STATE(34), 6, + STATE(43), 7, sym_section, + sym_fixity, sym_variable, sym_axiom, sym_definition, sym_preprocess, aux_sym_program_repeat1, - [1746] = 10, + [2520] = 9, ACTIONS(3), 1, sym_comment, - ACTIONS(123), 1, - sym_identifier, + ACTIONS(100), 1, + ts_builtin_sym_end, + ACTIONS(117), 1, + anon_sym_section, ACTIONS(126), 1, - anon_sym_end, - ACTIONS(128), 1, - anon_sym_LPAREN, - ACTIONS(131), 1, - sym_star, - STATE(46), 1, - sym_square, - STATE(56), 1, - sym_sort, - ACTIONS(52), 2, - anon_sym_DASH_GT, - anon_sym_u2192, - ACTIONS(134), 2, - anon_sym_u25a1, - anon_sym_LBRACK_RBRACK, - STATE(40), 2, - sym_term, - aux_sym_app_repeat1, - [1780] = 10, + anon_sym_axiom, + ACTIONS(129), 1, + anon_sym_def, + ACTIONS(132), 1, + sym_command, + ACTIONS(120), 2, + anon_sym_infixl, + anon_sym_infixr, + ACTIONS(123), 2, + anon_sym_variable, + anon_sym_hypothesis, + STATE(46), 7, + sym_section, + sym_fixity, + sym_variable, + sym_axiom, + sym_definition, + sym_preprocess, + aux_sym_program_repeat1, + [2556] = 11, ACTIONS(3), 1, sym_comment, - ACTIONS(15), 1, + ACTIONS(135), 1, sym_identifier, - ACTIONS(17), 1, + ACTIONS(138), 1, + sym_symbol, + ACTIONS(142), 1, anon_sym_LPAREN, + ACTIONS(145), 1, + sym_star, + ACTIONS(148), 1, + anon_sym_u25a1, + ACTIONS(151), 1, + anon_sym_LBRACK_RBRACK, + STATE(56), 1, + sym_square, + STATE(62), 1, + sym_sort, + STATE(47), 2, + sym_term, + aux_sym_app_repeat1, + ACTIONS(140), 4, + anon_sym_SEMI, + anon_sym_RPAREN, + anon_sym_COLON_EQ, + anon_sym_u2192, + [2594] = 11, + ACTIONS(3), 1, + sym_comment, ACTIONS(19), 1, + anon_sym_LPAREN, + ACTIONS(21), 1, sym_star, - ACTIONS(137), 1, - anon_sym_end, - STATE(46), 1, - sym_square, - STATE(56), 1, - sym_sort, - ACTIONS(21), 2, + ACTIONS(23), 1, anon_sym_u25a1, + ACTIONS(154), 1, + sym_identifier, + ACTIONS(156), 1, + sym_symbol, + ACTIONS(160), 1, anon_sym_LBRACK_RBRACK, - ACTIONS(65), 2, - anon_sym_DASH_GT, - anon_sym_u2192, - STATE(40), 2, + STATE(56), 1, + sym_square, + STATE(62), 1, + sym_sort, + STATE(47), 2, sym_term, aux_sym_app_repeat1, - [1814] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(139), 9, - anon_sym_end, + ACTIONS(158), 4, anon_sym_SEMI, anon_sym_RPAREN, - anon_sym_EQ_GT, - anon_sym_u21d2, - anon_sym_COMMA, anon_sym_COLON_EQ, - anon_sym_DASH_GT, anon_sym_u2192, - [1829] = 2, + [2632] = 11, ACTIONS(3), 1, sym_comment, - ACTIONS(141), 9, - anon_sym_end, - anon_sym_SEMI, - anon_sym_RPAREN, - anon_sym_EQ_GT, - anon_sym_u21d2, - anon_sym_COMMA, - anon_sym_COLON_EQ, - anon_sym_DASH_GT, - anon_sym_u2192, - [1844] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(143), 9, - anon_sym_end, - anon_sym_SEMI, - anon_sym_RPAREN, - anon_sym_EQ_GT, - anon_sym_u21d2, - anon_sym_COMMA, - anon_sym_COLON_EQ, - anon_sym_DASH_GT, - anon_sym_u2192, - [1859] = 5, - ACTIONS(3), 1, - sym_comment, - ACTIONS(147), 1, - anon_sym_LPAREN, - ACTIONS(150), 1, - anon_sym_COLON, - STATE(45), 2, - sym_param_block, - aux_sym_variable_repeat1, - ACTIONS(145), 5, - anon_sym_SEMI, - anon_sym_EQ_GT, - anon_sym_u21d2, - anon_sym_COMMA, - anon_sym_COLON_EQ, - [1880] = 4, - ACTIONS(3), 1, - sym_comment, - ACTIONS(154), 1, - aux_sym_sort_token1, - ACTIONS(152), 2, - sym_identifier, - anon_sym_end, - ACTIONS(69), 6, + ACTIONS(53), 1, anon_sym_LPAREN, + ACTIONS(55), 1, sym_star, + ACTIONS(57), 1, anon_sym_u25a1, + ACTIONS(162), 1, + sym_identifier, + ACTIONS(164), 1, anon_sym_LBRACK_RBRACK, - anon_sym_DASH_GT, - anon_sym_u2192, - [1899] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(156), 9, - anon_sym_end, - anon_sym_SEMI, - anon_sym_RPAREN, + STATE(61), 1, + sym_square, + STATE(76), 1, + sym_sort, + ACTIONS(156), 2, + sym_symbol, anon_sym_EQ_GT, - anon_sym_u21d2, - anon_sym_COMMA, - anon_sym_COLON_EQ, - anon_sym_DASH_GT, - anon_sym_u2192, - [1914] = 3, - ACTIONS(3), 1, - sym_comment, ACTIONS(158), 2, - sym_identifier, - anon_sym_end, - ACTIONS(67), 7, - anon_sym_LPAREN, - sym_star, - anon_sym_u25a1, - anon_sym_LBRACK_RBRACK, - aux_sym_sort_token1, - anon_sym_DASH_GT, - anon_sym_u2192, - [1931] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(160), 9, - anon_sym_end, - anon_sym_SEMI, - anon_sym_RPAREN, - anon_sym_EQ_GT, anon_sym_u21d2, - anon_sym_COMMA, - anon_sym_COLON_EQ, - anon_sym_DASH_GT, anon_sym_u2192, - [1946] = 2, + STATE(50), 2, + sym_term, + aux_sym_app_repeat1, + [2669] = 11, ACTIONS(3), 1, sym_comment, - ACTIONS(162), 9, - anon_sym_end, - anon_sym_SEMI, - anon_sym_RPAREN, - anon_sym_EQ_GT, - anon_sym_u21d2, - anon_sym_COMMA, - anon_sym_COLON_EQ, - anon_sym_DASH_GT, - anon_sym_u2192, - [1961] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(164), 9, - anon_sym_end, - anon_sym_SEMI, - anon_sym_RPAREN, - anon_sym_EQ_GT, - anon_sym_u21d2, - anon_sym_COMMA, - anon_sym_COLON_EQ, - anon_sym_DASH_GT, - anon_sym_u2192, - [1976] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(166), 9, - anon_sym_end, - anon_sym_SEMI, - anon_sym_RPAREN, - anon_sym_EQ_GT, - anon_sym_u21d2, - anon_sym_COMMA, - anon_sym_COLON_EQ, - anon_sym_DASH_GT, - anon_sym_u2192, - [1991] = 3, - ACTIONS(3), 1, - sym_comment, - ACTIONS(168), 2, - anon_sym_DASH_GT, - anon_sym_u2192, - ACTIONS(160), 6, - anon_sym_SEMI, - anon_sym_RPAREN, - anon_sym_EQ_GT, - anon_sym_u21d2, - anon_sym_COMMA, - anon_sym_COLON_EQ, - [2007] = 3, - ACTIONS(3), 1, - sym_comment, - ACTIONS(170), 2, + ACTIONS(166), 1, sym_identifier, - anon_sym_end, - ACTIONS(100), 6, + ACTIONS(169), 1, anon_sym_LPAREN, + ACTIONS(172), 1, sym_star, + ACTIONS(175), 1, anon_sym_u25a1, - anon_sym_LBRACK_RBRACK, - anon_sym_DASH_GT, - anon_sym_u2192, - [2023] = 3, - ACTIONS(3), 1, - sym_comment, - ACTIONS(172), 2, - sym_identifier, - anon_sym_end, - ACTIONS(121), 6, - anon_sym_LPAREN, - sym_star, - anon_sym_u25a1, - anon_sym_LBRACK_RBRACK, - anon_sym_DASH_GT, - anon_sym_u2192, - [2039] = 3, - ACTIONS(3), 1, - sym_comment, - ACTIONS(174), 2, - sym_identifier, - anon_sym_end, - ACTIONS(102), 6, - anon_sym_LPAREN, - sym_star, - anon_sym_u25a1, - anon_sym_LBRACK_RBRACK, - anon_sym_DASH_GT, - anon_sym_u2192, - [2055] = 3, - ACTIONS(3), 1, - sym_comment, - ACTIONS(152), 2, - sym_identifier, - anon_sym_end, - ACTIONS(69), 6, - anon_sym_LPAREN, - sym_star, - anon_sym_u25a1, - anon_sym_LBRACK_RBRACK, - anon_sym_DASH_GT, - anon_sym_u2192, - [2071] = 6, - ACTIONS(3), 1, - sym_comment, - ACTIONS(176), 1, - anon_sym_LPAREN, ACTIONS(178), 1, - anon_sym_COLON, - STATE(104), 1, - sym_ascription, - ACTIONS(180), 2, + anon_sym_LBRACK_RBRACK, + STATE(61), 1, + sym_square, + STATE(76), 1, + sym_sort, + ACTIONS(138), 2, + sym_symbol, anon_sym_EQ_GT, + ACTIONS(140), 2, anon_sym_u21d2, - STATE(45), 2, - sym_param_block, - aux_sym_variable_repeat1, - [2092] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(182), 7, - ts_builtin_sym_end, - anon_sym_section, - anon_sym_variable, - anon_sym_hypothesis, - anon_sym_axiom, - anon_sym_def, - sym_command, - [2105] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(184), 7, - ts_builtin_sym_end, - anon_sym_section, - anon_sym_variable, - anon_sym_hypothesis, - anon_sym_axiom, - anon_sym_def, - sym_command, - [2118] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(182), 7, - anon_sym_section, - anon_sym_end, - anon_sym_variable, - anon_sym_hypothesis, - anon_sym_axiom, - anon_sym_def, - sym_command, - [2131] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(186), 7, - anon_sym_section, - anon_sym_end, - anon_sym_variable, - anon_sym_hypothesis, - anon_sym_axiom, - anon_sym_def, - sym_command, - [2144] = 3, + anon_sym_u2192, + STATE(50), 2, + sym_term, + aux_sym_app_repeat1, + [2706] = 11, ACTIONS(3), 1, sym_comment, + ACTIONS(140), 1, + anon_sym_u2192, + ACTIONS(181), 1, + sym_identifier, + ACTIONS(184), 1, + anon_sym_LPAREN, + ACTIONS(187), 1, + sym_star, ACTIONS(190), 1, - anon_sym_COLON, - ACTIONS(188), 6, - anon_sym_SEMI, - anon_sym_LPAREN, - anon_sym_EQ_GT, - anon_sym_u21d2, + anon_sym_u25a1, + ACTIONS(193), 1, + anon_sym_LBRACK_RBRACK, + STATE(87), 1, + sym_square, + STATE(98), 1, + sym_sort, + ACTIONS(138), 2, + sym_symbol, anon_sym_COMMA, - anon_sym_COLON_EQ, - [2159] = 2, + STATE(51), 2, + sym_term, + aux_sym_app_repeat1, + [2742] = 11, ACTIONS(3), 1, sym_comment, - ACTIONS(192), 7, - ts_builtin_sym_end, - anon_sym_section, - anon_sym_variable, - anon_sym_hypothesis, - anon_sym_axiom, - anon_sym_def, - sym_command, - [2172] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(194), 7, - anon_sym_section, - anon_sym_end, - anon_sym_variable, - anon_sym_hypothesis, - anon_sym_axiom, - anon_sym_def, - sym_command, - [2185] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(196), 7, - anon_sym_section, - anon_sym_end, - anon_sym_variable, - anon_sym_hypothesis, - anon_sym_axiom, - anon_sym_def, - sym_command, - [2198] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(196), 7, - ts_builtin_sym_end, - anon_sym_section, - anon_sym_variable, - anon_sym_hypothesis, - anon_sym_axiom, - anon_sym_def, - sym_command, - [2211] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(186), 7, - ts_builtin_sym_end, - anon_sym_section, - anon_sym_variable, - anon_sym_hypothesis, - anon_sym_axiom, - anon_sym_def, - sym_command, - [2224] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(198), 7, - anon_sym_section, - anon_sym_end, - anon_sym_variable, - anon_sym_hypothesis, - anon_sym_axiom, - anon_sym_def, - sym_command, - [2237] = 6, - ACTIONS(3), 1, - sym_comment, - ACTIONS(176), 1, - anon_sym_LPAREN, - ACTIONS(178), 1, - anon_sym_COLON, - STATE(109), 1, - sym_ascription, - ACTIONS(200), 2, - anon_sym_EQ_GT, - anon_sym_u21d2, - STATE(45), 2, - sym_param_block, - aux_sym_variable_repeat1, - [2258] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(202), 7, - anon_sym_section, - anon_sym_end, - anon_sym_variable, - anon_sym_hypothesis, - anon_sym_axiom, - anon_sym_def, - sym_command, - [2271] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(192), 7, - anon_sym_section, - anon_sym_end, - anon_sym_variable, - anon_sym_hypothesis, - anon_sym_axiom, - anon_sym_def, - sym_command, - [2284] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(194), 7, - ts_builtin_sym_end, - anon_sym_section, - anon_sym_variable, - anon_sym_hypothesis, - anon_sym_axiom, - anon_sym_def, - sym_command, - [2297] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(184), 7, - anon_sym_section, - anon_sym_end, - anon_sym_variable, - anon_sym_hypothesis, - anon_sym_axiom, - anon_sym_def, - sym_command, - [2310] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(198), 7, - ts_builtin_sym_end, - anon_sym_section, - anon_sym_variable, - anon_sym_hypothesis, - anon_sym_axiom, - anon_sym_def, - sym_command, - [2323] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(202), 7, - ts_builtin_sym_end, - anon_sym_section, - anon_sym_variable, - anon_sym_hypothesis, - anon_sym_axiom, - anon_sym_def, - sym_command, - [2336] = 6, - ACTIONS(3), 1, - sym_comment, - ACTIONS(176), 1, - anon_sym_LPAREN, - ACTIONS(178), 1, - anon_sym_COLON, - ACTIONS(204), 1, - anon_sym_COMMA, - STATE(128), 1, - sym_ascription, - STATE(45), 2, - sym_param_block, - aux_sym_variable_repeat1, - [2356] = 6, - ACTIONS(3), 1, - sym_comment, - ACTIONS(176), 1, - anon_sym_LPAREN, - ACTIONS(206), 1, - anon_sym_COLON, - ACTIONS(208), 1, - anon_sym_COLON_EQ, - STATE(126), 1, - sym_ascription, - STATE(45), 2, - sym_param_block, - aux_sym_variable_repeat1, - [2376] = 6, - ACTIONS(3), 1, - sym_comment, - ACTIONS(176), 1, - anon_sym_LPAREN, - ACTIONS(206), 1, - anon_sym_COLON, - ACTIONS(210), 1, - anon_sym_COLON_EQ, - STATE(136), 1, - sym_ascription, - STATE(80), 2, - sym_param_block, - aux_sym_variable_repeat1, - [2396] = 6, - ACTIONS(3), 1, - sym_comment, - ACTIONS(176), 1, - anon_sym_LPAREN, - ACTIONS(206), 1, - anon_sym_COLON, - ACTIONS(212), 1, - anon_sym_COLON_EQ, - STATE(113), 1, - sym_ascription, - STATE(45), 2, - sym_param_block, - aux_sym_variable_repeat1, - [2416] = 6, - ACTIONS(3), 1, - sym_comment, - ACTIONS(176), 1, - anon_sym_LPAREN, - ACTIONS(178), 1, - anon_sym_COLON, - ACTIONS(214), 1, - anon_sym_COMMA, - STATE(111), 1, - sym_ascription, - STATE(45), 2, - sym_param_block, - aux_sym_variable_repeat1, - [2436] = 6, - ACTIONS(3), 1, - sym_comment, - ACTIONS(176), 1, - anon_sym_LPAREN, - ACTIONS(206), 1, - anon_sym_COLON, - ACTIONS(216), 1, - anon_sym_COLON_EQ, - STATE(127), 1, - sym_ascription, - STATE(78), 2, - sym_param_block, - aux_sym_variable_repeat1, - [2456] = 6, - ACTIONS(3), 1, - sym_comment, - ACTIONS(176), 1, - anon_sym_LPAREN, - ACTIONS(206), 1, - anon_sym_COLON, - ACTIONS(218), 1, - anon_sym_COLON_EQ, - STATE(145), 1, - sym_ascription, - STATE(45), 2, - sym_param_block, - aux_sym_variable_repeat1, - [2476] = 6, - ACTIONS(3), 1, - sym_comment, - ACTIONS(176), 1, - anon_sym_LPAREN, - ACTIONS(206), 1, - anon_sym_COLON, - ACTIONS(220), 1, - anon_sym_COLON_EQ, - STATE(143), 1, - sym_ascription, - STATE(83), 2, - sym_param_block, - aux_sym_variable_repeat1, - [2496] = 5, - ACTIONS(3), 1, - sym_comment, - ACTIONS(176), 1, - anon_sym_LPAREN, - ACTIONS(178), 1, - anon_sym_COLON, - STATE(131), 1, - sym_ascription, - STATE(45), 2, - sym_param_block, - aux_sym_variable_repeat1, - [2513] = 5, - ACTIONS(3), 1, - sym_comment, - ACTIONS(176), 1, - anon_sym_LPAREN, - ACTIONS(178), 1, - anon_sym_COLON, - STATE(144), 1, - sym_ascription, - STATE(85), 2, - sym_param_block, - aux_sym_variable_repeat1, - [2530] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(222), 5, - anon_sym_SEMI, - anon_sym_EQ_GT, - anon_sym_u21d2, - anon_sym_COMMA, - anon_sym_COLON_EQ, - [2541] = 5, - ACTIONS(3), 1, - sym_comment, - ACTIONS(176), 1, - anon_sym_LPAREN, - ACTIONS(178), 1, - anon_sym_COLON, - STATE(121), 1, - sym_ascription, - STATE(45), 2, - sym_param_block, - aux_sym_variable_repeat1, - [2558] = 5, - ACTIONS(3), 1, - sym_comment, - ACTIONS(176), 1, - anon_sym_LPAREN, - ACTIONS(178), 1, - anon_sym_COLON, - STATE(118), 1, - sym_ascription, - STATE(88), 2, - sym_param_block, - aux_sym_variable_repeat1, - [2575] = 4, - ACTIONS(3), 1, - sym_comment, - ACTIONS(176), 1, - anon_sym_LPAREN, - ACTIONS(224), 1, - anon_sym_SEMI, - STATE(45), 2, - sym_param_block, - aux_sym_variable_repeat1, - [2589] = 4, - ACTIONS(3), 1, - sym_comment, - ACTIONS(226), 1, - anon_sym_LPAREN, - ACTIONS(228), 1, - anon_sym_in, - STATE(93), 2, - sym_binding, - aux_sym_let_repeat1, - [2603] = 4, - ACTIONS(3), 1, - sym_comment, - ACTIONS(176), 1, - anon_sym_LPAREN, - ACTIONS(230), 1, - anon_sym_SEMI, - STATE(45), 2, - sym_param_block, - aux_sym_variable_repeat1, - [2617] = 4, - ACTIONS(3), 1, - sym_comment, - ACTIONS(232), 1, - anon_sym_LPAREN, - ACTIONS(235), 1, - anon_sym_in, - STATE(93), 2, - sym_binding, - aux_sym_let_repeat1, - [2631] = 3, - ACTIONS(3), 1, - sym_comment, - ACTIONS(176), 1, - anon_sym_LPAREN, - STATE(90), 2, - sym_param_block, - aux_sym_variable_repeat1, - [2642] = 3, - ACTIONS(3), 1, - sym_comment, - ACTIONS(176), 1, - anon_sym_LPAREN, - STATE(58), 2, - sym_param_block, - aux_sym_variable_repeat1, - [2653] = 4, - ACTIONS(3), 1, - sym_comment, - ACTIONS(237), 1, + ACTIONS(35), 1, sym_identifier, - ACTIONS(240), 1, - anon_sym_COLON, - STATE(96), 1, - aux_sym_param_block_repeat1, - [2666] = 3, - ACTIONS(3), 1, - sym_comment, - ACTIONS(176), 1, + ACTIONS(37), 1, anon_sym_LPAREN, - STATE(81), 2, - sym_param_block, - aux_sym_variable_repeat1, - [2677] = 3, - ACTIONS(3), 1, - sym_comment, - ACTIONS(160), 1, - anon_sym_end, - ACTIONS(242), 2, - anon_sym_DASH_GT, + ACTIONS(39), 1, + sym_star, + ACTIONS(41), 1, + anon_sym_u25a1, + ACTIONS(158), 1, anon_sym_u2192, - [2688] = 4, - ACTIONS(3), 1, - sym_comment, - ACTIONS(244), 1, - sym_identifier, - ACTIONS(246), 1, - anon_sym_COLON, - STATE(96), 1, - aux_sym_param_block_repeat1, - [2701] = 3, - ACTIONS(3), 1, - sym_comment, - ACTIONS(176), 1, - anon_sym_LPAREN, - STATE(77), 2, - sym_param_block, - aux_sym_variable_repeat1, - [2712] = 3, - ACTIONS(3), 1, - sym_comment, - ACTIONS(226), 1, - anon_sym_LPAREN, - STATE(91), 2, - sym_binding, - aux_sym_let_repeat1, - [2723] = 3, - ACTIONS(3), 1, - sym_comment, - ACTIONS(176), 1, - anon_sym_LPAREN, - STATE(70), 2, - sym_param_block, - aux_sym_variable_repeat1, - [2734] = 3, - ACTIONS(3), 1, - sym_comment, - ACTIONS(176), 1, - anon_sym_LPAREN, - STATE(92), 2, - sym_param_block, - aux_sym_variable_repeat1, - [2745] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(248), 2, - anon_sym_EQ_GT, - anon_sym_u21d2, - [2753] = 3, - ACTIONS(3), 1, - sym_comment, - ACTIONS(250), 1, - sym_identifier, - STATE(99), 1, - aux_sym_param_block_repeat1, - [2763] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(252), 2, - anon_sym_LPAREN, - anon_sym_in, - [2771] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(254), 2, - anon_sym_LPAREN, - anon_sym_in, - [2779] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(256), 2, - anon_sym_LPAREN, - anon_sym_in, - [2787] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(258), 2, - anon_sym_EQ_GT, - anon_sym_u21d2, - [2795] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(260), 1, - sym_identifier, - [2802] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(262), 1, - anon_sym_COMMA, - [2809] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(264), 1, + ACTIONS(196), 1, + anon_sym_LBRACK_RBRACK, + STATE(90), 1, + sym_square, + STATE(106), 1, + sym_sort, + ACTIONS(156), 2, + sym_symbol, anon_sym_end, - [2816] = 2, + STATE(53), 2, + sym_term, + aux_sym_app_repeat1, + [2778] = 11, ACTIONS(3), 1, sym_comment, - ACTIONS(266), 1, + ACTIONS(140), 1, + anon_sym_u2192, + ACTIONS(198), 1, + sym_identifier, + ACTIONS(201), 1, + anon_sym_LPAREN, + ACTIONS(204), 1, + sym_star, + ACTIONS(207), 1, + anon_sym_u25a1, + ACTIONS(210), 1, + anon_sym_LBRACK_RBRACK, + STATE(90), 1, + sym_square, + STATE(106), 1, + sym_sort, + ACTIONS(138), 2, + sym_symbol, + anon_sym_end, + STATE(53), 2, + sym_term, + aux_sym_app_repeat1, + [2814] = 11, + ACTIONS(3), 1, + sym_comment, + ACTIONS(69), 1, + anon_sym_LPAREN, + ACTIONS(71), 1, + sym_star, + ACTIONS(73), 1, + anon_sym_u25a1, + ACTIONS(158), 1, + anon_sym_u2192, + ACTIONS(213), 1, + sym_identifier, + ACTIONS(215), 1, + anon_sym_LBRACK_RBRACK, + STATE(87), 1, + sym_square, + STATE(98), 1, + sym_sort, + ACTIONS(156), 2, + sym_symbol, + anon_sym_COMMA, + STATE(51), 2, + sym_term, + aux_sym_app_repeat1, + [2850] = 10, + ACTIONS(3), 1, + sym_comment, + ACTIONS(19), 1, + anon_sym_LPAREN, + ACTIONS(21), 1, + sym_star, + ACTIONS(154), 1, + sym_identifier, + STATE(56), 1, + sym_square, + STATE(62), 1, + sym_sort, + STATE(93), 1, + sym_binex, + STATE(127), 1, + sym_app, + ACTIONS(23), 2, + anon_sym_u25a1, + anon_sym_LBRACK_RBRACK, + STATE(48), 2, + sym_term, + aux_sym_app_repeat1, + [2883] = 4, + ACTIONS(3), 1, + sym_comment, + ACTIONS(221), 1, + aux_sym_sort_token1, + ACTIONS(219), 2, + sym_symbol, + anon_sym_LBRACK_RBRACK, + ACTIONS(217), 8, + sym_identifier, + anon_sym_SEMI, + anon_sym_LPAREN, + anon_sym_RPAREN, + sym_star, + anon_sym_u25a1, anon_sym_COLON_EQ, - [2823] = 2, + anon_sym_u2192, + [2904] = 10, ACTIONS(3), 1, sym_comment, - ACTIONS(268), 1, - anon_sym_RPAREN, - [2830] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(270), 1, + ACTIONS(69), 1, + anon_sym_LPAREN, + ACTIONS(71), 1, + sym_star, + ACTIONS(213), 1, sym_identifier, - [2837] = 2, - ACTIONS(272), 1, - sym_comment, - ACTIONS(274), 1, - sym_post_command, - [2844] = 2, + STATE(87), 1, + sym_square, + STATE(93), 1, + sym_binex, + STATE(98), 1, + sym_sort, + STATE(149), 1, + sym_app, + ACTIONS(73), 2, + anon_sym_u25a1, + anon_sym_LBRACK_RBRACK, + STATE(54), 2, + sym_term, + aux_sym_app_repeat1, + [2937] = 3, ACTIONS(3), 1, sym_comment, - ACTIONS(276), 1, - anon_sym_RPAREN, - [2851] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(278), 1, - anon_sym_SEMI, - [2858] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(280), 1, + ACTIONS(225), 2, + sym_symbol, + anon_sym_LBRACK_RBRACK, + ACTIONS(223), 9, sym_identifier, - [2865] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(282), 1, - anon_sym_RPAREN, - [2872] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(284), 1, anon_sym_SEMI, - [2879] = 2, + anon_sym_LPAREN, + anon_sym_RPAREN, + sym_star, + anon_sym_u25a1, + aux_sym_sort_token1, + anon_sym_COLON_EQ, + anon_sym_u2192, + [2956] = 10, ACTIONS(3), 1, sym_comment, + ACTIONS(37), 1, + anon_sym_LPAREN, + ACTIONS(39), 1, + sym_star, + ACTIONS(227), 1, + sym_identifier, + STATE(90), 1, + sym_square, + STATE(93), 1, + sym_binex, + STATE(106), 1, + sym_sort, + STATE(146), 1, + sym_app, + ACTIONS(41), 2, + anon_sym_u25a1, + anon_sym_LBRACK_RBRACK, + STATE(52), 2, + sym_term, + aux_sym_app_repeat1, + [2989] = 10, + ACTIONS(3), 1, + sym_comment, + ACTIONS(53), 1, + anon_sym_LPAREN, + ACTIONS(55), 1, + sym_star, + ACTIONS(162), 1, + sym_identifier, + STATE(61), 1, + sym_square, + STATE(76), 1, + sym_sort, + STATE(93), 1, + sym_binex, + STATE(133), 1, + sym_app, + ACTIONS(57), 2, + anon_sym_u25a1, + anon_sym_LBRACK_RBRACK, + STATE(49), 2, + sym_term, + aux_sym_app_repeat1, + [3022] = 4, + ACTIONS(3), 1, + sym_comment, + ACTIONS(229), 1, + aux_sym_sort_token1, + ACTIONS(219), 3, + sym_symbol, + anon_sym_LBRACK_RBRACK, + anon_sym_EQ_GT, + ACTIONS(217), 6, + sym_identifier, + anon_sym_LPAREN, + sym_star, + anon_sym_u25a1, + anon_sym_u21d2, + anon_sym_u2192, + [3042] = 3, + ACTIONS(3), 1, + sym_comment, + ACTIONS(233), 2, + sym_symbol, + anon_sym_LBRACK_RBRACK, + ACTIONS(231), 8, + sym_identifier, + anon_sym_SEMI, + anon_sym_LPAREN, + anon_sym_RPAREN, + sym_star, + anon_sym_u25a1, + anon_sym_COLON_EQ, + anon_sym_u2192, + [3060] = 3, + ACTIONS(3), 1, + sym_comment, + ACTIONS(219), 2, + sym_symbol, + anon_sym_LBRACK_RBRACK, + ACTIONS(217), 8, + sym_identifier, + anon_sym_SEMI, + anon_sym_LPAREN, + anon_sym_RPAREN, + sym_star, + anon_sym_u25a1, + anon_sym_COLON_EQ, + anon_sym_u2192, + [3078] = 3, + ACTIONS(3), 1, + sym_comment, + ACTIONS(237), 2, + sym_symbol, + anon_sym_LBRACK_RBRACK, + ACTIONS(235), 8, + sym_identifier, + anon_sym_SEMI, + anon_sym_LPAREN, + anon_sym_RPAREN, + sym_star, + anon_sym_u25a1, + anon_sym_COLON_EQ, + anon_sym_u2192, + [3096] = 3, + ACTIONS(3), 1, + sym_comment, + ACTIONS(241), 2, + sym_symbol, + anon_sym_LBRACK_RBRACK, + ACTIONS(239), 8, + sym_identifier, + anon_sym_SEMI, + anon_sym_LPAREN, + anon_sym_RPAREN, + sym_star, + anon_sym_u25a1, + anon_sym_COLON_EQ, + anon_sym_u2192, + [3114] = 3, + ACTIONS(3), 1, + sym_comment, + ACTIONS(225), 3, + sym_symbol, + anon_sym_LBRACK_RBRACK, + anon_sym_EQ_GT, + ACTIONS(223), 7, + sym_identifier, + anon_sym_LPAREN, + sym_star, + anon_sym_u25a1, + aux_sym_sort_token1, + anon_sym_u21d2, + anon_sym_u2192, + [3132] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(243), 9, + ts_builtin_sym_end, + anon_sym_section, + anon_sym_infixl, + anon_sym_infixr, + anon_sym_variable, + anon_sym_hypothesis, + anon_sym_axiom, + anon_sym_def, + sym_command, + [3147] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(245), 9, + ts_builtin_sym_end, + anon_sym_section, + anon_sym_infixl, + anon_sym_infixr, + anon_sym_variable, + anon_sym_hypothesis, + anon_sym_axiom, + anon_sym_def, + sym_command, + [3162] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(247), 9, + ts_builtin_sym_end, + anon_sym_section, + anon_sym_infixl, + anon_sym_infixr, + anon_sym_variable, + anon_sym_hypothesis, + anon_sym_axiom, + anon_sym_def, + sym_command, + [3177] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(249), 9, + ts_builtin_sym_end, + anon_sym_section, + anon_sym_infixl, + anon_sym_infixr, + anon_sym_variable, + anon_sym_hypothesis, + anon_sym_axiom, + anon_sym_def, + sym_command, + [3192] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(251), 9, + ts_builtin_sym_end, + anon_sym_section, + anon_sym_infixl, + anon_sym_infixr, + anon_sym_variable, + anon_sym_hypothesis, + anon_sym_axiom, + anon_sym_def, + sym_command, + [3207] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(253), 9, + ts_builtin_sym_end, + anon_sym_section, + anon_sym_infixl, + anon_sym_infixr, + anon_sym_variable, + anon_sym_hypothesis, + anon_sym_axiom, + anon_sym_def, + sym_command, + [3222] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(255), 9, + anon_sym_section, + anon_sym_end, + anon_sym_infixl, + anon_sym_infixr, + anon_sym_variable, + anon_sym_hypothesis, + anon_sym_axiom, + anon_sym_def, + sym_command, + [3237] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(243), 9, + anon_sym_section, + anon_sym_end, + anon_sym_infixl, + anon_sym_infixr, + anon_sym_variable, + anon_sym_hypothesis, + anon_sym_axiom, + anon_sym_def, + sym_command, + [3252] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(253), 9, + anon_sym_section, + anon_sym_end, + anon_sym_infixl, + anon_sym_infixr, + anon_sym_variable, + anon_sym_hypothesis, + anon_sym_axiom, + anon_sym_def, + sym_command, + [3267] = 3, + ACTIONS(3), 1, + sym_comment, + ACTIONS(233), 3, + sym_symbol, + anon_sym_LBRACK_RBRACK, + anon_sym_EQ_GT, + ACTIONS(231), 6, + sym_identifier, + anon_sym_LPAREN, + sym_star, + anon_sym_u25a1, + anon_sym_u21d2, + anon_sym_u2192, + [3284] = 3, + ACTIONS(3), 1, + sym_comment, + ACTIONS(219), 3, + sym_symbol, + anon_sym_LBRACK_RBRACK, + anon_sym_EQ_GT, + ACTIONS(217), 6, + sym_identifier, + anon_sym_LPAREN, + sym_star, + anon_sym_u25a1, + anon_sym_u21d2, + anon_sym_u2192, + [3301] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(257), 9, + anon_sym_section, + anon_sym_end, + anon_sym_infixl, + anon_sym_infixr, + anon_sym_variable, + anon_sym_hypothesis, + anon_sym_axiom, + anon_sym_def, + sym_command, + [3316] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(259), 9, + anon_sym_section, + anon_sym_end, + anon_sym_infixl, + anon_sym_infixr, + anon_sym_variable, + anon_sym_hypothesis, + anon_sym_axiom, + anon_sym_def, + sym_command, + [3331] = 3, + ACTIONS(3), 1, + sym_comment, + ACTIONS(237), 3, + sym_symbol, + anon_sym_LBRACK_RBRACK, + anon_sym_EQ_GT, + ACTIONS(235), 6, + sym_identifier, + anon_sym_LPAREN, + sym_star, + anon_sym_u25a1, + anon_sym_u21d2, + anon_sym_u2192, + [3348] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(247), 9, + anon_sym_section, + anon_sym_end, + anon_sym_infixl, + anon_sym_infixr, + anon_sym_variable, + anon_sym_hypothesis, + anon_sym_axiom, + anon_sym_def, + sym_command, + [3363] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(245), 9, + anon_sym_section, + anon_sym_end, + anon_sym_infixl, + anon_sym_infixr, + anon_sym_variable, + anon_sym_hypothesis, + anon_sym_axiom, + anon_sym_def, + sym_command, + [3378] = 3, + ACTIONS(3), 1, + sym_comment, + ACTIONS(241), 3, + sym_symbol, + anon_sym_LBRACK_RBRACK, + anon_sym_EQ_GT, + ACTIONS(239), 6, + sym_identifier, + anon_sym_LPAREN, + sym_star, + anon_sym_u25a1, + anon_sym_u21d2, + anon_sym_u2192, + [3395] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(249), 9, + anon_sym_section, + anon_sym_end, + anon_sym_infixl, + anon_sym_infixr, + anon_sym_variable, + anon_sym_hypothesis, + anon_sym_axiom, + anon_sym_def, + sym_command, + [3410] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(251), 9, + anon_sym_section, + anon_sym_end, + anon_sym_infixl, + anon_sym_infixr, + anon_sym_variable, + anon_sym_hypothesis, + anon_sym_axiom, + anon_sym_def, + sym_command, + [3425] = 3, + ACTIONS(3), 1, + sym_comment, + ACTIONS(225), 3, + sym_symbol, + anon_sym_LBRACK_RBRACK, + anon_sym_COMMA, + ACTIONS(223), 6, + sym_identifier, + anon_sym_LPAREN, + sym_star, + anon_sym_u25a1, + aux_sym_sort_token1, + anon_sym_u2192, + [3442] = 4, + ACTIONS(3), 1, + sym_comment, + ACTIONS(261), 1, + aux_sym_sort_token1, + ACTIONS(219), 3, + sym_symbol, + anon_sym_LBRACK_RBRACK, + anon_sym_COMMA, + ACTIONS(217), 5, + sym_identifier, + anon_sym_LPAREN, + sym_star, + anon_sym_u25a1, + anon_sym_u2192, + [3461] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(257), 9, + ts_builtin_sym_end, + anon_sym_section, + anon_sym_infixl, + anon_sym_infixr, + anon_sym_variable, + anon_sym_hypothesis, + anon_sym_axiom, + anon_sym_def, + sym_command, + [3476] = 3, + ACTIONS(3), 1, + sym_comment, + ACTIONS(225), 4, + sym_identifier, + sym_symbol, + anon_sym_end, + anon_sym_LBRACK_RBRACK, + ACTIONS(223), 5, + anon_sym_LPAREN, + sym_star, + anon_sym_u25a1, + aux_sym_sort_token1, + anon_sym_u2192, + [3493] = 4, + ACTIONS(3), 1, + sym_comment, + ACTIONS(263), 1, + aux_sym_sort_token1, + ACTIONS(217), 4, + anon_sym_LPAREN, + sym_star, + anon_sym_u25a1, + anon_sym_u2192, + ACTIONS(219), 4, + sym_identifier, + sym_symbol, + anon_sym_end, + anon_sym_LBRACK_RBRACK, + [3512] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(259), 9, + ts_builtin_sym_end, + anon_sym_section, + anon_sym_infixl, + anon_sym_infixr, + anon_sym_variable, + anon_sym_hypothesis, + anon_sym_axiom, + anon_sym_def, + sym_command, + [3527] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(255), 9, + ts_builtin_sym_end, + anon_sym_section, + anon_sym_infixl, + anon_sym_infixr, + anon_sym_variable, + anon_sym_hypothesis, + anon_sym_axiom, + anon_sym_def, + sym_command, + [3542] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(265), 8, + anon_sym_end, + anon_sym_SEMI, + anon_sym_RPAREN, + anon_sym_EQ_GT, + anon_sym_u21d2, + anon_sym_COMMA, + anon_sym_COLON_EQ, + anon_sym_u2192, + [3556] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(267), 8, + anon_sym_end, + anon_sym_SEMI, + anon_sym_RPAREN, + anon_sym_EQ_GT, + anon_sym_u21d2, + anon_sym_COMMA, + anon_sym_COLON_EQ, + anon_sym_u2192, + [3570] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(269), 8, + anon_sym_end, + anon_sym_SEMI, + anon_sym_RPAREN, + anon_sym_EQ_GT, + anon_sym_u21d2, + anon_sym_COMMA, + anon_sym_COLON_EQ, + anon_sym_u2192, + [3584] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(271), 8, + anon_sym_end, + anon_sym_SEMI, + anon_sym_RPAREN, + anon_sym_EQ_GT, + anon_sym_u21d2, + anon_sym_COMMA, + anon_sym_COLON_EQ, + anon_sym_u2192, + [3598] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(273), 8, + anon_sym_end, + anon_sym_SEMI, + anon_sym_RPAREN, + anon_sym_EQ_GT, + anon_sym_u21d2, + anon_sym_COMMA, + anon_sym_COLON_EQ, + anon_sym_u2192, + [3612] = 3, + ACTIONS(3), 1, + sym_comment, + ACTIONS(233), 3, + sym_symbol, + anon_sym_LBRACK_RBRACK, + anon_sym_COMMA, + ACTIONS(231), 5, + sym_identifier, + anon_sym_LPAREN, + sym_star, + anon_sym_u25a1, + anon_sym_u2192, + [3628] = 3, + ACTIONS(3), 1, + sym_comment, + ACTIONS(219), 3, + sym_symbol, + anon_sym_LBRACK_RBRACK, + anon_sym_COMMA, + ACTIONS(217), 5, + sym_identifier, + anon_sym_LPAREN, + sym_star, + anon_sym_u25a1, + anon_sym_u2192, + [3644] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(275), 8, + anon_sym_end, + anon_sym_SEMI, + anon_sym_RPAREN, + anon_sym_EQ_GT, + anon_sym_u21d2, + anon_sym_COMMA, + anon_sym_COLON_EQ, + anon_sym_u2192, + [3658] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(277), 8, + anon_sym_end, + anon_sym_SEMI, + anon_sym_RPAREN, + anon_sym_EQ_GT, + anon_sym_u21d2, + anon_sym_COMMA, + anon_sym_COLON_EQ, + anon_sym_u2192, + [3672] = 3, + ACTIONS(3), 1, + sym_comment, + ACTIONS(237), 3, + sym_symbol, + anon_sym_LBRACK_RBRACK, + anon_sym_COMMA, + ACTIONS(235), 5, + sym_identifier, + anon_sym_LPAREN, + sym_star, + anon_sym_u25a1, + anon_sym_u2192, + [3688] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(279), 8, + anon_sym_end, + anon_sym_SEMI, + anon_sym_RPAREN, + anon_sym_EQ_GT, + anon_sym_u21d2, + anon_sym_COMMA, + anon_sym_COLON_EQ, + anon_sym_u2192, + [3702] = 3, + ACTIONS(3), 1, + sym_comment, + ACTIONS(241), 3, + sym_symbol, + anon_sym_LBRACK_RBRACK, + anon_sym_COMMA, + ACTIONS(239), 5, + sym_identifier, + anon_sym_LPAREN, + sym_star, + anon_sym_u25a1, + anon_sym_u2192, + [3718] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(281), 8, + anon_sym_end, + anon_sym_SEMI, + anon_sym_RPAREN, + anon_sym_EQ_GT, + anon_sym_u21d2, + anon_sym_COMMA, + anon_sym_COLON_EQ, + anon_sym_u2192, + [3732] = 3, + ACTIONS(3), 1, + sym_comment, + ACTIONS(231), 4, + anon_sym_LPAREN, + sym_star, + anon_sym_u25a1, + anon_sym_u2192, + ACTIONS(233), 4, + sym_identifier, + sym_symbol, + anon_sym_end, + anon_sym_LBRACK_RBRACK, + [3748] = 3, + ACTIONS(3), 1, + sym_comment, + ACTIONS(217), 4, + anon_sym_LPAREN, + sym_star, + anon_sym_u25a1, + anon_sym_u2192, + ACTIONS(219), 4, + sym_identifier, + sym_symbol, + anon_sym_end, + anon_sym_LBRACK_RBRACK, + [3764] = 5, + ACTIONS(3), 1, + sym_comment, + ACTIONS(283), 1, + anon_sym_LPAREN, ACTIONS(286), 1, - anon_sym_SEMI, - [2886] = 2, + anon_sym_COLON, + STATE(108), 2, + sym_param_block, + aux_sym_labs_repeat1, + ACTIONS(288), 4, + anon_sym_EQ_GT, + anon_sym_u21d2, + anon_sym_COMMA, + anon_sym_COLON_EQ, + [3784] = 3, ACTIONS(3), 1, sym_comment, - ACTIONS(288), 1, - anon_sym_RPAREN, - [2893] = 2, + ACTIONS(235), 4, + anon_sym_LPAREN, + sym_star, + anon_sym_u25a1, + anon_sym_u2192, + ACTIONS(237), 4, + sym_identifier, + sym_symbol, + anon_sym_end, + anon_sym_LBRACK_RBRACK, + [3800] = 3, + ACTIONS(3), 1, + sym_comment, + ACTIONS(239), 4, + anon_sym_LPAREN, + sym_star, + anon_sym_u25a1, + anon_sym_u2192, + ACTIONS(241), 4, + sym_identifier, + sym_symbol, + anon_sym_end, + anon_sym_LBRACK_RBRACK, + [3816] = 6, ACTIONS(3), 1, sym_comment, ACTIONS(290), 1, - anon_sym_SEMI, - [2900] = 2, - ACTIONS(3), 1, - sym_comment, + anon_sym_LPAREN, ACTIONS(292), 1, - anon_sym_SEMI, - [2907] = 2, + anon_sym_COLON, + STATE(161), 1, + sym_ascription, + ACTIONS(294), 2, + anon_sym_EQ_GT, + anon_sym_u21d2, + STATE(108), 2, + sym_param_block, + aux_sym_labs_repeat1, + [3837] = 6, ACTIONS(3), 1, sym_comment, - ACTIONS(294), 1, - anon_sym_COLON_EQ, - [2914] = 2, + ACTIONS(290), 1, + anon_sym_LPAREN, + ACTIONS(292), 1, + anon_sym_COLON, + STATE(158), 1, + sym_ascription, + ACTIONS(296), 2, + anon_sym_EQ_GT, + anon_sym_u21d2, + STATE(108), 2, + sym_param_block, + aux_sym_labs_repeat1, + [3858] = 6, ACTIONS(3), 1, sym_comment, - ACTIONS(208), 1, - anon_sym_COLON_EQ, - [2921] = 2, + ACTIONS(290), 1, + anon_sym_LPAREN, + ACTIONS(292), 1, + anon_sym_COLON, + STATE(164), 1, + sym_ascription, + ACTIONS(298), 2, + anon_sym_EQ_GT, + anon_sym_u21d2, + STATE(108), 2, + sym_param_block, + aux_sym_labs_repeat1, + [3879] = 6, ACTIONS(3), 1, sym_comment, - ACTIONS(296), 1, - anon_sym_COMMA, - [2928] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(298), 1, - anon_sym_SEMI, - [2935] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(300), 1, - sym_identifier, - [2942] = 2, + ACTIONS(290), 1, + anon_sym_LPAREN, + ACTIONS(292), 1, + anon_sym_COLON, + STATE(166), 1, + sym_ascription, + ACTIONS(300), 2, + anon_sym_EQ_GT, + anon_sym_u21d2, + STATE(108), 2, + sym_param_block, + aux_sym_labs_repeat1, + [3900] = 6, ACTIONS(3), 1, sym_comment, + ACTIONS(290), 1, + anon_sym_LPAREN, ACTIONS(302), 1, - anon_sym_SEMI, - [2949] = 2, - ACTIONS(3), 1, - sym_comment, + anon_sym_COLON, ACTIONS(304), 1, - anon_sym_end, - [2956] = 2, + anon_sym_COMMA, + STATE(191), 1, + sym_ascription, + STATE(108), 2, + sym_param_block, + aux_sym_labs_repeat1, + [3920] = 6, ACTIONS(3), 1, sym_comment, + ACTIONS(290), 1, + anon_sym_LPAREN, ACTIONS(306), 1, - sym_identifier, - [2963] = 2, - ACTIONS(3), 1, - sym_comment, + anon_sym_COLON, ACTIONS(308), 1, - anon_sym_end, - [2970] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(310), 1, - anon_sym_SEMI, - [2977] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(212), 1, anon_sym_COLON_EQ, - [2984] = 2, + STATE(214), 1, + sym_ascription, + STATE(108), 2, + sym_param_block, + aux_sym_labs_repeat1, + [3940] = 6, ACTIONS(3), 1, sym_comment, - ACTIONS(312), 1, - anon_sym_RPAREN, - [2991] = 2, - ACTIONS(272), 1, + ACTIONS(290), 1, + anon_sym_LPAREN, + ACTIONS(306), 1, + anon_sym_COLON, + ACTIONS(310), 1, + anon_sym_COLON_EQ, + STATE(200), 1, + sym_ascription, + STATE(120), 2, + sym_param_block, + aux_sym_labs_repeat1, + [3960] = 6, + ACTIONS(3), 1, sym_comment, - ACTIONS(314), 1, - sym_post_command, - [2998] = 2, + ACTIONS(290), 1, + anon_sym_LPAREN, + ACTIONS(306), 1, + anon_sym_COLON, + ACTIONS(312), 1, + anon_sym_COLON_EQ, + STATE(205), 1, + sym_ascription, + STATE(116), 2, + sym_param_block, + aux_sym_labs_repeat1, + [3980] = 3, ACTIONS(3), 1, sym_comment, ACTIONS(316), 1, + anon_sym_COLON, + ACTIONS(314), 5, + anon_sym_LPAREN, + anon_sym_EQ_GT, + anon_sym_u21d2, + anon_sym_COMMA, + anon_sym_COLON_EQ, + [3994] = 6, + ACTIONS(3), 1, + sym_comment, + ACTIONS(290), 1, + anon_sym_LPAREN, + ACTIONS(306), 1, + anon_sym_COLON, + ACTIONS(318), 1, + anon_sym_COLON_EQ, + STATE(207), 1, + sym_ascription, + STATE(108), 2, + sym_param_block, + aux_sym_labs_repeat1, + [4014] = 6, + ACTIONS(3), 1, + sym_comment, + ACTIONS(290), 1, + anon_sym_LPAREN, + ACTIONS(302), 1, + anon_sym_COLON, + ACTIONS(320), 1, + anon_sym_COMMA, + STATE(177), 1, + sym_ascription, + STATE(108), 2, + sym_param_block, + aux_sym_labs_repeat1, + [4034] = 6, + ACTIONS(3), 1, + sym_comment, + ACTIONS(290), 1, + anon_sym_LPAREN, + ACTIONS(302), 1, + anon_sym_COLON, + ACTIONS(322), 1, + anon_sym_COMMA, + STATE(183), 1, + sym_ascription, + STATE(108), 2, + sym_param_block, + aux_sym_labs_repeat1, + [4054] = 6, + ACTIONS(3), 1, + sym_comment, + ACTIONS(290), 1, + anon_sym_LPAREN, + ACTIONS(302), 1, + anon_sym_COLON, + ACTIONS(324), 1, + anon_sym_COMMA, + STATE(185), 1, + sym_ascription, + STATE(108), 2, + sym_param_block, + aux_sym_labs_repeat1, + [4074] = 6, + ACTIONS(3), 1, + sym_comment, + ACTIONS(290), 1, + anon_sym_LPAREN, + ACTIONS(306), 1, + anon_sym_COLON, + ACTIONS(326), 1, + anon_sym_COLON_EQ, + STATE(215), 1, + sym_ascription, + STATE(108), 2, + sym_param_block, + aux_sym_labs_repeat1, + [4094] = 6, + ACTIONS(3), 1, + sym_comment, + ACTIONS(290), 1, + anon_sym_LPAREN, + ACTIONS(306), 1, + anon_sym_COLON, + ACTIONS(328), 1, + anon_sym_COLON_EQ, + STATE(213), 1, + sym_ascription, + STATE(124), 2, + sym_param_block, + aux_sym_labs_repeat1, + [4114] = 5, + ACTIONS(3), 1, + sym_comment, + ACTIONS(290), 1, + anon_sym_LPAREN, + ACTIONS(330), 1, + anon_sym_COLON, + STATE(182), 1, + sym_ascription, + STATE(129), 2, + sym_param_block, + aux_sym_labs_repeat1, + [4131] = 3, + ACTIONS(3), 1, + sym_comment, + ACTIONS(332), 1, + sym_symbol, + ACTIONS(334), 4, + anon_sym_SEMI, + anon_sym_RPAREN, + anon_sym_COLON_EQ, + anon_sym_u2192, + [4144] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(336), 5, + anon_sym_SEMI, + anon_sym_EQ_GT, + anon_sym_u21d2, + anon_sym_COMMA, + anon_sym_COLON_EQ, + [4155] = 5, + ACTIONS(3), 1, + sym_comment, + ACTIONS(290), 1, + anon_sym_LPAREN, + ACTIONS(330), 1, + anon_sym_COLON, + STATE(199), 1, + sym_ascription, + STATE(108), 2, + sym_param_block, + aux_sym_labs_repeat1, + [4172] = 5, + ACTIONS(3), 1, + sym_comment, + ACTIONS(290), 1, + anon_sym_LPAREN, + ACTIONS(330), 1, + anon_sym_COLON, + STATE(190), 1, + sym_ascription, + STATE(131), 2, + sym_param_block, + aux_sym_labs_repeat1, + [4189] = 5, + ACTIONS(3), 1, + sym_comment, + ACTIONS(290), 1, + anon_sym_LPAREN, + ACTIONS(330), 1, + anon_sym_COLON, + STATE(210), 1, + sym_ascription, + STATE(108), 2, + sym_param_block, + aux_sym_labs_repeat1, + [4206] = 4, + ACTIONS(3), 1, + sym_comment, + ACTIONS(338), 1, + anon_sym_LPAREN, + ACTIONS(341), 1, + anon_sym_in, + STATE(132), 2, + sym_binding, + aux_sym_let_repeat1, + [4220] = 4, + ACTIONS(3), 1, + sym_comment, + ACTIONS(343), 1, + sym_symbol, + ACTIONS(345), 1, + anon_sym_EQ_GT, + ACTIONS(334), 2, + anon_sym_u21d2, + anon_sym_u2192, + [4234] = 3, + ACTIONS(3), 1, + sym_comment, + ACTIONS(347), 1, + anon_sym_u2192, + ACTIONS(279), 3, + anon_sym_SEMI, + anon_sym_RPAREN, + anon_sym_COLON_EQ, + [4246] = 4, + ACTIONS(3), 1, + sym_comment, + ACTIONS(352), 1, + anon_sym_COLON, + STATE(135), 1, + aux_sym_variable_repeat1, + ACTIONS(349), 2, sym_identifier, - [3005] = 2, + sym_symbol, + [4260] = 4, + ACTIONS(3), 1, + sym_comment, + ACTIONS(354), 1, + anon_sym_LPAREN, + ACTIONS(356), 1, + anon_sym_in, + STATE(132), 2, + sym_binding, + aux_sym_let_repeat1, + [4274] = 4, + ACTIONS(3), 1, + sym_comment, + ACTIONS(360), 1, + anon_sym_COLON, + STATE(135), 1, + aux_sym_variable_repeat1, + ACTIONS(358), 2, + sym_identifier, + sym_symbol, + [4288] = 3, + ACTIONS(3), 1, + sym_comment, + ACTIONS(362), 1, + anon_sym_u2192, + ACTIONS(279), 2, + anon_sym_EQ_GT, + anon_sym_u21d2, + [4299] = 4, + ACTIONS(3), 1, + sym_comment, + ACTIONS(364), 1, + anon_sym_SEMI, + ACTIONS(366), 1, + anon_sym_LPAREN, + STATE(154), 1, + aux_sym_variable_repeat2, + [4312] = 4, + ACTIONS(3), 1, + sym_comment, + ACTIONS(368), 1, + sym_identifier, + ACTIONS(370), 1, + anon_sym_COLON, + STATE(144), 1, + aux_sym_param_block_repeat1, + [4325] = 3, + ACTIONS(3), 1, + sym_comment, + STATE(137), 1, + aux_sym_variable_repeat1, + ACTIONS(372), 2, + sym_identifier, + sym_symbol, + [4336] = 3, + ACTIONS(3), 1, + sym_comment, + ACTIONS(290), 1, + anon_sym_LPAREN, + STATE(112), 2, + sym_param_block, + aux_sym_labs_repeat1, + [4347] = 3, + ACTIONS(3), 1, + sym_comment, + ACTIONS(290), 1, + anon_sym_LPAREN, + STATE(122), 2, + sym_param_block, + aux_sym_labs_repeat1, + [4358] = 4, + ACTIONS(3), 1, + sym_comment, + ACTIONS(374), 1, + sym_identifier, + ACTIONS(377), 1, + anon_sym_COLON, + STATE(144), 1, + aux_sym_param_block_repeat1, + [4371] = 4, + ACTIONS(3), 1, + sym_comment, + ACTIONS(366), 1, + anon_sym_LPAREN, + ACTIONS(379), 1, + anon_sym_SEMI, + STATE(154), 1, + aux_sym_variable_repeat2, + [4384] = 3, + ACTIONS(3), 1, + sym_comment, + ACTIONS(381), 1, + sym_symbol, + ACTIONS(334), 2, + anon_sym_end, + anon_sym_u2192, + [4395] = 3, + ACTIONS(3), 1, + sym_comment, + ACTIONS(290), 1, + anon_sym_LPAREN, + STATE(111), 2, + sym_param_block, + aux_sym_labs_repeat1, + [4406] = 3, + ACTIONS(3), 1, + sym_comment, + ACTIONS(290), 1, + anon_sym_LPAREN, + STATE(121), 2, + sym_param_block, + aux_sym_labs_repeat1, + [4417] = 4, + ACTIONS(3), 1, + sym_comment, + ACTIONS(334), 1, + anon_sym_u2192, + ACTIONS(345), 1, + anon_sym_COMMA, + ACTIONS(383), 1, + sym_symbol, + [4430] = 3, + ACTIONS(3), 1, + sym_comment, + ACTIONS(290), 1, + anon_sym_LPAREN, + STATE(113), 2, + sym_param_block, + aux_sym_labs_repeat1, + [4441] = 3, + ACTIONS(3), 1, + sym_comment, + ACTIONS(290), 1, + anon_sym_LPAREN, + STATE(123), 2, + sym_param_block, + aux_sym_labs_repeat1, + [4452] = 3, + ACTIONS(3), 1, + sym_comment, + ACTIONS(290), 1, + anon_sym_LPAREN, + STATE(114), 2, + sym_param_block, + aux_sym_labs_repeat1, + [4463] = 3, + ACTIONS(3), 1, + sym_comment, + ACTIONS(290), 1, + anon_sym_LPAREN, + STATE(115), 2, + sym_param_block, + aux_sym_labs_repeat1, + [4474] = 4, + ACTIONS(3), 1, + sym_comment, + ACTIONS(385), 1, + anon_sym_SEMI, + ACTIONS(387), 1, + anon_sym_LPAREN, + STATE(154), 1, + aux_sym_variable_repeat2, + [4487] = 3, + ACTIONS(3), 1, + sym_comment, + ACTIONS(354), 1, + anon_sym_LPAREN, + STATE(136), 2, + sym_binding, + aux_sym_let_repeat1, + [4498] = 3, + ACTIONS(3), 1, + sym_comment, + ACTIONS(366), 1, + anon_sym_LPAREN, + STATE(139), 1, + aux_sym_variable_repeat2, + [4508] = 3, + ACTIONS(3), 1, + sym_comment, + ACTIONS(390), 1, + sym_identifier, + STATE(140), 1, + aux_sym_param_block_repeat1, + [4518] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(392), 2, + anon_sym_EQ_GT, + anon_sym_u21d2, + [4526] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(394), 2, + sym_identifier, + sym_symbol, + [4534] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(396), 2, + anon_sym_LPAREN, + anon_sym_in, + [4542] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(398), 2, + anon_sym_EQ_GT, + anon_sym_u21d2, + [4550] = 3, + ACTIONS(3), 1, + sym_comment, + ACTIONS(279), 1, + anon_sym_COMMA, + ACTIONS(400), 1, + anon_sym_u2192, + [4560] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(402), 2, + anon_sym_LPAREN, + anon_sym_in, + [4568] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(404), 2, + anon_sym_EQ_GT, + anon_sym_u21d2, + [4576] = 3, + ACTIONS(3), 1, + sym_comment, + ACTIONS(279), 1, + anon_sym_end, + ACTIONS(406), 1, + anon_sym_u2192, + [4586] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(408), 2, + anon_sym_EQ_GT, + anon_sym_u21d2, + [4594] = 3, + ACTIONS(3), 1, + sym_comment, + ACTIONS(366), 1, + anon_sym_LPAREN, + STATE(145), 1, + aux_sym_variable_repeat2, + [4604] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(410), 2, + anon_sym_LPAREN, + anon_sym_in, + [4612] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(412), 2, + sym_identifier, + sym_symbol, + [4620] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(414), 2, + sym_identifier, + sym_symbol, + [4628] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(416), 2, + sym_identifier, + sym_symbol, + [4636] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(418), 2, + anon_sym_SEMI, + anon_sym_LPAREN, + [4644] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(420), 1, + sym_identifier, + [4651] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(422), 1, + sym_identifier, + [4658] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(424), 1, + anon_sym_SEMI, + [4665] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(426), 1, + anon_sym_RPAREN, + [4672] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(428), 1, + anon_sym_COMMA, + [4679] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(430), 1, + anon_sym_SEMI, + [4686] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(432), 1, + sym_identifier, + [4693] = 2, + ACTIONS(434), 1, + sym_comment, + ACTIONS(436), 1, + sym_post_command, + [4700] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(438), 1, + anon_sym_RPAREN, + [4707] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(440), 1, + anon_sym_SEMI, + [4714] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(442), 1, + anon_sym_COMMA, + [4721] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(444), 1, + anon_sym_SEMI, + [4728] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(446), 1, + anon_sym_COMMA, + [4735] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(448), 1, + anon_sym_RPAREN, + [4742] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(450), 1, + anon_sym_RPAREN, + [4749] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(452), 1, + sym_precedence, + [4756] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(454), 1, + sym_symbol, + [4763] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(456), 1, + anon_sym_SEMI, + [4770] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(458), 1, + anon_sym_COMMA, + [4777] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(460), 1, + anon_sym_RPAREN, + [4784] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(462), 1, + anon_sym_RPAREN, + [4791] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(464), 1, + anon_sym_RPAREN, + [4798] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(466), 1, + anon_sym_end, + [4805] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(468), 1, + anon_sym_SEMI, + [4812] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(470), 1, + anon_sym_RPAREN, + [4819] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(472), 1, + sym_identifier, + [4826] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(474), 1, + anon_sym_SEMI, + [4833] = 2, ACTIONS(3), 1, sym_comment, ACTIONS(318), 1, - sym_identifier, - [3012] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(320), 1, - ts_builtin_sym_end, - [3019] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(322), 1, - anon_sym_RPAREN, - [3026] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(218), 1, anon_sym_COLON_EQ, - [3033] = 2, + [4840] = 2, ACTIONS(3), 1, sym_comment, - ACTIONS(324), 1, + ACTIONS(476), 1, + anon_sym_RPAREN, + [4847] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(478), 1, + anon_sym_end, + [4854] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(480), 1, + anon_sym_end, + [4861] = 2, + ACTIONS(434), 1, + sym_comment, + ACTIONS(482), 1, + sym_post_command, + [4868] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(308), 1, + anon_sym_COLON_EQ, + [4875] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(484), 1, anon_sym_SEMI, - [3040] = 2, + [4882] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(486), 1, + anon_sym_COLON_EQ, + [4889] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(488), 1, + anon_sym_SEMI, + [4896] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(490), 1, + sym_precedence, + [4903] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(492), 1, + anon_sym_SEMI, + [4910] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(494), 1, + anon_sym_SEMI, + [4917] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(496), 1, + ts_builtin_sym_end, + [4924] = 2, ACTIONS(3), 1, sym_comment, ACTIONS(326), 1, anon_sym_COLON_EQ, - [3047] = 2, + [4931] = 2, ACTIONS(3), 1, sym_comment, - ACTIONS(328), 1, + ACTIONS(498), 1, + anon_sym_COLON_EQ, + [4938] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(500), 1, + anon_sym_COLON_EQ, + [4945] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(502), 1, sym_identifier, - [3054] = 2, + [4952] = 2, ACTIONS(3), 1, sym_comment, - ACTIONS(330), 1, - sym_identifier, - [3061] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(332), 1, + ACTIONS(504), 1, anon_sym_SEMI, + [4959] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(506), 1, + sym_symbol, }; static const uint32_t ts_small_parse_table_map[] = { [SMALL_STATE(2)] = 0, - [SMALL_STATE(3)] = 57, - [SMALL_STATE(4)] = 114, - [SMALL_STATE(5)] = 171, - [SMALL_STATE(6)] = 228, - [SMALL_STATE(7)] = 285, - [SMALL_STATE(8)] = 342, - [SMALL_STATE(9)] = 399, - [SMALL_STATE(10)] = 456, - [SMALL_STATE(11)] = 513, - [SMALL_STATE(12)] = 570, - [SMALL_STATE(13)] = 627, - [SMALL_STATE(14)] = 684, - [SMALL_STATE(15)] = 741, - [SMALL_STATE(16)] = 798, - [SMALL_STATE(17)] = 855, - [SMALL_STATE(18)] = 912, - [SMALL_STATE(19)] = 969, - [SMALL_STATE(20)] = 1026, - [SMALL_STATE(21)] = 1083, - [SMALL_STATE(22)] = 1140, - [SMALL_STATE(23)] = 1197, - [SMALL_STATE(24)] = 1254, - [SMALL_STATE(25)] = 1311, - [SMALL_STATE(26)] = 1368, - [SMALL_STATE(27)] = 1405, - [SMALL_STATE(28)] = 1442, - [SMALL_STATE(29)] = 1462, - [SMALL_STATE(30)] = 1484, - [SMALL_STATE(31)] = 1515, - [SMALL_STATE(32)] = 1546, - [SMALL_STATE(33)] = 1565, - [SMALL_STATE(34)] = 1584, - [SMALL_STATE(35)] = 1615, - [SMALL_STATE(36)] = 1634, - [SMALL_STATE(37)] = 1665, - [SMALL_STATE(38)] = 1696, - [SMALL_STATE(39)] = 1715, - [SMALL_STATE(40)] = 1746, - [SMALL_STATE(41)] = 1780, - [SMALL_STATE(42)] = 1814, - [SMALL_STATE(43)] = 1829, - [SMALL_STATE(44)] = 1844, - [SMALL_STATE(45)] = 1859, - [SMALL_STATE(46)] = 1880, - [SMALL_STATE(47)] = 1899, - [SMALL_STATE(48)] = 1914, - [SMALL_STATE(49)] = 1931, - [SMALL_STATE(50)] = 1946, - [SMALL_STATE(51)] = 1961, - [SMALL_STATE(52)] = 1976, - [SMALL_STATE(53)] = 1991, - [SMALL_STATE(54)] = 2007, - [SMALL_STATE(55)] = 2023, - [SMALL_STATE(56)] = 2039, - [SMALL_STATE(57)] = 2055, - [SMALL_STATE(58)] = 2071, - [SMALL_STATE(59)] = 2092, - [SMALL_STATE(60)] = 2105, - [SMALL_STATE(61)] = 2118, - [SMALL_STATE(62)] = 2131, - [SMALL_STATE(63)] = 2144, - [SMALL_STATE(64)] = 2159, - [SMALL_STATE(65)] = 2172, - [SMALL_STATE(66)] = 2185, - [SMALL_STATE(67)] = 2198, - [SMALL_STATE(68)] = 2211, - [SMALL_STATE(69)] = 2224, - [SMALL_STATE(70)] = 2237, - [SMALL_STATE(71)] = 2258, - [SMALL_STATE(72)] = 2271, - [SMALL_STATE(73)] = 2284, - [SMALL_STATE(74)] = 2297, - [SMALL_STATE(75)] = 2310, - [SMALL_STATE(76)] = 2323, - [SMALL_STATE(77)] = 2336, - [SMALL_STATE(78)] = 2356, - [SMALL_STATE(79)] = 2376, - [SMALL_STATE(80)] = 2396, - [SMALL_STATE(81)] = 2416, - [SMALL_STATE(82)] = 2436, - [SMALL_STATE(83)] = 2456, - [SMALL_STATE(84)] = 2476, - [SMALL_STATE(85)] = 2496, - [SMALL_STATE(86)] = 2513, - [SMALL_STATE(87)] = 2530, - [SMALL_STATE(88)] = 2541, - [SMALL_STATE(89)] = 2558, - [SMALL_STATE(90)] = 2575, - [SMALL_STATE(91)] = 2589, - [SMALL_STATE(92)] = 2603, - [SMALL_STATE(93)] = 2617, - [SMALL_STATE(94)] = 2631, - [SMALL_STATE(95)] = 2642, - [SMALL_STATE(96)] = 2653, - [SMALL_STATE(97)] = 2666, - [SMALL_STATE(98)] = 2677, - [SMALL_STATE(99)] = 2688, - [SMALL_STATE(100)] = 2701, - [SMALL_STATE(101)] = 2712, - [SMALL_STATE(102)] = 2723, - [SMALL_STATE(103)] = 2734, - [SMALL_STATE(104)] = 2745, - [SMALL_STATE(105)] = 2753, - [SMALL_STATE(106)] = 2763, - [SMALL_STATE(107)] = 2771, - [SMALL_STATE(108)] = 2779, - [SMALL_STATE(109)] = 2787, - [SMALL_STATE(110)] = 2795, - [SMALL_STATE(111)] = 2802, - [SMALL_STATE(112)] = 2809, - [SMALL_STATE(113)] = 2816, - [SMALL_STATE(114)] = 2823, - [SMALL_STATE(115)] = 2830, - [SMALL_STATE(116)] = 2837, - [SMALL_STATE(117)] = 2844, - [SMALL_STATE(118)] = 2851, - [SMALL_STATE(119)] = 2858, - [SMALL_STATE(120)] = 2865, - [SMALL_STATE(121)] = 2872, - [SMALL_STATE(122)] = 2879, - [SMALL_STATE(123)] = 2886, - [SMALL_STATE(124)] = 2893, - [SMALL_STATE(125)] = 2900, - [SMALL_STATE(126)] = 2907, - [SMALL_STATE(127)] = 2914, - [SMALL_STATE(128)] = 2921, - [SMALL_STATE(129)] = 2928, - [SMALL_STATE(130)] = 2935, - [SMALL_STATE(131)] = 2942, - [SMALL_STATE(132)] = 2949, - [SMALL_STATE(133)] = 2956, - [SMALL_STATE(134)] = 2963, - [SMALL_STATE(135)] = 2970, - [SMALL_STATE(136)] = 2977, - [SMALL_STATE(137)] = 2984, - [SMALL_STATE(138)] = 2991, - [SMALL_STATE(139)] = 2998, - [SMALL_STATE(140)] = 3005, - [SMALL_STATE(141)] = 3012, - [SMALL_STATE(142)] = 3019, - [SMALL_STATE(143)] = 3026, - [SMALL_STATE(144)] = 3033, - [SMALL_STATE(145)] = 3040, - [SMALL_STATE(146)] = 3047, - [SMALL_STATE(147)] = 3054, - [SMALL_STATE(148)] = 3061, + [SMALL_STATE(3)] = 60, + [SMALL_STATE(4)] = 120, + [SMALL_STATE(5)] = 180, + [SMALL_STATE(6)] = 240, + [SMALL_STATE(7)] = 300, + [SMALL_STATE(8)] = 360, + [SMALL_STATE(9)] = 420, + [SMALL_STATE(10)] = 480, + [SMALL_STATE(11)] = 540, + [SMALL_STATE(12)] = 600, + [SMALL_STATE(13)] = 660, + [SMALL_STATE(14)] = 720, + [SMALL_STATE(15)] = 780, + [SMALL_STATE(16)] = 840, + [SMALL_STATE(17)] = 900, + [SMALL_STATE(18)] = 960, + [SMALL_STATE(19)] = 1020, + [SMALL_STATE(20)] = 1080, + [SMALL_STATE(21)] = 1140, + [SMALL_STATE(22)] = 1200, + [SMALL_STATE(23)] = 1260, + [SMALL_STATE(24)] = 1320, + [SMALL_STATE(25)] = 1380, + [SMALL_STATE(26)] = 1440, + [SMALL_STATE(27)] = 1500, + [SMALL_STATE(28)] = 1560, + [SMALL_STATE(29)] = 1620, + [SMALL_STATE(30)] = 1680, + [SMALL_STATE(31)] = 1740, + [SMALL_STATE(32)] = 1800, + [SMALL_STATE(33)] = 1860, + [SMALL_STATE(34)] = 1920, + [SMALL_STATE(35)] = 1980, + [SMALL_STATE(36)] = 2040, + [SMALL_STATE(37)] = 2100, + [SMALL_STATE(38)] = 2160, + [SMALL_STATE(39)] = 2220, + [SMALL_STATE(40)] = 2280, + [SMALL_STATE(41)] = 2340, + [SMALL_STATE(42)] = 2376, + [SMALL_STATE(43)] = 2412, + [SMALL_STATE(44)] = 2448, + [SMALL_STATE(45)] = 2484, + [SMALL_STATE(46)] = 2520, + [SMALL_STATE(47)] = 2556, + [SMALL_STATE(48)] = 2594, + [SMALL_STATE(49)] = 2632, + [SMALL_STATE(50)] = 2669, + [SMALL_STATE(51)] = 2706, + [SMALL_STATE(52)] = 2742, + [SMALL_STATE(53)] = 2778, + [SMALL_STATE(54)] = 2814, + [SMALL_STATE(55)] = 2850, + [SMALL_STATE(56)] = 2883, + [SMALL_STATE(57)] = 2904, + [SMALL_STATE(58)] = 2937, + [SMALL_STATE(59)] = 2956, + [SMALL_STATE(60)] = 2989, + [SMALL_STATE(61)] = 3022, + [SMALL_STATE(62)] = 3042, + [SMALL_STATE(63)] = 3060, + [SMALL_STATE(64)] = 3078, + [SMALL_STATE(65)] = 3096, + [SMALL_STATE(66)] = 3114, + [SMALL_STATE(67)] = 3132, + [SMALL_STATE(68)] = 3147, + [SMALL_STATE(69)] = 3162, + [SMALL_STATE(70)] = 3177, + [SMALL_STATE(71)] = 3192, + [SMALL_STATE(72)] = 3207, + [SMALL_STATE(73)] = 3222, + [SMALL_STATE(74)] = 3237, + [SMALL_STATE(75)] = 3252, + [SMALL_STATE(76)] = 3267, + [SMALL_STATE(77)] = 3284, + [SMALL_STATE(78)] = 3301, + [SMALL_STATE(79)] = 3316, + [SMALL_STATE(80)] = 3331, + [SMALL_STATE(81)] = 3348, + [SMALL_STATE(82)] = 3363, + [SMALL_STATE(83)] = 3378, + [SMALL_STATE(84)] = 3395, + [SMALL_STATE(85)] = 3410, + [SMALL_STATE(86)] = 3425, + [SMALL_STATE(87)] = 3442, + [SMALL_STATE(88)] = 3461, + [SMALL_STATE(89)] = 3476, + [SMALL_STATE(90)] = 3493, + [SMALL_STATE(91)] = 3512, + [SMALL_STATE(92)] = 3527, + [SMALL_STATE(93)] = 3542, + [SMALL_STATE(94)] = 3556, + [SMALL_STATE(95)] = 3570, + [SMALL_STATE(96)] = 3584, + [SMALL_STATE(97)] = 3598, + [SMALL_STATE(98)] = 3612, + [SMALL_STATE(99)] = 3628, + [SMALL_STATE(100)] = 3644, + [SMALL_STATE(101)] = 3658, + [SMALL_STATE(102)] = 3672, + [SMALL_STATE(103)] = 3688, + [SMALL_STATE(104)] = 3702, + [SMALL_STATE(105)] = 3718, + [SMALL_STATE(106)] = 3732, + [SMALL_STATE(107)] = 3748, + [SMALL_STATE(108)] = 3764, + [SMALL_STATE(109)] = 3784, + [SMALL_STATE(110)] = 3800, + [SMALL_STATE(111)] = 3816, + [SMALL_STATE(112)] = 3837, + [SMALL_STATE(113)] = 3858, + [SMALL_STATE(114)] = 3879, + [SMALL_STATE(115)] = 3900, + [SMALL_STATE(116)] = 3920, + [SMALL_STATE(117)] = 3940, + [SMALL_STATE(118)] = 3960, + [SMALL_STATE(119)] = 3980, + [SMALL_STATE(120)] = 3994, + [SMALL_STATE(121)] = 4014, + [SMALL_STATE(122)] = 4034, + [SMALL_STATE(123)] = 4054, + [SMALL_STATE(124)] = 4074, + [SMALL_STATE(125)] = 4094, + [SMALL_STATE(126)] = 4114, + [SMALL_STATE(127)] = 4131, + [SMALL_STATE(128)] = 4144, + [SMALL_STATE(129)] = 4155, + [SMALL_STATE(130)] = 4172, + [SMALL_STATE(131)] = 4189, + [SMALL_STATE(132)] = 4206, + [SMALL_STATE(133)] = 4220, + [SMALL_STATE(134)] = 4234, + [SMALL_STATE(135)] = 4246, + [SMALL_STATE(136)] = 4260, + [SMALL_STATE(137)] = 4274, + [SMALL_STATE(138)] = 4288, + [SMALL_STATE(139)] = 4299, + [SMALL_STATE(140)] = 4312, + [SMALL_STATE(141)] = 4325, + [SMALL_STATE(142)] = 4336, + [SMALL_STATE(143)] = 4347, + [SMALL_STATE(144)] = 4358, + [SMALL_STATE(145)] = 4371, + [SMALL_STATE(146)] = 4384, + [SMALL_STATE(147)] = 4395, + [SMALL_STATE(148)] = 4406, + [SMALL_STATE(149)] = 4417, + [SMALL_STATE(150)] = 4430, + [SMALL_STATE(151)] = 4441, + [SMALL_STATE(152)] = 4452, + [SMALL_STATE(153)] = 4463, + [SMALL_STATE(154)] = 4474, + [SMALL_STATE(155)] = 4487, + [SMALL_STATE(156)] = 4498, + [SMALL_STATE(157)] = 4508, + [SMALL_STATE(158)] = 4518, + [SMALL_STATE(159)] = 4526, + [SMALL_STATE(160)] = 4534, + [SMALL_STATE(161)] = 4542, + [SMALL_STATE(162)] = 4550, + [SMALL_STATE(163)] = 4560, + [SMALL_STATE(164)] = 4568, + [SMALL_STATE(165)] = 4576, + [SMALL_STATE(166)] = 4586, + [SMALL_STATE(167)] = 4594, + [SMALL_STATE(168)] = 4604, + [SMALL_STATE(169)] = 4612, + [SMALL_STATE(170)] = 4620, + [SMALL_STATE(171)] = 4628, + [SMALL_STATE(172)] = 4636, + [SMALL_STATE(173)] = 4644, + [SMALL_STATE(174)] = 4651, + [SMALL_STATE(175)] = 4658, + [SMALL_STATE(176)] = 4665, + [SMALL_STATE(177)] = 4672, + [SMALL_STATE(178)] = 4679, + [SMALL_STATE(179)] = 4686, + [SMALL_STATE(180)] = 4693, + [SMALL_STATE(181)] = 4700, + [SMALL_STATE(182)] = 4707, + [SMALL_STATE(183)] = 4714, + [SMALL_STATE(184)] = 4721, + [SMALL_STATE(185)] = 4728, + [SMALL_STATE(186)] = 4735, + [SMALL_STATE(187)] = 4742, + [SMALL_STATE(188)] = 4749, + [SMALL_STATE(189)] = 4756, + [SMALL_STATE(190)] = 4763, + [SMALL_STATE(191)] = 4770, + [SMALL_STATE(192)] = 4777, + [SMALL_STATE(193)] = 4784, + [SMALL_STATE(194)] = 4791, + [SMALL_STATE(195)] = 4798, + [SMALL_STATE(196)] = 4805, + [SMALL_STATE(197)] = 4812, + [SMALL_STATE(198)] = 4819, + [SMALL_STATE(199)] = 4826, + [SMALL_STATE(200)] = 4833, + [SMALL_STATE(201)] = 4840, + [SMALL_STATE(202)] = 4847, + [SMALL_STATE(203)] = 4854, + [SMALL_STATE(204)] = 4861, + [SMALL_STATE(205)] = 4868, + [SMALL_STATE(206)] = 4875, + [SMALL_STATE(207)] = 4882, + [SMALL_STATE(208)] = 4889, + [SMALL_STATE(209)] = 4896, + [SMALL_STATE(210)] = 4903, + [SMALL_STATE(211)] = 4910, + [SMALL_STATE(212)] = 4917, + [SMALL_STATE(213)] = 4924, + [SMALL_STATE(214)] = 4931, + [SMALL_STATE(215)] = 4938, + [SMALL_STATE(216)] = 4945, + [SMALL_STATE(217)] = 4952, + [SMALL_STATE(218)] = 4959, }; static const TSParseActionEntry ts_parse_actions[] = { [0] = {.entry = {.count = 0, .reusable = false}}, [1] = {.entry = {.count = 1, .reusable = false}}, RECOVER(), [3] = {.entry = {.count = 1, .reusable = true}}, SHIFT_EXTRA(), - [5] = {.entry = {.count = 1, .reusable = true}}, SHIFT(130), - [7] = {.entry = {.count = 1, .reusable = true}}, SHIFT(94), - [9] = {.entry = {.count = 1, .reusable = true}}, SHIFT(115), - [11] = {.entry = {.count = 1, .reusable = true}}, SHIFT(110), - [13] = {.entry = {.count = 1, .reusable = true}}, SHIFT(138), - [15] = {.entry = {.count = 1, .reusable = false}}, SHIFT(56), - [17] = {.entry = {.count = 1, .reusable = true}}, SHIFT(23), - [19] = {.entry = {.count = 1, .reusable = true}}, SHIFT(57), - [21] = {.entry = {.count = 1, .reusable = true}}, SHIFT(48), - [23] = {.entry = {.count = 1, .reusable = true}}, SHIFT(102), - [25] = {.entry = {.count = 1, .reusable = false}}, SHIFT(102), - [27] = {.entry = {.count = 1, .reusable = true}}, SHIFT(100), - [29] = {.entry = {.count = 1, .reusable = false}}, SHIFT(100), - [31] = {.entry = {.count = 1, .reusable = false}}, SHIFT(101), - [33] = {.entry = {.count = 1, .reusable = false}}, SHIFT(33), - [35] = {.entry = {.count = 1, .reusable = true}}, SHIFT(5), - [37] = {.entry = {.count = 1, .reusable = true}}, SHIFT(35), - [39] = {.entry = {.count = 1, .reusable = true}}, SHIFT(28), - [41] = {.entry = {.count = 1, .reusable = true}}, SHIFT(95), - [43] = {.entry = {.count = 1, .reusable = false}}, SHIFT(95), - [45] = {.entry = {.count = 1, .reusable = true}}, SHIFT(97), - [47] = {.entry = {.count = 1, .reusable = false}}, SHIFT(97), - [49] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_app_repeat1, 2, 0, 0), SHIFT_REPEAT(33), - [52] = {.entry = {.count = 1, .reusable = true}}, REDUCE(aux_sym_app_repeat1, 2, 0, 0), - [54] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_app_repeat1, 2, 0, 0), SHIFT_REPEAT(5), - [57] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_app_repeat1, 2, 0, 0), SHIFT_REPEAT(35), - [60] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_app_repeat1, 2, 0, 0), SHIFT_REPEAT(28), - [63] = {.entry = {.count = 1, .reusable = true}}, SHIFT(33), - [65] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_app, 1, 0, 0), - [67] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_square, 1, 0, 0), - [69] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_sort, 1, 0, 0), - [71] = {.entry = {.count = 1, .reusable = true}}, SHIFT(38), - [73] = {.entry = {.count = 1, .reusable = true}}, SHIFT(146), - [75] = {.entry = {.count = 1, .reusable = true}}, SHIFT(103), - [77] = {.entry = {.count = 1, .reusable = true}}, SHIFT(140), - [79] = {.entry = {.count = 1, .reusable = true}}, SHIFT(147), - [81] = {.entry = {.count = 1, .reusable = true}}, SHIFT(116), - [83] = {.entry = {.count = 1, .reusable = true}}, REDUCE(aux_sym_program_repeat1, 2, 0, 0), - [85] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_program_repeat1, 2, 0, 0), SHIFT_REPEAT(130), - [88] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_program_repeat1, 2, 0, 0), SHIFT_REPEAT(94), - [91] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_program_repeat1, 2, 0, 0), SHIFT_REPEAT(115), - [94] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_program_repeat1, 2, 0, 0), SHIFT_REPEAT(110), - [97] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_program_repeat1, 2, 0, 0), SHIFT_REPEAT(138), - [100] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_term, 3, 0, 0), - [102] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_term, 1, 0, 0), - [104] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_program, 1, 0, 0), - [106] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_program_repeat1, 2, 0, 0), SHIFT_REPEAT(146), - [109] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_program_repeat1, 2, 0, 0), SHIFT_REPEAT(103), - [112] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_program_repeat1, 2, 0, 0), SHIFT_REPEAT(140), - [115] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_program_repeat1, 2, 0, 0), SHIFT_REPEAT(147), - [118] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_program_repeat1, 2, 0, 0), SHIFT_REPEAT(116), - [121] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_sort, 2, 0, 0), - [123] = {.entry = {.count = 2, .reusable = false}}, REDUCE(aux_sym_app_repeat1, 2, 0, 0), SHIFT_REPEAT(56), - [126] = {.entry = {.count = 1, .reusable = false}}, REDUCE(aux_sym_app_repeat1, 2, 0, 0), - [128] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_app_repeat1, 2, 0, 0), SHIFT_REPEAT(23), - [131] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_app_repeat1, 2, 0, 0), SHIFT_REPEAT(57), - [134] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_app_repeat1, 2, 0, 0), SHIFT_REPEAT(48), - [137] = {.entry = {.count = 1, .reusable = false}}, REDUCE(sym_app, 1, 0, 0), - [139] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_pabs, 5, 0, 0), - [141] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_labs, 5, 0, 0), - [143] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_let, 5, 0, 0), - [145] = {.entry = {.count = 1, .reusable = true}}, REDUCE(aux_sym_variable_repeat1, 2, 0, 0), - [147] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_variable_repeat1, 2, 0, 0), SHIFT_REPEAT(105), - [150] = {.entry = {.count = 1, .reusable = false}}, REDUCE(aux_sym_variable_repeat1, 2, 0, 0), - [152] = {.entry = {.count = 1, .reusable = false}}, REDUCE(sym_sort, 1, 0, 0), - [154] = {.entry = {.count = 1, .reusable = true}}, SHIFT(55), - [156] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_labs, 4, 0, 0), - [158] = {.entry = {.count = 1, .reusable = false}}, REDUCE(sym_square, 1, 0, 0), - [160] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_expr, 1, 0, 0), - [162] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_arrow, 3, 0, 0), - [164] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_pabs, 4, 0, 0), - [166] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_app_term, 1, 0, 0), - [168] = {.entry = {.count = 1, .reusable = true}}, SHIFT(6), - [170] = {.entry = {.count = 1, .reusable = false}}, REDUCE(sym_term, 3, 0, 0), - [172] = {.entry = {.count = 1, .reusable = false}}, REDUCE(sym_sort, 2, 0, 0), - [174] = {.entry = {.count = 1, .reusable = false}}, REDUCE(sym_term, 1, 0, 0), - [176] = {.entry = {.count = 1, .reusable = true}}, SHIFT(105), - [178] = {.entry = {.count = 1, .reusable = true}}, SHIFT(21), - [180] = {.entry = {.count = 1, .reusable = true}}, SHIFT(11), - [182] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_axiom, 5, 0, 2), - [184] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_preprocess, 2, 0, 0), - [186] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_definition, 5, 0, 2), - [188] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_param_block, 5, 0, 3), - [190] = {.entry = {.count = 1, .reusable = false}}, REDUCE(sym_param_block, 5, 0, 3), - [192] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_section, 5, 0, 0), - [194] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_variable, 3, 0, 0), - [196] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_definition, 6, 0, 2), - [198] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_definition, 7, 0, 2), - [200] = {.entry = {.count = 1, .reusable = true}}, SHIFT(17), - [202] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_axiom, 4, 0, 2), - [204] = {.entry = {.count = 1, .reusable = true}}, SHIFT(18), - [206] = {.entry = {.count = 1, .reusable = false}}, SHIFT(21), - [208] = {.entry = {.count = 1, .reusable = true}}, SHIFT(14), - [210] = {.entry = {.count = 1, .reusable = true}}, SHIFT(3), - [212] = {.entry = {.count = 1, .reusable = true}}, SHIFT(7), - [214] = {.entry = {.count = 1, .reusable = true}}, SHIFT(8), - [216] = {.entry = {.count = 1, .reusable = true}}, SHIFT(13), - [218] = {.entry = {.count = 1, .reusable = true}}, SHIFT(24), - [220] = {.entry = {.count = 1, .reusable = true}}, SHIFT(22), - [222] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_ascription, 2, 0, 1), - [224] = {.entry = {.count = 1, .reusable = true}}, SHIFT(73), - [226] = {.entry = {.count = 1, .reusable = true}}, SHIFT(133), - [228] = {.entry = {.count = 1, .reusable = true}}, SHIFT(2), - [230] = {.entry = {.count = 1, .reusable = true}}, SHIFT(65), - [232] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_let_repeat1, 2, 0, 0), SHIFT_REPEAT(133), - [235] = {.entry = {.count = 1, .reusable = true}}, REDUCE(aux_sym_let_repeat1, 2, 0, 0), - [237] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_param_block_repeat1, 2, 0, 0), SHIFT_REPEAT(96), - [240] = {.entry = {.count = 1, .reusable = true}}, REDUCE(aux_sym_param_block_repeat1, 2, 0, 0), - [242] = {.entry = {.count = 1, .reusable = true}}, SHIFT(16), - [244] = {.entry = {.count = 1, .reusable = true}}, SHIFT(96), - [246] = {.entry = {.count = 1, .reusable = true}}, SHIFT(4), - [248] = {.entry = {.count = 1, .reusable = true}}, SHIFT(9), - [250] = {.entry = {.count = 1, .reusable = true}}, SHIFT(99), - [252] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_binding, 5, 0, 0), - [254] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_binding, 6, 0, 0), - [256] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_binding, 7, 0, 0), - [258] = {.entry = {.count = 1, .reusable = true}}, SHIFT(19), - [260] = {.entry = {.count = 1, .reusable = true}}, SHIFT(79), - [262] = {.entry = {.count = 1, .reusable = true}}, SHIFT(12), - [264] = {.entry = {.count = 1, .reusable = true}}, SHIFT(44), - [266] = {.entry = {.count = 1, .reusable = true}}, SHIFT(10), - [268] = {.entry = {.count = 1, .reusable = true}}, SHIFT(108), - [270] = {.entry = {.count = 1, .reusable = true}}, SHIFT(86), - [272] = {.entry = {.count = 1, .reusable = false}}, SHIFT_EXTRA(), - [274] = {.entry = {.count = 1, .reusable = false}}, SHIFT(74), - [276] = {.entry = {.count = 1, .reusable = true}}, SHIFT(63), - [278] = {.entry = {.count = 1, .reusable = true}}, SHIFT(71), - [280] = {.entry = {.count = 1, .reusable = true}}, SHIFT(72), - [282] = {.entry = {.count = 1, .reusable = true}}, SHIFT(32), - [284] = {.entry = {.count = 1, .reusable = true}}, SHIFT(61), - [286] = {.entry = {.count = 1, .reusable = true}}, SHIFT(62), - [288] = {.entry = {.count = 1, .reusable = true}}, SHIFT(54), - [290] = {.entry = {.count = 1, .reusable = true}}, SHIFT(67), - [292] = {.entry = {.count = 1, .reusable = true}}, SHIFT(75), - [294] = {.entry = {.count = 1, .reusable = true}}, SHIFT(15), - [296] = {.entry = {.count = 1, .reusable = true}}, SHIFT(20), - [298] = {.entry = {.count = 1, .reusable = true}}, SHIFT(69), + [5] = {.entry = {.count = 1, .reusable = true}}, SHIFT(174), + [7] = {.entry = {.count = 1, .reusable = true}}, SHIFT(188), + [9] = {.entry = {.count = 1, .reusable = true}}, SHIFT(156), + [11] = {.entry = {.count = 1, .reusable = true}}, SHIFT(169), + [13] = {.entry = {.count = 1, .reusable = true}}, SHIFT(159), + [15] = {.entry = {.count = 1, .reusable = true}}, SHIFT(204), + [17] = {.entry = {.count = 1, .reusable = false}}, SHIFT(62), + [19] = {.entry = {.count = 1, .reusable = true}}, SHIFT(6), + [21] = {.entry = {.count = 1, .reusable = true}}, SHIFT(63), + [23] = {.entry = {.count = 1, .reusable = true}}, SHIFT(58), + [25] = {.entry = {.count = 1, .reusable = true}}, SHIFT(142), + [27] = {.entry = {.count = 1, .reusable = false}}, SHIFT(142), + [29] = {.entry = {.count = 1, .reusable = true}}, SHIFT(143), + [31] = {.entry = {.count = 1, .reusable = false}}, SHIFT(143), + [33] = {.entry = {.count = 1, .reusable = false}}, SHIFT(155), + [35] = {.entry = {.count = 1, .reusable = false}}, SHIFT(106), + [37] = {.entry = {.count = 1, .reusable = true}}, SHIFT(18), + [39] = {.entry = {.count = 1, .reusable = true}}, SHIFT(107), + [41] = {.entry = {.count = 1, .reusable = true}}, SHIFT(89), + [43] = {.entry = {.count = 1, .reusable = true}}, SHIFT(152), + [45] = {.entry = {.count = 1, .reusable = false}}, SHIFT(152), + [47] = {.entry = {.count = 1, .reusable = true}}, SHIFT(153), + [49] = {.entry = {.count = 1, .reusable = false}}, SHIFT(153), + [51] = {.entry = {.count = 1, .reusable = false}}, SHIFT(76), + [53] = {.entry = {.count = 1, .reusable = true}}, SHIFT(36), + [55] = {.entry = {.count = 1, .reusable = true}}, SHIFT(77), + [57] = {.entry = {.count = 1, .reusable = true}}, SHIFT(66), + [59] = {.entry = {.count = 1, .reusable = true}}, SHIFT(147), + [61] = {.entry = {.count = 1, .reusable = false}}, SHIFT(147), + [63] = {.entry = {.count = 1, .reusable = true}}, SHIFT(148), + [65] = {.entry = {.count = 1, .reusable = false}}, SHIFT(148), + [67] = {.entry = {.count = 1, .reusable = false}}, SHIFT(98), + [69] = {.entry = {.count = 1, .reusable = true}}, SHIFT(39), + [71] = {.entry = {.count = 1, .reusable = true}}, SHIFT(99), + [73] = {.entry = {.count = 1, .reusable = true}}, SHIFT(86), + [75] = {.entry = {.count = 1, .reusable = true}}, SHIFT(150), + [77] = {.entry = {.count = 1, .reusable = false}}, SHIFT(150), + [79] = {.entry = {.count = 1, .reusable = true}}, SHIFT(151), + [81] = {.entry = {.count = 1, .reusable = false}}, SHIFT(151), + [83] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_program, 1, 0, 0), + [85] = {.entry = {.count = 1, .reusable = true}}, SHIFT(216), + [87] = {.entry = {.count = 1, .reusable = true}}, SHIFT(209), + [89] = {.entry = {.count = 1, .reusable = true}}, SHIFT(167), + [91] = {.entry = {.count = 1, .reusable = true}}, SHIFT(170), + [93] = {.entry = {.count = 1, .reusable = true}}, SHIFT(171), + [95] = {.entry = {.count = 1, .reusable = true}}, SHIFT(180), + [97] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_program_repeat1, 2, 0, 0), SHIFT_REPEAT(216), + [100] = {.entry = {.count = 1, .reusable = true}}, REDUCE(aux_sym_program_repeat1, 2, 0, 0), + [102] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_program_repeat1, 2, 0, 0), SHIFT_REPEAT(209), + [105] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_program_repeat1, 2, 0, 0), SHIFT_REPEAT(167), + [108] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_program_repeat1, 2, 0, 0), SHIFT_REPEAT(170), + [111] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_program_repeat1, 2, 0, 0), SHIFT_REPEAT(171), + [114] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_program_repeat1, 2, 0, 0), SHIFT_REPEAT(180), + [117] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_program_repeat1, 2, 0, 0), SHIFT_REPEAT(174), + [120] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_program_repeat1, 2, 0, 0), SHIFT_REPEAT(188), + [123] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_program_repeat1, 2, 0, 0), SHIFT_REPEAT(156), + [126] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_program_repeat1, 2, 0, 0), SHIFT_REPEAT(169), + [129] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_program_repeat1, 2, 0, 0), SHIFT_REPEAT(159), + [132] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_program_repeat1, 2, 0, 0), SHIFT_REPEAT(204), + [135] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_app_repeat1, 2, 0, 0), SHIFT_REPEAT(62), + [138] = {.entry = {.count = 1, .reusable = false}}, REDUCE(aux_sym_app_repeat1, 2, 0, 0), + [140] = {.entry = {.count = 1, .reusable = true}}, REDUCE(aux_sym_app_repeat1, 2, 0, 0), + [142] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_app_repeat1, 2, 0, 0), SHIFT_REPEAT(6), + [145] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_app_repeat1, 2, 0, 0), SHIFT_REPEAT(63), + [148] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_app_repeat1, 2, 0, 0), SHIFT_REPEAT(58), + [151] = {.entry = {.count = 2, .reusable = false}}, REDUCE(aux_sym_app_repeat1, 2, 0, 0), SHIFT_REPEAT(58), + [154] = {.entry = {.count = 1, .reusable = true}}, SHIFT(62), + [156] = {.entry = {.count = 1, .reusable = false}}, REDUCE(sym_app, 1, 0, 0), + [158] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_app, 1, 0, 0), + [160] = {.entry = {.count = 1, .reusable = false}}, SHIFT(58), + [162] = {.entry = {.count = 1, .reusable = true}}, SHIFT(76), + [164] = {.entry = {.count = 1, .reusable = false}}, SHIFT(66), + [166] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_app_repeat1, 2, 0, 0), SHIFT_REPEAT(76), + [169] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_app_repeat1, 2, 0, 0), SHIFT_REPEAT(36), + [172] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_app_repeat1, 2, 0, 0), SHIFT_REPEAT(77), + [175] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_app_repeat1, 2, 0, 0), SHIFT_REPEAT(66), + [178] = {.entry = {.count = 2, .reusable = false}}, REDUCE(aux_sym_app_repeat1, 2, 0, 0), SHIFT_REPEAT(66), + [181] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_app_repeat1, 2, 0, 0), SHIFT_REPEAT(98), + [184] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_app_repeat1, 2, 0, 0), SHIFT_REPEAT(39), + [187] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_app_repeat1, 2, 0, 0), SHIFT_REPEAT(99), + [190] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_app_repeat1, 2, 0, 0), SHIFT_REPEAT(86), + [193] = {.entry = {.count = 2, .reusable = false}}, REDUCE(aux_sym_app_repeat1, 2, 0, 0), SHIFT_REPEAT(86), + [196] = {.entry = {.count = 1, .reusable = false}}, SHIFT(89), + [198] = {.entry = {.count = 2, .reusable = false}}, REDUCE(aux_sym_app_repeat1, 2, 0, 0), SHIFT_REPEAT(106), + [201] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_app_repeat1, 2, 0, 0), SHIFT_REPEAT(18), + [204] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_app_repeat1, 2, 0, 0), SHIFT_REPEAT(107), + [207] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_app_repeat1, 2, 0, 0), SHIFT_REPEAT(89), + [210] = {.entry = {.count = 2, .reusable = false}}, REDUCE(aux_sym_app_repeat1, 2, 0, 0), SHIFT_REPEAT(89), + [213] = {.entry = {.count = 1, .reusable = true}}, SHIFT(98), + [215] = {.entry = {.count = 1, .reusable = false}}, SHIFT(86), + [217] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_sort, 1, 0, 0), + [219] = {.entry = {.count = 1, .reusable = false}}, REDUCE(sym_sort, 1, 0, 0), + [221] = {.entry = {.count = 1, .reusable = true}}, SHIFT(64), + [223] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_square, 1, 0, 0), + [225] = {.entry = {.count = 1, .reusable = false}}, REDUCE(sym_square, 1, 0, 0), + [227] = {.entry = {.count = 1, .reusable = true}}, SHIFT(106), + [229] = {.entry = {.count = 1, .reusable = true}}, SHIFT(80), + [231] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_term, 1, 0, 0), + [233] = {.entry = {.count = 1, .reusable = false}}, REDUCE(sym_term, 1, 0, 0), + [235] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_sort, 2, 0, 0), + [237] = {.entry = {.count = 1, .reusable = false}}, REDUCE(sym_sort, 2, 0, 0), + [239] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_term, 3, 0, 0), + [241] = {.entry = {.count = 1, .reusable = false}}, REDUCE(sym_term, 3, 0, 0), + [243] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_variable, 3, 0, 1), + [245] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_definition, 5, 0, 4), + [247] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_axiom, 5, 0, 4), + [249] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_definition, 6, 0, 4), + [251] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_definition, 7, 0, 4), + [253] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_fixity, 4, 0, 0), + [255] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_preprocess, 2, 0, 0), + [257] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_axiom, 4, 0, 4), + [259] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_section, 5, 0, 0), + [261] = {.entry = {.count = 1, .reusable = true}}, SHIFT(102), + [263] = {.entry = {.count = 1, .reusable = true}}, SHIFT(109), + [265] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_binex, 3, 0, 0), + [267] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_labs, 5, 0, 0), + [269] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_pabs, 5, 0, 0), + [271] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_let, 5, 0, 0), + [273] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_arrow, 3, 0, 0), + [275] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_labs, 4, 0, 0), + [277] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_app_term, 1, 0, 0), + [279] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_expr, 1, 0, 0), + [281] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_pabs, 4, 0, 0), + [283] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_labs_repeat1, 2, 0, 0), SHIFT_REPEAT(157), + [286] = {.entry = {.count = 1, .reusable = false}}, REDUCE(aux_sym_labs_repeat1, 2, 0, 0), + [288] = {.entry = {.count = 1, .reusable = true}}, REDUCE(aux_sym_labs_repeat1, 2, 0, 0), + [290] = {.entry = {.count = 1, .reusable = true}}, SHIFT(157), + [292] = {.entry = {.count = 1, .reusable = true}}, SHIFT(34), + [294] = {.entry = {.count = 1, .reusable = true}}, SHIFT(20), + [296] = {.entry = {.count = 1, .reusable = true}}, SHIFT(11), + [298] = {.entry = {.count = 1, .reusable = true}}, SHIFT(25), [300] = {.entry = {.count = 1, .reusable = true}}, SHIFT(30), - [302] = {.entry = {.count = 1, .reusable = true}}, SHIFT(59), - [304] = {.entry = {.count = 1, .reusable = true}}, SHIFT(119), - [306] = {.entry = {.count = 1, .reusable = true}}, SHIFT(82), - [308] = {.entry = {.count = 1, .reusable = true}}, SHIFT(139), - [310] = {.entry = {.count = 1, .reusable = true}}, SHIFT(68), - [312] = {.entry = {.count = 1, .reusable = true}}, SHIFT(106), - [314] = {.entry = {.count = 1, .reusable = false}}, SHIFT(60), - [316] = {.entry = {.count = 1, .reusable = true}}, SHIFT(64), - [318] = {.entry = {.count = 1, .reusable = true}}, SHIFT(89), - [320] = {.entry = {.count = 1, .reusable = true}}, ACCEPT_INPUT(), - [322] = {.entry = {.count = 1, .reusable = true}}, SHIFT(107), - [324] = {.entry = {.count = 1, .reusable = true}}, SHIFT(76), - [326] = {.entry = {.count = 1, .reusable = true}}, SHIFT(25), - [328] = {.entry = {.count = 1, .reusable = true}}, SHIFT(39), - [330] = {.entry = {.count = 1, .reusable = true}}, SHIFT(84), - [332] = {.entry = {.count = 1, .reusable = true}}, SHIFT(66), + [302] = {.entry = {.count = 1, .reusable = true}}, SHIFT(35), + [304] = {.entry = {.count = 1, .reusable = true}}, SHIFT(31), + [306] = {.entry = {.count = 1, .reusable = false}}, SHIFT(3), + [308] = {.entry = {.count = 1, .reusable = true}}, SHIFT(7), + [310] = {.entry = {.count = 1, .reusable = true}}, SHIFT(16), + [312] = {.entry = {.count = 1, .reusable = true}}, SHIFT(4), + [314] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_param_block, 5, 0, 6), + [316] = {.entry = {.count = 1, .reusable = false}}, REDUCE(sym_param_block, 5, 0, 6), + [318] = {.entry = {.count = 1, .reusable = true}}, SHIFT(17), + [320] = {.entry = {.count = 1, .reusable = true}}, SHIFT(21), + [322] = {.entry = {.count = 1, .reusable = true}}, SHIFT(12), + [324] = {.entry = {.count = 1, .reusable = true}}, SHIFT(26), + [326] = {.entry = {.count = 1, .reusable = true}}, SHIFT(37), + [328] = {.entry = {.count = 1, .reusable = true}}, SHIFT(2), + [330] = {.entry = {.count = 1, .reusable = true}}, SHIFT(3), + [332] = {.entry = {.count = 1, .reusable = true}}, SHIFT(55), + [334] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_binex, 1, 0, 0), + [336] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_ascription, 2, 0, 3), + [338] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_let_repeat1, 2, 0, 0), SHIFT_REPEAT(198), + [341] = {.entry = {.count = 1, .reusable = true}}, REDUCE(aux_sym_let_repeat1, 2, 0, 0), + [343] = {.entry = {.count = 1, .reusable = false}}, SHIFT(60), + [345] = {.entry = {.count = 1, .reusable = false}}, REDUCE(sym_binex, 1, 0, 0), + [347] = {.entry = {.count = 1, .reusable = true}}, SHIFT(9), + [349] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_variable_repeat1, 2, 0, 0), SHIFT_REPEAT(135), + [352] = {.entry = {.count = 1, .reusable = true}}, REDUCE(aux_sym_variable_repeat1, 2, 0, 0), + [354] = {.entry = {.count = 1, .reusable = true}}, SHIFT(198), + [356] = {.entry = {.count = 1, .reusable = true}}, SHIFT(13), + [358] = {.entry = {.count = 1, .reusable = true}}, SHIFT(135), + [360] = {.entry = {.count = 1, .reusable = true}}, SHIFT(5), + [362] = {.entry = {.count = 1, .reusable = true}}, SHIFT(19), + [364] = {.entry = {.count = 1, .reusable = true}}, SHIFT(67), + [366] = {.entry = {.count = 1, .reusable = true}}, SHIFT(141), + [368] = {.entry = {.count = 1, .reusable = true}}, SHIFT(144), + [370] = {.entry = {.count = 1, .reusable = true}}, SHIFT(8), + [372] = {.entry = {.count = 1, .reusable = true}}, SHIFT(137), + [374] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_param_block_repeat1, 2, 0, 0), SHIFT_REPEAT(144), + [377] = {.entry = {.count = 1, .reusable = true}}, REDUCE(aux_sym_param_block_repeat1, 2, 0, 0), + [379] = {.entry = {.count = 1, .reusable = true}}, SHIFT(74), + [381] = {.entry = {.count = 1, .reusable = true}}, SHIFT(59), + [383] = {.entry = {.count = 1, .reusable = false}}, SHIFT(57), + [385] = {.entry = {.count = 1, .reusable = true}}, REDUCE(aux_sym_variable_repeat2, 2, 0, 2), + [387] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_variable_repeat2, 2, 0, 2), SHIFT_REPEAT(141), + [390] = {.entry = {.count = 1, .reusable = true}}, SHIFT(140), + [392] = {.entry = {.count = 1, .reusable = true}}, SHIFT(14), + [394] = {.entry = {.count = 1, .reusable = true}}, SHIFT(118), + [396] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_binding, 5, 0, 0), + [398] = {.entry = {.count = 1, .reusable = true}}, SHIFT(22), + [400] = {.entry = {.count = 1, .reusable = true}}, SHIFT(24), + [402] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_binding, 6, 0, 0), + [404] = {.entry = {.count = 1, .reusable = true}}, SHIFT(27), + [406] = {.entry = {.count = 1, .reusable = true}}, SHIFT(29), + [408] = {.entry = {.count = 1, .reusable = true}}, SHIFT(32), + [410] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_binding, 7, 0, 0), + [412] = {.entry = {.count = 1, .reusable = true}}, SHIFT(126), + [414] = {.entry = {.count = 1, .reusable = true}}, SHIFT(130), + [416] = {.entry = {.count = 1, .reusable = true}}, SHIFT(125), + [418] = {.entry = {.count = 1, .reusable = true}}, REDUCE(aux_sym_variable_repeat2, 5, 0, 5), + [420] = {.entry = {.count = 1, .reusable = true}}, SHIFT(79), + [422] = {.entry = {.count = 1, .reusable = true}}, SHIFT(42), + [424] = {.entry = {.count = 1, .reusable = true}}, SHIFT(84), + [426] = {.entry = {.count = 1, .reusable = true}}, SHIFT(172), + [428] = {.entry = {.count = 1, .reusable = true}}, SHIFT(23), + [430] = {.entry = {.count = 1, .reusable = true}}, SHIFT(85), + [432] = {.entry = {.count = 1, .reusable = true}}, SHIFT(91), + [434] = {.entry = {.count = 1, .reusable = false}}, SHIFT_EXTRA(), + [436] = {.entry = {.count = 1, .reusable = false}}, SHIFT(73), + [438] = {.entry = {.count = 1, .reusable = true}}, SHIFT(104), + [440] = {.entry = {.count = 1, .reusable = true}}, SHIFT(88), + [442] = {.entry = {.count = 1, .reusable = true}}, SHIFT(15), + [444] = {.entry = {.count = 1, .reusable = true}}, SHIFT(75), + [446] = {.entry = {.count = 1, .reusable = true}}, SHIFT(28), + [448] = {.entry = {.count = 1, .reusable = true}}, SHIFT(65), + [450] = {.entry = {.count = 1, .reusable = true}}, SHIFT(110), + [452] = {.entry = {.count = 1, .reusable = true}}, SHIFT(189), + [454] = {.entry = {.count = 1, .reusable = true}}, SHIFT(206), + [456] = {.entry = {.count = 1, .reusable = true}}, SHIFT(78), + [458] = {.entry = {.count = 1, .reusable = true}}, SHIFT(33), + [460] = {.entry = {.count = 1, .reusable = true}}, SHIFT(83), + [462] = {.entry = {.count = 1, .reusable = true}}, SHIFT(163), + [464] = {.entry = {.count = 1, .reusable = true}}, SHIFT(168), + [466] = {.entry = {.count = 1, .reusable = true}}, SHIFT(173), + [468] = {.entry = {.count = 1, .reusable = true}}, SHIFT(70), + [470] = {.entry = {.count = 1, .reusable = true}}, SHIFT(160), + [472] = {.entry = {.count = 1, .reusable = true}}, SHIFT(117), + [474] = {.entry = {.count = 1, .reusable = true}}, SHIFT(69), + [476] = {.entry = {.count = 1, .reusable = true}}, SHIFT(119), + [478] = {.entry = {.count = 1, .reusable = true}}, SHIFT(96), + [480] = {.entry = {.count = 1, .reusable = true}}, SHIFT(179), + [482] = {.entry = {.count = 1, .reusable = false}}, SHIFT(92), + [484] = {.entry = {.count = 1, .reusable = true}}, SHIFT(72), + [486] = {.entry = {.count = 1, .reusable = true}}, SHIFT(40), + [488] = {.entry = {.count = 1, .reusable = true}}, SHIFT(71), + [490] = {.entry = {.count = 1, .reusable = true}}, SHIFT(218), + [492] = {.entry = {.count = 1, .reusable = true}}, SHIFT(81), + [494] = {.entry = {.count = 1, .reusable = true}}, SHIFT(68), + [496] = {.entry = {.count = 1, .reusable = true}}, ACCEPT_INPUT(), + [498] = {.entry = {.count = 1, .reusable = true}}, SHIFT(10), + [500] = {.entry = {.count = 1, .reusable = true}}, SHIFT(38), + [502] = {.entry = {.count = 1, .reusable = true}}, SHIFT(45), + [504] = {.entry = {.count = 1, .reusable = true}}, SHIFT(82), + [506] = {.entry = {.count = 1, .reusable = true}}, SHIFT(184), }; #ifdef __cplusplus diff --git a/test/corpus/application.txt b/test/corpus/application.txt index adec6e8..224ea5d 100644 --- a/test/corpus/application.txt +++ b/test/corpus/application.txt @@ -2,67 +2,18 @@ Application =========== -def foo (A B : *) (f : A -> B) (x : A) := - (fun (x : B) => x) (f x); +def foo := f x; --- -(program - (definition - (identifier) - (param_block - (identifier) - (identifier) - (expr - (app_term - (app - (term - (sort - (star))))))) - (param_block - (identifier) - (expr - (arrow + (program + (definition + (identifier) + (expr (app_term - (app - (term - (identifier)))) - (expr - (app_term + (binex (app + (term + (identifier)) (term (identifier)))))))) - (param_block - (identifier) - (expr - (app_term - (app - (term - (identifier)))))) - (expr - (app_term - (app - (term - (expr - (app_term - (labs - (param_block - (identifier) - (expr - (app_term - (app - (term - (identifier)))))) - (expr - (app_term - (app - (term - (identifier))))))))) - (term - (expr - (app_term - (app - (term - (identifier)) - (term - (identifier))))))))))) diff --git a/test/corpus/arrows.txt b/test/corpus/arrows.txt index 3daf5b7..64f1e38 100644 --- a/test/corpus/arrows.txt +++ b/test/corpus/arrows.txt @@ -2,54 +2,60 @@ Arrows ====== -def foo (A B : *) (f : A -> A -> B) (x : A) := f x x; +def foo (A B : ★) (f : A → A → B) (x : A) := f x x; --- -(program - (definition - (identifier) - (param_block - (identifier) - (identifier) - (expr - (app_term - (app - (term - (sort - (star))))))) - (param_block - (identifier) - (expr - (arrow - (app_term - (app - (term - (identifier)))) + (program + (definition + (identifier) + (param_block + (identifier) + (identifier) + (expr + (app_term + (binex + (app + (term + (sort + (star)))))))) + (param_block + (identifier) (expr (arrow (app_term - (app - (term - (identifier)))) - (expr - (app_term + (binex (app (term - (identifier)))))))))) - (param_block - (identifier) - (expr - (app_term - (app - (term - (identifier)))))) - (expr - (app_term - (app - (term - (identifier)) - (term - (identifier)) - (term - (identifier))))))) + (identifier))))) + (expr + (arrow + (app_term + (binex + (app + (term + (identifier))))) + (expr + (app_term + (binex + (app + (term + (identifier))))))))))) + (param_block + (identifier) + (expr + (app_term + (binex + (app + (term + (identifier))))))) + (expr + (app_term + (binex + (app + (term + (identifier)) + (term + (identifier)) + (term + (identifier)))))))) diff --git a/test/corpus/axioms.txt b/test/corpus/axioms.txt index adce4fe..a5f6745 100644 --- a/test/corpus/axioms.txt +++ b/test/corpus/axioms.txt @@ -2,17 +2,18 @@ Axioms ====== -axiom nat : *; +axiom nat : ★; ----- -(program - (axiom - (identifier) - (ascription - (expr - (app_term - (app - (term - (sort - (star))))))))) + (program + (axiom + (identifier) + (ascription + (expr + (app_term + (binex + (app + (term + (sort + (star)))))))))) diff --git a/test/corpus/definition.txt b/test/corpus/definition.txt new file mode 100644 index 0000000..6d3cd68 --- /dev/null +++ b/test/corpus/definition.txt @@ -0,0 +1,36 @@ +========== +Definition +========== + +def foo (A : ★) (x y z : A) := x; + +--- + + (program + (definition + (identifier) + (param_block + (identifier) + (expr + (app_term + (binex + (app + (term + (sort + (star)))))))) + (param_block + (identifier) + (identifier) + (identifier) + (expr + (app_term + (binex + (app + (term + (identifier))))))) + (expr + (app_term + (binex + (app + (term + (identifier)))))))) diff --git a/test/corpus/include.txt b/test/corpus/include.txt index d9cd8fa..b99d3fd 100644 --- a/test/corpus/include.txt +++ b/test/corpus/include.txt @@ -4,30 +4,32 @@ Include @include foo.pg -def baz : * := A; +def baz : ★ := A; @include bar.pg --- -(program - (preprocess - (command) - (post_command)) - (definition - (identifier) - (ascription - (expr - (app_term - (app - (term - (sort - (star))))))) - (expr - (app_term - (app - (term - (identifier)))))) - (preprocess - (command) - (post_command))) + (program + (preprocess + (command) + (post_command)) + (definition + (identifier) + (ascription + (expr + (app_term + (binex + (app + (term + (sort + (star)))))))) + (expr + (app_term + (binex + (app + (term + (identifier))))))) + (preprocess + (command) + (post_command))) diff --git a/test/corpus/infix.txt b/test/corpus/infix.txt new file mode 100644 index 0000000..49ea0c0 --- /dev/null +++ b/test/corpus/infix.txt @@ -0,0 +1,45 @@ +=============== +Infix Operators +=============== + +infixl 20 +; +infixl 30 *; +infixr 40 ^; + +def computation := one + two * four ^ three; + +--- + + (program + (fixity + (precedence) + (symbol)) + (fixity + (precedence) + (symbol)) + (fixity + (precedence) + (symbol)) + (definition + (identifier) + (expr + (app_term + (binex + (app + (term + (identifier))) + (symbol) + (binex + (app + (term + (identifier))) + (symbol) + (binex + (app + (term + (identifier))) + (symbol) + (binex + (app + (term + (identifier))))))))))) diff --git a/test/corpus/labs.txt b/test/corpus/labs.txt index 707554a..0ad4470 100644 --- a/test/corpus/labs.txt +++ b/test/corpus/labs.txt @@ -2,39 +2,43 @@ Lambda Abstraction ================== -def foo := fun (A : *) (x : A) : A => x; +def foo := fun (A : ★) (x : A) : A => x; ---------- -(program - (definition - (identifier) - (expr - (app_term - (labs - (param_block - (identifier) - (expr - (app_term - (app - (term - (sort - (star))))))) - (param_block - (identifier) - (expr - (app_term - (app - (term - (identifier)))))) - (ascription - (expr - (app_term - (app - (term - (identifier)))))) - (expr - (app_term - (app - (term - (identifier)))))))))) + (program + (definition + (identifier) + (expr + (app_term + (labs + (param_block + (identifier) + (expr + (app_term + (binex + (app + (term + (sort + (star)))))))) + (param_block + (identifier) + (expr + (app_term + (binex + (app + (term + (identifier))))))) + (ascription + (expr + (app_term + (binex + (app + (term + (identifier))))))) + (expr + (app_term + (binex + (app + (term + (identifier))))))))))) diff --git a/test/corpus/let.txt b/test/corpus/let.txt index a5a11da..9782e4d 100644 --- a/test/corpus/let.txt +++ b/test/corpus/let.txt @@ -12,48 +12,54 @@ def foo := --- -(program - (definition - (identifier) - (expr - (app_term - (let - (binding - (identifier) - (ascription + (program + (definition + (identifier) + (expr + (app_term + (let + (binding + (identifier) + (ascription + (expr + (app_term + (binex + (app + (term + (identifier))))))) + (expr + (app_term + (binex + (app + (term + (identifier))))))) + (binding + (identifier) + (expr + (app_term + (binex + (app + (term + (identifier))))))) + (binding + (identifier) + (param_block + (identifier) + (expr + (app_term + (binex + (app + (term + (identifier))))))) + (expr + (app_term + (binex + (app + (term + (identifier))))))) (expr (app_term - (app - (term - (identifier)))))) - (expr - (app_term - (app - (term - (identifier)))))) - (binding - (identifier) - (expr - (app_term - (app - (term - (identifier)))))) - (binding - (identifier) - (param_block - (identifier) - (expr - (app_term - (app - (term - (identifier)))))) - (expr - (app_term - (app - (term - (identifier)))))) - (expr - (app_term - (app - (term - (identifier)))))))))) + (binex + (app + (term + (identifier))))))))))) diff --git a/test/corpus/pabs.txt b/test/corpus/pabs.txt index 2d16383..3417976 100644 --- a/test/corpus/pabs.txt +++ b/test/corpus/pabs.txt @@ -2,34 +2,37 @@ Pi Abstraction ============== -def rel := forall (A : *) (x : A), *; +def rel := forall (A : ★) (x : A), ★; ---------- -(program - (definition - (identifier) - (expr - (app_term - (pabs - (param_block - (identifier) - (expr - (app_term - (app - (term - (sort - (star))))))) - (param_block - (identifier) - (expr - (app_term - (app - (term - (identifier)))))) - (expr - (app_term - (app - (term - (sort - (star))))))))))) + (program + (definition + (identifier) + (expr + (app_term + (pabs + (param_block + (identifier) + (expr + (app_term + (binex + (app + (term + (sort + (star)))))))) + (param_block + (identifier) + (expr + (app_term + (binex + (app + (term + (identifier))))))) + (expr + (app_term + (binex + (app + (term + (sort + (star)))))))))))) diff --git a/test/corpus/params.txt b/test/corpus/params.txt deleted file mode 100644 index 62e45ea..0000000 --- a/test/corpus/params.txt +++ /dev/null @@ -1,33 +0,0 @@ -========== -Definition -========== - -def foo (A : *) (x y z : A) := x; - ---- - -(program - (definition - (identifier) - (param_block - (identifier) - (expr - (app_term - (app - (term - (sort - (star))))))) - (param_block - (identifier) - (identifier) - (identifier) - (expr - (app_term - (app - (term - (identifier)))))) - (expr - (app_term - (app - (term - (identifier))))))) diff --git a/test/corpus/section.txt b/test/corpus/section.txt index 023fa75..5b750a5 100644 --- a/test/corpus/section.txt +++ b/test/corpus/section.txt @@ -3,7 +3,7 @@ Sections ======== section Test - variable (A B C : *); + variable (A B C : ★); hypothesis (x : A) (y : B) (z1 z2 : C); section Nested @@ -13,60 +13,62 @@ end Test ---- -(program - (section - (identifier) (program - (variable - (param_block - (identifier) - (identifier) - (identifier) - (expr - (app_term - (app - (term - (sort - (star)))))))) - (variable - (param_block - (identifier) - (expr - (app_term - (app - (term - (identifier)))))) - (param_block - (identifier) - (expr - (app_term - (app - (term - (identifier)))))) - (param_block - (identifier) - (identifier) - (expr - (app_term - (app - (term - (identifier))))))) (section (identifier) (program - (definition + (variable (identifier) - (param_block - (identifier) - (expr - (app_term + (identifier) + (identifier) + (expr + (app_term + (binex + (app + (term + (sort + (star)))))))) + (variable + (identifier) + (expr + (app_term + (binex (app (term (identifier)))))) + (identifier) (expr (app_term - (app - (term - (identifier))))))) + (binex + (app + (term + (identifier)))))) + (identifier) + (identifier) + (expr + (app_term + (binex + (app + (term + (identifier))))))) + (section + (identifier) + (program + (definition + (identifier) + (param_block + (identifier) + (expr + (app_term + (binex + (app + (term + (identifier))))))) + (expr + (app_term + (binex + (app + (term + (identifier)))))))) + (identifier))) (identifier))) - (identifier))) diff --git a/test/corpus/sorts.txt b/test/corpus/sorts.txt index e477404..c6e28a0 100644 --- a/test/corpus/sorts.txt +++ b/test/corpus/sorts.txt @@ -2,71 +2,79 @@ Sorts ===== -def foo (A : *) (B : □) (C : □₁) (D : []) (E : []1) (F : □1) (G : □₁₂₃) := A; +def foo (A : ★) (B : □) (C : □₁) (D : []) (E : []1) (F : □1) (G : □₁₂₃) := A; --- -(program - (definition - (identifier) - (param_block - (identifier) - (expr - (app_term - (app - (term - (sort - (star))))))) - (param_block - (identifier) - (expr - (app_term - (app - (term - (sort - (square))))))) - (param_block - (identifier) - (expr - (app_term - (app - (term - (sort - (square))))))) - (param_block - (identifier) - (expr - (app_term - (app - (term - (sort - (square))))))) - (param_block - (identifier) - (expr - (app_term - (app - (term - (sort - (square))))))) - (param_block - (identifier) - (expr - (app_term - (app - (term - (sort - (square))))))) - (param_block - (identifier) - (expr - (app_term - (app - (term - (sort - (square))))))) - (expr - (app_term - (app - (term - (identifier))))))) + (program + (definition + (identifier) + (param_block + (identifier) + (expr + (app_term + (binex + (app + (term + (sort + (star)))))))) + (param_block + (identifier) + (expr + (app_term + (binex + (app + (term + (sort + (square)))))))) + (param_block + (identifier) + (expr + (app_term + (binex + (app + (term + (sort + (square)))))))) + (param_block + (identifier) + (expr + (app_term + (binex + (app + (term + (sort + (square)))))))) + (param_block + (identifier) + (expr + (app_term + (binex + (app + (term + (sort + (square)))))))) + (param_block + (identifier) + (expr + (app_term + (binex + (app + (term + (sort + (square)))))))) + (param_block + (identifier) + (expr + (app_term + (binex + (app + (term + (sort + (square)))))))) + (expr + (app_term + (binex + (app + (term + (identifier))))))))