diff --git a/grammar.js b/grammar.js index a52fc73..a7f23a0 100644 --- a/grammar.js +++ b/grammar.js @@ -27,7 +27,7 @@ module.exports = grammar({ )), identifier : $ => /[a-zA-Z_]\w*/, - symbol : $ => /[!@#$%^&*-+=<>,./?\[\]{}\\|`~'\"∧∨⊙×≅]+/, + symbol : $ => /[!@#$%^&*-+=<>,./?{}\\|`~'\"∧∨⊙×≅]+/, comment : $ => token(seq('--', /.*/)), @@ -75,15 +75,22 @@ module.exports = grammar({ labs : $ => seq( choice('λ', 'fun'), repeat1($.param_block), - optional($.ascription), choice('=>', '⇒'), $.expr, ), + labs_alt : $ => seq( + '[', + field('param', repeat1($.identifier)), + ':', + field('type', $.expr), + ']', + $.expr, + ), + pabs : $ => seq( choice('∏', 'forall'), repeat1($.param_block), - optional($.ascription), ',', $.expr, ), @@ -103,7 +110,8 @@ module.exports = grammar({ // HACK: // completely ignore precedence and associativity for treesitter - // this is enough to get the syntax highlighting right + // the syntax tree is completely wrong, but it's good enough for syntax + // highlighting binex : $ => seq( $.app, optional(seq($.symbol, $.binex)), @@ -137,6 +145,7 @@ module.exports = grammar({ app_term : $ => choice( $.labs, + $.labs_alt, $.pabs, $.let, $.binex, diff --git a/src/grammar.json b/src/grammar.json index 3a3b510..cb61b9a 100644 --- a/src/grammar.json +++ b/src/grammar.json @@ -39,7 +39,7 @@ }, "symbol": { "type": "PATTERN", - "value": "[!@#$%^&*-+=<>,./?\\[\\]{}\\\\|`~'\\\"∧∨⊙×≅]+" + "value": "[!@#$%^&*-+=<>,./?{}\\\\|`~'\\\"∧∨⊙×≅]+" }, "comment": { "type": "TOKEN", @@ -288,18 +288,6 @@ "name": "param_block" } }, - { - "type": "CHOICE", - "members": [ - { - "type": "SYMBOL", - "name": "ascription" - }, - { - "type": "BLANK" - } - ] - }, { "type": "CHOICE", "members": [ @@ -319,6 +307,46 @@ } ] }, + "labs_alt": { + "type": "SEQ", + "members": [ + { + "type": "STRING", + "value": "[" + }, + { + "type": "FIELD", + "name": "param", + "content": { + "type": "REPEAT1", + "content": { + "type": "SYMBOL", + "name": "identifier" + } + } + }, + { + "type": "STRING", + "value": ":" + }, + { + "type": "FIELD", + "name": "type", + "content": { + "type": "SYMBOL", + "name": "expr" + } + }, + { + "type": "STRING", + "value": "]" + }, + { + "type": "SYMBOL", + "name": "expr" + } + ] + }, "pabs": { "type": "SEQ", "members": [ @@ -342,18 +370,6 @@ "name": "param_block" } }, - { - "type": "CHOICE", - "members": [ - { - "type": "SYMBOL", - "name": "ascription" - }, - { - "type": "BLANK" - } - ] - }, { "type": "STRING", "value": "," @@ -552,6 +568,10 @@ "type": "SYMBOL", "name": "labs" }, + { + "type": "SYMBOL", + "name": "labs_alt" + }, { "type": "SYMBOL", "name": "pabs" diff --git a/src/node-types.json b/src/node-types.json index ae6d7c8..946cfa7 100644 --- a/src/node-types.json +++ b/src/node-types.json @@ -30,6 +30,10 @@ "type": "labs", "named": true }, + { + "type": "labs_alt", + "named": true + }, { "type": "let", "named": true @@ -244,10 +248,6 @@ "multiple": true, "required": true, "types": [ - { - "type": "ascription", - "named": true - }, { "type": "expr", "named": true @@ -259,6 +259,42 @@ ] } }, + { + "type": "labs_alt", + "named": true, + "fields": { + "param": { + "multiple": true, + "required": true, + "types": [ + { + "type": "identifier", + "named": true + } + ] + }, + "type": { + "multiple": false, + "required": true, + "types": [ + { + "type": "expr", + "named": true + } + ] + } + }, + "children": { + "multiple": false, + "required": true, + "types": [ + { + "type": "expr", + "named": true + } + ] + } + }, { "type": "let", "named": true, @@ -301,10 +337,6 @@ "multiple": true, "required": true, "types": [ - { - "type": "ascription", - "named": true - }, { "type": "expr", "named": true @@ -539,10 +571,18 @@ "type": "=>", "named": false }, + { + "type": "[", + "named": false + }, { "type": "[]", "named": false }, + { + "type": "]", + "named": false + }, { "type": "axiom", "named": false diff --git a/src/parser.c b/src/parser.c index 8e4041d..a476061 100644 --- a/src/parser.c +++ b/src/parser.c @@ -5,11 +5,11 @@ #endif #define LANGUAGE_VERSION 14 -#define STATE_COUNT 227 +#define STATE_COUNT 174 #define LARGE_STATE_COUNT 2 -#define SYMBOL_COUNT 64 +#define SYMBOL_COUNT 67 #define ALIAS_COUNT 0 -#define TOKEN_COUNT 34 +#define TOKEN_COUNT 36 #define EXTERNAL_TOKEN_COUNT 0 #define FIELD_COUNT 3 #define MAX_ALIAS_SEQUENCE_LENGTH 7 @@ -38,47 +38,50 @@ enum ts_symbol_identifiers { 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_binding = 37, - sym_variable = 38, - sym_param_block = 39, - sym_square = 40, - sym_sort = 41, - sym_labs = 42, - sym_pabs = 43, - sym_op_section = 44, - sym_term = 45, - sym_binex = 46, - sym_binding = 47, - sym_let = 48, - sym_app = 49, - sym_arrow = 50, - sym_app_term = 51, - sym_expr = 52, - sym_ascription = 53, - sym_axiom = 54, - sym_definition = 55, - sym_preprocess = 56, - aux_sym_program_repeat1 = 57, - aux_sym_variable_binding_repeat1 = 58, - aux_sym_variable_repeat1 = 59, - aux_sym_param_block_repeat1 = 60, - aux_sym_labs_repeat1 = 61, - aux_sym_let_repeat1 = 62, - aux_sym_app_repeat1 = 63, + anon_sym_LBRACK = 23, + anon_sym_RBRACK = 24, + anon_sym_u220f = 25, + anon_sym_forall = 26, + anon_sym_COMMA = 27, + anon_sym_COLON_EQ = 28, + anon_sym_let = 29, + anon_sym_in = 30, + anon_sym_u2192 = 31, + anon_sym_axiom = 32, + anon_sym_def = 33, + sym_post_command = 34, + sym_command = 35, + sym_program = 36, + sym_section = 37, + sym_fixity = 38, + sym_variable_binding = 39, + sym_variable = 40, + sym_param_block = 41, + sym_square = 42, + sym_sort = 43, + sym_labs = 44, + sym_labs_alt = 45, + sym_pabs = 46, + sym_op_section = 47, + sym_term = 48, + sym_binex = 49, + sym_binding = 50, + sym_let = 51, + sym_app = 52, + sym_arrow = 53, + sym_app_term = 54, + sym_expr = 55, + sym_ascription = 56, + sym_axiom = 57, + sym_definition = 58, + sym_preprocess = 59, + aux_sym_program_repeat1 = 60, + aux_sym_variable_binding_repeat1 = 61, + aux_sym_variable_repeat1 = 62, + aux_sym_param_block_repeat1 = 63, + aux_sym_labs_repeat1 = 64, + aux_sym_let_repeat1 = 65, + aux_sym_app_repeat1 = 66, }; static const char * const ts_symbol_names[] = { @@ -105,6 +108,8 @@ static const char * const ts_symbol_names[] = { [anon_sym_fun] = "fun", [anon_sym_EQ_GT] = "=>", [anon_sym_u21d2] = "\u21d2", + [anon_sym_LBRACK] = "[", + [anon_sym_RBRACK] = "]", [anon_sym_u220f] = "\u220f", [anon_sym_forall] = "forall", [anon_sym_COMMA] = ",", @@ -125,6 +130,7 @@ static const char * const ts_symbol_names[] = { [sym_square] = "square", [sym_sort] = "sort", [sym_labs] = "labs", + [sym_labs_alt] = "labs_alt", [sym_pabs] = "pabs", [sym_op_section] = "op_section", [sym_term] = "term", @@ -172,6 +178,8 @@ static const TSSymbol ts_symbol_map[] = { [anon_sym_fun] = anon_sym_fun, [anon_sym_EQ_GT] = anon_sym_EQ_GT, [anon_sym_u21d2] = anon_sym_u21d2, + [anon_sym_LBRACK] = anon_sym_LBRACK, + [anon_sym_RBRACK] = anon_sym_RBRACK, [anon_sym_u220f] = anon_sym_u220f, [anon_sym_forall] = anon_sym_forall, [anon_sym_COMMA] = anon_sym_COMMA, @@ -192,6 +200,7 @@ static const TSSymbol ts_symbol_map[] = { [sym_square] = sym_square, [sym_sort] = sym_sort, [sym_labs] = sym_labs, + [sym_labs_alt] = sym_labs_alt, [sym_pabs] = sym_pabs, [sym_op_section] = sym_op_section, [sym_term] = sym_term, @@ -308,6 +317,14 @@ static const TSSymbolMetadata ts_symbol_metadata[] = { .visible = true, .named = false, }, + [anon_sym_LBRACK] = { + .visible = true, + .named = false, + }, + [anon_sym_RBRACK] = { + .visible = true, + .named = false, + }, [anon_sym_u220f] = { .visible = true, .named = false, @@ -388,6 +405,10 @@ static const TSSymbolMetadata ts_symbol_metadata[] = { .visible = true, .named = true, }, + [sym_labs_alt] = { + .visible = true, + .named = true, + }, [sym_pabs] = { .visible = true, .named = true, @@ -519,8 +540,8 @@ static const TSStateId ts_primary_state_ids[STATE_COUNT] = { [1] = 1, [2] = 2, [3] = 2, - [4] = 2, - [5] = 2, + [4] = 4, + [5] = 5, [6] = 6, [7] = 7, [8] = 8, @@ -528,225 +549,172 @@ static const TSStateId ts_primary_state_ids[STATE_COUNT] = { [10] = 10, [11] = 11, [12] = 12, - [13] = 13, + [13] = 5, [14] = 14, [15] = 15, [16] = 16, [17] = 17, [18] = 18, - [19] = 9, - [20] = 11, - [21] = 12, - [22] = 22, - [23] = 15, - [24] = 9, + [19] = 10, + [20] = 12, + [21] = 21, + [22] = 16, + [23] = 6, + [24] = 8, [25] = 11, - [26] = 12, - [27] = 14, - [28] = 15, - [29] = 9, - [30] = 11, - [31] = 12, - [32] = 14, - [33] = 15, - [34] = 6, - [35] = 35, - [36] = 6, - [37] = 7, - [38] = 10, - [39] = 35, - [40] = 14, + [26] = 21, + [27] = 27, + [28] = 28, + [29] = 29, + [30] = 27, + [31] = 28, + [32] = 32, + [33] = 33, + [34] = 33, + [35] = 32, + [36] = 29, + [37] = 37, + [38] = 38, + [39] = 37, + [40] = 40, [41] = 41, - [42] = 41, + [42] = 42, [43] = 43, - [44] = 43, + [44] = 44, [45] = 45, - [46] = 45, + [46] = 38, [47] = 47, [48] = 48, - [49] = 47, - [50] = 48, + [49] = 49, + [50] = 50, [51] = 48, - [52] = 48, - [53] = 47, - [54] = 47, + [52] = 40, + [53] = 50, + [54] = 54, [55] = 55, - [56] = 55, - [57] = 55, - [58] = 55, - [59] = 59, - [60] = 60, - [61] = 61, - [62] = 62, - [63] = 63, - [64] = 59, - [65] = 60, - [66] = 66, - [67] = 67, - [68] = 68, - [69] = 69, + [56] = 56, + [57] = 57, + [58] = 58, + [59] = 54, + [60] = 58, + [61] = 56, + [62] = 55, + [63] = 49, + [64] = 57, + [65] = 47, + [66] = 41, + [67] = 42, + [68] = 44, + [69] = 45, [70] = 70, - [71] = 71, + [71] = 43, [72] = 72, [73] = 73, - [74] = 68, - [75] = 72, - [76] = 62, - [77] = 67, + [74] = 74, + [75] = 75, + [76] = 76, + [77] = 77, [78] = 78, [79] = 79, - [80] = 61, - [81] = 69, + [80] = 80, + [81] = 81, [82] = 82, - [83] = 63, - [84] = 66, - [85] = 71, - [86] = 60, - [87] = 59, - [88] = 78, - [89] = 60, - [90] = 59, - [91] = 79, - [92] = 73, - [93] = 82, - [94] = 70, + [83] = 83, + [84] = 84, + [85] = 85, + [86] = 75, + [87] = 73, + [88] = 88, + [89] = 88, + [90] = 90, + [91] = 91, + [92] = 92, + [93] = 92, + [94] = 90, [95] = 95, - [96] = 62, - [97] = 67, + [96] = 96, + [97] = 97, [98] = 98, [99] = 99, - [100] = 61, - [101] = 101, - [102] = 63, - [103] = 66, + [100] = 100, + [101] = 100, + [102] = 98, + [103] = 103, [104] = 104, - [105] = 105, - [106] = 62, - [107] = 67, + [105] = 104, + [106] = 106, + [107] = 107, [108] = 108, - [109] = 109, - [110] = 61, + [109] = 79, + [110] = 110, [111] = 111, - [112] = 63, - [113] = 66, - [114] = 114, - [115] = 115, - [116] = 115, - [117] = 115, - [118] = 115, + [112] = 111, + [113] = 113, + [114] = 110, + [115] = 113, + [116] = 116, + [117] = 117, + [118] = 118, [119] = 119, [120] = 120, - [121] = 119, - [122] = 122, + [121] = 121, + [122] = 91, [123] = 123, [124] = 124, [125] = 125, - [126] = 119, - [127] = 119, - [128] = 123, - [129] = 124, + [126] = 126, + [127] = 118, + [128] = 125, + [129] = 117, [130] = 130, [131] = 131, [132] = 132, [133] = 133, - [134] = 131, - [135] = 133, + [134] = 134, + [135] = 135, [136] = 136, [137] = 137, [138] = 138, [139] = 139, - [140] = 132, + [140] = 130, [141] = 141, - [142] = 141, + [142] = 132, [143] = 143, [144] = 144, [145] = 145, - [146] = 132, + [146] = 146, [147] = 147, [148] = 148, - [149] = 138, - [150] = 150, - [151] = 132, - [152] = 145, + [149] = 149, + [150] = 149, + [151] = 151, + [152] = 152, [153] = 153, - [154] = 153, - [155] = 155, + [154] = 137, + [155] = 151, [156] = 156, - [157] = 153, - [158] = 145, - [159] = 153, - [160] = 145, - [161] = 155, - [162] = 162, + [157] = 157, + [158] = 141, + [159] = 147, + [160] = 143, + [161] = 144, + [162] = 145, [163] = 163, [164] = 164, - [165] = 138, - [166] = 166, - [167] = 164, - [168] = 138, - [169] = 169, - [170] = 170, - [171] = 164, + [165] = 153, + [166] = 136, + [167] = 148, + [168] = 152, + [169] = 134, + [170] = 133, + [171] = 171, [172] = 172, - [173] = 173, - [174] = 166, - [175] = 164, - [176] = 173, - [177] = 177, - [178] = 178, - [179] = 179, - [180] = 180, - [181] = 181, - [182] = 182, - [183] = 183, - [184] = 180, - [185] = 181, - [186] = 186, - [187] = 187, - [188] = 178, - [189] = 189, - [190] = 190, - [191] = 191, - [192] = 183, - [193] = 193, - [194] = 177, - [195] = 178, - [196] = 196, - [197] = 183, - [198] = 198, - [199] = 183, - [200] = 200, - [201] = 177, - [202] = 202, - [203] = 203, - [204] = 204, - [205] = 205, - [206] = 206, - [207] = 177, - [208] = 208, - [209] = 209, - [210] = 210, - [211] = 203, - [212] = 178, - [213] = 179, - [214] = 210, - [215] = 215, - [216] = 216, - [217] = 191, - [218] = 208, - [219] = 209, - [220] = 220, - [221] = 196, - [222] = 215, - [223] = 193, - [224] = 182, - [225] = 186, - [226] = 202, + [173] = 138, }; static TSCharacterRange sym_symbol_character_set_1[] = { - {'!', '\''}, {'*', ','}, {'.', '/'}, {'<', '@'}, {'[', '^'}, {'`', '`'}, {'{', '~'}, {0xd7, 0xd7}, - {0x2227, 0x2228}, {0x2245, 0x2245}, {0x2299, 0x2299}, + {'!', '\''}, {'*', ','}, {'.', '/'}, {'<', '@'}, {'\\', '\\'}, {'^', '^'}, {'`', '`'}, {'{', '~'}, + {0xd7, 0xd7}, {0x2227, 0x2228}, {0x2245, 0x2245}, {0x2299, 0x2299}, }; static bool ts_lex(TSLexer *lexer, TSStateId state) { @@ -754,648 +722,563 @@ static bool ts_lex(TSLexer *lexer, TSStateId state) { eof = lexer->eof(lexer); switch (state) { case 0: - if (eof) ADVANCE(68); + if (eof) ADVANCE(62); ADVANCE_MAP( - '(', 92, - ')', 94, - ',', 112, - '-', 13, - ':', 93, - ';', 91, - '=', 80, - '[', 81, - 'a', 64, - 'd', 24, - 'e', 45, - 'f', 51, - 'h', 66, - 'i', 46, - 'l', 25, - 's', 26, - 'v', 18, - 0x3bb, 102, - 0x2192, 117, - 0x21d2, 107, - 0x220f, 108, - 0x25a1, 98, - 0x2605, 97, + '(', 85, + ')', 87, + ',', 106, + '-', 6, + ':', 86, + ';', 84, + '=', 74, + '[', 100, + ']', 101, + 'a', 58, + 'd', 18, + 'e', 39, + 'f', 45, + 'h', 60, + 'i', 40, + 'l', 19, + 's', 20, + 'v', 12, + 0x3bb, 94, + 0x2192, 111, + 0x21d2, 99, + 0x220f, 102, + 0x25a1, 91, + 0x2605, 90, ); if (('\t' <= lookahead && lookahead <= '\r') || lookahead == ' ') SKIP(0); - if (('0' <= lookahead && lookahead <= '9')) ADVANCE(87); - if ((0x2080 <= lookahead && lookahead <= 0x2089)) ADVANCE(101); - if (set_contains(sym_symbol_character_set_1, 11, lookahead)) ADVANCE(82); + if (('0' <= lookahead && lookahead <= '9')) ADVANCE(80); + if ((0x2080 <= lookahead && lookahead <= 0x2089)) ADVANCE(93); + if (set_contains(sym_symbol_character_set_1, 12, lookahead)) ADVANCE(75); END_STATE(); case 1: if (lookahead == '\n') SKIP(1); - if (lookahead == '-') ADVANCE(120); + if (lookahead == '-') ADVANCE(114); if (('\t' <= lookahead && lookahead <= '\r') || - lookahead == ' ') ADVANCE(121); - if (lookahead != 0) ADVANCE(122); + lookahead == ' ') ADVANCE(115); + if (lookahead != 0) ADVANCE(116); END_STATE(); case 2: ADVANCE_MAP( - '(', 92, - ')', 94, - '-', 13, - ':', 93, - ';', 91, - '[', 81, - 0x2192, 117, - 0x25a1, 98, - 0x2605, 97, + '(', 85, + ')', 87, + '-', 6, + ':', 86, + ';', 84, + '[', 9, + ']', 101, + 0x2192, 111, + 0x25a1, 91, + 0x2605, 90, ); if (('\t' <= lookahead && lookahead <= '\r') || lookahead == ' ') SKIP(2); if (('0' <= lookahead && lookahead <= '9') || - (0x2080 <= lookahead && lookahead <= 0x2089)) ADVANCE(101); - if (set_contains(sym_symbol_character_set_1, 11, lookahead)) ADVANCE(82); - if (('A' <= lookahead && lookahead <= 'z')) ADVANCE(79); + (0x2080 <= lookahead && lookahead <= 0x2089)) ADVANCE(93); + if (set_contains(sym_symbol_character_set_1, 12, lookahead)) ADVANCE(75); + if (('A' <= lookahead && lookahead <= 'z')) ADVANCE(73); END_STATE(); case 3: - if (lookahead == '(') ADVANCE(92); - if (lookahead == ',') ADVANCE(112); - if (lookahead == '-') ADVANCE(13); - if (lookahead == '[') ADVANCE(81); - if (lookahead == 0x2192) ADVANCE(117); - if (lookahead == 0x25a1) ADVANCE(98); - if (lookahead == 0x2605) ADVANCE(97); + ADVANCE_MAP( + '(', 85, + ')', 87, + '-', 6, + ':', 7, + ';', 84, + '[', 100, + ']', 101, + 'f', 70, + 'l', 65, + 0x3bb, 94, + 0x2192, 111, + 0x220f, 102, + 0x25a1, 91, + 0x2605, 90, + ); if (('\t' <= lookahead && lookahead <= '\r') || lookahead == ' ') SKIP(3); - if (('0' <= lookahead && lookahead <= '9') || - (0x2080 <= lookahead && lookahead <= 0x2089)) ADVANCE(101); - if (set_contains(sym_symbol_character_set_1, 11, lookahead)) ADVANCE(82); - if (('A' <= lookahead && lookahead <= 'z')) ADVANCE(79); + if (set_contains(sym_symbol_character_set_1, 12, lookahead)) ADVANCE(75); + if (('A' <= lookahead && lookahead <= 'z')) ADVANCE(73); END_STATE(); case 4: - ADVANCE_MAP( - '(', 92, - '-', 13, - '=', 80, - '[', 81, - 0x2192, 117, - 0x21d2, 107, - 0x25a1, 98, - 0x2605, 97, - ); + if (lookahead == '(') ADVANCE(85); + if (lookahead == '-') ADVANCE(6); + if (lookahead == '[') ADVANCE(9); + if (lookahead == 'e') ADVANCE(69); + if (lookahead == 0x2192) ADVANCE(111); + if (lookahead == 0x25a1) ADVANCE(91); + if (lookahead == 0x2605) ADVANCE(90); if (('\t' <= lookahead && lookahead <= '\r') || lookahead == ' ') SKIP(4); if (('0' <= lookahead && lookahead <= '9') || - (0x2080 <= lookahead && lookahead <= 0x2089)) ADVANCE(101); - if (set_contains(sym_symbol_character_set_1, 11, lookahead)) ADVANCE(82); - if (('A' <= lookahead && lookahead <= 'z')) ADVANCE(79); + (0x2080 <= lookahead && lookahead <= 0x2089)) ADVANCE(93); + if (set_contains(sym_symbol_character_set_1, 12, lookahead)) ADVANCE(75); + if (('A' <= lookahead && lookahead <= 'Z') || + ('_' <= lookahead && lookahead <= 'z')) ADVANCE(73); END_STATE(); case 5: - if (lookahead == '(') ADVANCE(92); - if (lookahead == '-') ADVANCE(13); - if (lookahead == '[') ADVANCE(81); - if (lookahead == 'e') ADVANCE(75); - if (lookahead == 0x2192) ADVANCE(117); - if (lookahead == 0x25a1) ADVANCE(98); - if (lookahead == 0x2605) ADVANCE(97); + if (lookahead == '-') ADVANCE(6); + if (lookahead == 'e') ADVANCE(39); + if (lookahead == 0x2192) ADVANCE(111); if (('\t' <= lookahead && lookahead <= '\r') || lookahead == ' ') SKIP(5); - if (('0' <= lookahead && lookahead <= '9') || - (0x2080 <= lookahead && lookahead <= 0x2089)) ADVANCE(101); - if (set_contains(sym_symbol_character_set_1, 11, lookahead)) ADVANCE(82); - if (('A' <= lookahead && lookahead <= 'z')) ADVANCE(79); + if (set_contains(sym_symbol_character_set_1, 12, lookahead)) ADVANCE(75); END_STATE(); case 6: - ADVANCE_MAP( - '(', 92, - '-', 13, - '[', 81, - 'f', 76, - 'l', 71, - 0x3bb, 102, - 0x220f, 108, - 0x25a1, 98, - 0x2605, 97, - ); - if (('\t' <= lookahead && lookahead <= '\r') || - lookahead == ' ') SKIP(6); - if (set_contains(sym_symbol_character_set_1, 11, lookahead)) ADVANCE(82); - if (('A' <= lookahead && lookahead <= 'z')) ADVANCE(79); + if (lookahead == '-') ADVANCE(76); END_STATE(); case 7: - ADVANCE_MAP( - '(', 92, - '-', 13, - '[', 15, - 'f', 76, - 'l', 71, - 0x3bb, 102, - 0x220f, 108, - 0x25a1, 98, - 0x2605, 97, - ); - if (('\t' <= lookahead && lookahead <= '\r') || - lookahead == ' ') SKIP(7); - if (('A' <= lookahead && lookahead <= 'Z') || - lookahead == '_' || - ('a' <= lookahead && lookahead <= 'z')) ADVANCE(79); + if (lookahead == '=') ADVANCE(107); END_STATE(); case 8: - if (lookahead == '(') ADVANCE(92); - if (lookahead == '-') ADVANCE(13); - if (lookahead == '[') ADVANCE(15); - if (lookahead == 0x25a1) ADVANCE(98); - if (lookahead == 0x2605) ADVANCE(97); - if (('\t' <= lookahead && lookahead <= '\r') || - lookahead == ' ') SKIP(8); - if (('A' <= lookahead && lookahead <= 'Z') || - lookahead == '_' || - ('a' <= lookahead && lookahead <= 'z')) ADVANCE(79); + if (lookahead == '>') ADVANCE(97); END_STATE(); case 9: - if (lookahead == ')') ADVANCE(94); - if (lookahead == '-') ADVANCE(13); - if (lookahead == ':') ADVANCE(93); - if (lookahead == ';') ADVANCE(91); - if (lookahead == 0x2192) ADVANCE(117); - if (('\t' <= lookahead && lookahead <= '\r') || - lookahead == ' ') SKIP(9); - if (set_contains(sym_symbol_character_set_1, 11, lookahead)) ADVANCE(82); - if (('A' <= lookahead && lookahead <= 'z')) ADVANCE(79); + if (lookahead == ']') ADVANCE(92); END_STATE(); case 10: - if (lookahead == ',') ADVANCE(112); - if (lookahead == '-') ADVANCE(13); - if (lookahead == 0x2192) ADVANCE(117); - if (('\t' <= lookahead && lookahead <= '\r') || - lookahead == ' ') SKIP(10); - if (set_contains(sym_symbol_character_set_1, 11, lookahead)) ADVANCE(82); + if (lookahead == 'a') ADVANCE(36); END_STATE(); case 11: - if (lookahead == '-') ADVANCE(13); - if (lookahead == '=') ADVANCE(80); - if (lookahead == 0x2192) ADVANCE(117); - if (lookahead == 0x21d2) ADVANCE(107); - if (('\t' <= lookahead && lookahead <= '\r') || - lookahead == ' ') SKIP(11); - if (set_contains(sym_symbol_character_set_1, 11, lookahead)) ADVANCE(82); + if (lookahead == 'a') ADVANCE(13); END_STATE(); case 12: - if (lookahead == '-') ADVANCE(13); - if (lookahead == 'e') ADVANCE(45); - if (lookahead == 0x2192) ADVANCE(117); - if (('\t' <= lookahead && lookahead <= '\r') || - lookahead == ' ') SKIP(12); - if (set_contains(sym_symbol_character_set_1, 11, lookahead)) ADVANCE(82); + if (lookahead == 'a') ADVANCE(51); END_STATE(); case 13: - if (lookahead == '-') ADVANCE(83); + if (lookahead == 'b') ADVANCE(37); END_STATE(); case 14: - if (lookahead == '>') ADVANCE(105); + if (lookahead == 'c') ADVANCE(56); END_STATE(); case 15: - if (lookahead == ']') ADVANCE(99); + if (lookahead == 'c') ADVANCE(34); END_STATE(); case 16: - if (lookahead == 'a') ADVANCE(42); + if (lookahead == 'd') ADVANCE(78); END_STATE(); case 17: - if (lookahead == 'a') ADVANCE(19); + if (lookahead == 'd') ADVANCE(23); END_STATE(); case 18: - if (lookahead == 'a') ADVANCE(57); + if (lookahead == 'e') ADVANCE(24); END_STATE(); case 19: - if (lookahead == 'b') ADVANCE(43); + if (lookahead == 'e') ADVANCE(54); END_STATE(); case 20: - if (lookahead == 'c') ADVANCE(62); + if (lookahead == 'e') ADVANCE(14); END_STATE(); case 21: - if (lookahead == 'c') ADVANCE(40); + if (lookahead == 'e') ADVANCE(53); END_STATE(); case 22: - if (lookahead == 'd') ADVANCE(85); + if (lookahead == 'e') ADVANCE(88); END_STATE(); case 23: - if (lookahead == 'd') ADVANCE(29); + if (lookahead == 'e') ADVANCE(117); END_STATE(); case 24: - if (lookahead == 'e') ADVANCE(30); + if (lookahead == 'f') ADVANCE(113); END_STATE(); case 25: - if (lookahead == 'e') ADVANCE(60); + if (lookahead == 'f') ADVANCE(28); END_STATE(); case 26: - if (lookahead == 'e') ADVANCE(20); + if (lookahead == 'h') ADVANCE(21); END_STATE(); case 27: - if (lookahead == 'e') ADVANCE(59); + if (lookahead == 'i') ADVANCE(46); END_STATE(); case 28: - if (lookahead == 'e') ADVANCE(95); + if (lookahead == 'i') ADVANCE(59); END_STATE(); case 29: - if (lookahead == 'e') ADVANCE(123); - END_STATE(); - case 30: - if (lookahead == 'f') ADVANCE(119); - END_STATE(); - case 31: - if (lookahead == 'f') ADVANCE(34); - END_STATE(); - case 32: - if (lookahead == 'h') ADVANCE(27); - END_STATE(); - case 33: if (lookahead == 'i') ADVANCE(52); END_STATE(); + case 30: + if (lookahead == 'i') ADVANCE(11); + END_STATE(); + case 31: + if (lookahead == 'i') ADVANCE(48); + END_STATE(); + case 32: + if (lookahead == 'i') ADVANCE(44); + END_STATE(); + case 33: + if (lookahead == 'l') ADVANCE(103); + END_STATE(); case 34: - if (lookahead == 'i') ADVANCE(65); + if (lookahead == 'l') ADVANCE(57); END_STATE(); case 35: - if (lookahead == 'i') ADVANCE(58); + if (lookahead == 'l') ADVANCE(82); + if (lookahead == 'r') ADVANCE(83); END_STATE(); case 36: - if (lookahead == 'i') ADVANCE(17); + if (lookahead == 'l') ADVANCE(33); END_STATE(); case 37: - if (lookahead == 'i') ADVANCE(54); + if (lookahead == 'l') ADVANCE(22); END_STATE(); case 38: - if (lookahead == 'i') ADVANCE(50); + if (lookahead == 'm') ADVANCE(112); END_STATE(); case 39: - if (lookahead == 'l') ADVANCE(109); + if (lookahead == 'n') ADVANCE(16); END_STATE(); case 40: - if (lookahead == 'l') ADVANCE(63); + if (lookahead == 'n') ADVANCE(110); END_STATE(); case 41: - if (lookahead == 'l') ADVANCE(89); - if (lookahead == 'r') ADVANCE(90); + if (lookahead == 'n') ADVANCE(95); END_STATE(); case 42: - if (lookahead == 'l') ADVANCE(39); + if (lookahead == 'n') ADVANCE(77); END_STATE(); case 43: - if (lookahead == 'l') ADVANCE(28); + if (lookahead == 'n') ADVANCE(25); END_STATE(); case 44: - if (lookahead == 'm') ADVANCE(118); + if (lookahead == 'n') ADVANCE(15); END_STATE(); case 45: - if (lookahead == 'n') ADVANCE(22); + if (lookahead == 'o') ADVANCE(50); + if (lookahead == 'u') ADVANCE(41); END_STATE(); case 46: - if (lookahead == 'n') ADVANCE(116); + if (lookahead == 'o') ADVANCE(38); END_STATE(); case 47: - if (lookahead == 'n') ADVANCE(103); + if (lookahead == 'o') ADVANCE(55); END_STATE(); case 48: - if (lookahead == 'n') ADVANCE(84); + if (lookahead == 'o') ADVANCE(42); END_STATE(); case 49: - if (lookahead == 'n') ADVANCE(31); + if (lookahead == 'p') ADVANCE(47); END_STATE(); case 50: - if (lookahead == 'n') ADVANCE(21); + if (lookahead == 'r') ADVANCE(10); END_STATE(); case 51: - if (lookahead == 'o') ADVANCE(56); - if (lookahead == 'u') ADVANCE(47); + if (lookahead == 'r') ADVANCE(30); END_STATE(); case 52: - if (lookahead == 'o') ADVANCE(44); + if (lookahead == 's') ADVANCE(89); END_STATE(); case 53: - if (lookahead == 'o') ADVANCE(61); + if (lookahead == 's') ADVANCE(29); END_STATE(); case 54: - if (lookahead == 'o') ADVANCE(48); + if (lookahead == 't') ADVANCE(108); END_STATE(); case 55: - if (lookahead == 'p') ADVANCE(53); + if (lookahead == 't') ADVANCE(26); END_STATE(); case 56: - if (lookahead == 'r') ADVANCE(16); + if (lookahead == 't') ADVANCE(31); END_STATE(); case 57: - if (lookahead == 'r') ADVANCE(36); + if (lookahead == 'u') ADVANCE(17); END_STATE(); case 58: - if (lookahead == 's') ADVANCE(96); + if (lookahead == 'x') ADVANCE(27); END_STATE(); case 59: - if (lookahead == 's') ADVANCE(35); + if (lookahead == 'x') ADVANCE(35); END_STATE(); case 60: - if (lookahead == 't') ADVANCE(114); + if (lookahead == 'y') ADVANCE(49); END_STATE(); case 61: - if (lookahead == 't') ADVANCE(32); - END_STATE(); - case 62: - if (lookahead == 't') ADVANCE(37); - END_STATE(); - case 63: - if (lookahead == 'u') ADVANCE(23); - END_STATE(); - case 64: - if (lookahead == 'x') ADVANCE(33); - END_STATE(); - case 65: - if (lookahead == 'x') ADVANCE(41); - END_STATE(); - case 66: - if (lookahead == 'y') ADVANCE(55); - END_STATE(); - case 67: - if (eof) ADVANCE(68); + if (eof) ADVANCE(62); ADVANCE_MAP( - '(', 92, - ')', 94, - ',', 111, - '-', 13, - ':', 93, - ';', 91, - '=', 14, - '@', 38, - 'a', 64, - 'd', 24, - 'e', 45, - 'h', 66, - 'i', 49, - 's', 26, - 'v', 18, - 0x2192, 117, - 0x21d2, 107, + '(', 85, + ',', 105, + '-', 6, + ':', 86, + '=', 8, + '@', 32, + 'a', 58, + 'd', 18, + 'e', 39, + 'h', 60, + 'i', 43, + 's', 20, + 'v', 12, + 0x21d2, 99, ); if (('\t' <= lookahead && lookahead <= '\r') || - lookahead == ' ') SKIP(67); - if (('0' <= lookahead && lookahead <= '9')) ADVANCE(88); + lookahead == ' ') SKIP(61); + if (('0' <= lookahead && lookahead <= '9')) ADVANCE(81); + END_STATE(); + case 62: + ACCEPT_TOKEN(ts_builtin_sym_end); + END_STATE(); + case 63: + ACCEPT_TOKEN(sym_identifier); + if (lookahead == 'a') ADVANCE(67); + if (('0' <= lookahead && lookahead <= '9') || + ('A' <= lookahead && lookahead <= 'Z') || + lookahead == '_' || + ('b' <= lookahead && lookahead <= 'z')) ADVANCE(73); + END_STATE(); + case 64: + ACCEPT_TOKEN(sym_identifier); + if (lookahead == 'd') ADVANCE(79); + if (('0' <= lookahead && lookahead <= '9') || + ('A' <= lookahead && lookahead <= 'Z') || + lookahead == '_' || + ('a' <= lookahead && lookahead <= 'z')) ADVANCE(73); + END_STATE(); + case 65: + ACCEPT_TOKEN(sym_identifier); + if (lookahead == 'e') ADVANCE(72); + if (('0' <= lookahead && lookahead <= '9') || + ('A' <= lookahead && lookahead <= 'Z') || + lookahead == '_' || + ('a' <= lookahead && lookahead <= 'z')) ADVANCE(73); + END_STATE(); + case 66: + ACCEPT_TOKEN(sym_identifier); + if (lookahead == 'l') ADVANCE(104); + if (('0' <= lookahead && lookahead <= '9') || + ('A' <= lookahead && lookahead <= 'Z') || + lookahead == '_' || + ('a' <= lookahead && lookahead <= 'z')) ADVANCE(73); + END_STATE(); + case 67: + ACCEPT_TOKEN(sym_identifier); + if (lookahead == 'l') ADVANCE(66); + if (('0' <= lookahead && lookahead <= '9') || + ('A' <= lookahead && lookahead <= 'Z') || + lookahead == '_' || + ('a' <= lookahead && lookahead <= 'z')) ADVANCE(73); END_STATE(); case 68: - ACCEPT_TOKEN(ts_builtin_sym_end); + ACCEPT_TOKEN(sym_identifier); + if (lookahead == 'n') ADVANCE(96); + if (('0' <= lookahead && lookahead <= '9') || + ('A' <= lookahead && lookahead <= 'Z') || + lookahead == '_' || + ('a' <= lookahead && lookahead <= 'z')) ADVANCE(73); END_STATE(); case 69: ACCEPT_TOKEN(sym_identifier); - if (lookahead == 'a') ADVANCE(73); + if (lookahead == 'n') ADVANCE(64); if (('0' <= lookahead && lookahead <= '9') || ('A' <= lookahead && lookahead <= 'Z') || lookahead == '_' || - ('b' <= lookahead && lookahead <= 'z')) ADVANCE(79); + ('a' <= lookahead && lookahead <= 'z')) ADVANCE(73); END_STATE(); case 70: ACCEPT_TOKEN(sym_identifier); - if (lookahead == 'd') ADVANCE(86); + if (lookahead == 'o') ADVANCE(71); + if (lookahead == 'u') ADVANCE(68); if (('0' <= lookahead && lookahead <= '9') || ('A' <= lookahead && lookahead <= 'Z') || lookahead == '_' || - ('a' <= lookahead && lookahead <= 'z')) ADVANCE(79); + ('a' <= lookahead && lookahead <= 'z')) ADVANCE(73); END_STATE(); case 71: ACCEPT_TOKEN(sym_identifier); - if (lookahead == 'e') ADVANCE(78); + if (lookahead == 'r') ADVANCE(63); if (('0' <= lookahead && lookahead <= '9') || ('A' <= lookahead && lookahead <= 'Z') || lookahead == '_' || - ('a' <= lookahead && lookahead <= 'z')) ADVANCE(79); + ('a' <= lookahead && lookahead <= 'z')) ADVANCE(73); END_STATE(); case 72: ACCEPT_TOKEN(sym_identifier); - if (lookahead == 'l') ADVANCE(110); + if (lookahead == 't') ADVANCE(109); if (('0' <= lookahead && lookahead <= '9') || ('A' <= lookahead && lookahead <= 'Z') || lookahead == '_' || - ('a' <= lookahead && lookahead <= 'z')) ADVANCE(79); + ('a' <= lookahead && lookahead <= 'z')) ADVANCE(73); END_STATE(); case 73: ACCEPT_TOKEN(sym_identifier); - if (lookahead == 'l') ADVANCE(72); if (('0' <= lookahead && lookahead <= '9') || ('A' <= lookahead && lookahead <= 'Z') || lookahead == '_' || - ('a' <= lookahead && lookahead <= 'z')) ADVANCE(79); + ('a' <= lookahead && lookahead <= 'z')) ADVANCE(73); END_STATE(); case 74: - ACCEPT_TOKEN(sym_identifier); - if (lookahead == 'n') ADVANCE(104); - if (('0' <= lookahead && lookahead <= '9') || - ('A' <= lookahead && lookahead <= 'Z') || - lookahead == '_' || - ('a' <= lookahead && lookahead <= 'z')) ADVANCE(79); + ACCEPT_TOKEN(sym_symbol); + if (lookahead == '>') ADVANCE(98); + if (set_contains(sym_symbol_character_set_1, 12, lookahead)) ADVANCE(75); END_STATE(); case 75: - ACCEPT_TOKEN(sym_identifier); - if (lookahead == 'n') ADVANCE(70); - if (('0' <= lookahead && lookahead <= '9') || - ('A' <= lookahead && lookahead <= 'Z') || - lookahead == '_' || - ('a' <= lookahead && lookahead <= 'z')) ADVANCE(79); + ACCEPT_TOKEN(sym_symbol); + if (set_contains(sym_symbol_character_set_1, 12, lookahead)) ADVANCE(75); END_STATE(); case 76: - ACCEPT_TOKEN(sym_identifier); - if (lookahead == 'o') ADVANCE(77); - if (lookahead == 'u') ADVANCE(74); - if (('0' <= lookahead && lookahead <= '9') || - ('A' <= lookahead && lookahead <= 'Z') || - lookahead == '_' || - ('a' <= lookahead && lookahead <= 'z')) ADVANCE(79); - END_STATE(); - case 77: - ACCEPT_TOKEN(sym_identifier); - if (lookahead == 'r') ADVANCE(69); - if (('0' <= lookahead && lookahead <= '9') || - ('A' <= lookahead && lookahead <= 'Z') || - lookahead == '_' || - ('a' <= lookahead && lookahead <= 'z')) ADVANCE(79); - END_STATE(); - case 78: - ACCEPT_TOKEN(sym_identifier); - if (lookahead == 't') ADVANCE(115); - if (('0' <= lookahead && lookahead <= '9') || - ('A' <= lookahead && lookahead <= 'Z') || - lookahead == '_' || - ('a' <= lookahead && lookahead <= 'z')) ADVANCE(79); - END_STATE(); - case 79: - ACCEPT_TOKEN(sym_identifier); - if (('0' <= lookahead && lookahead <= '9') || - ('A' <= lookahead && lookahead <= 'Z') || - lookahead == '_' || - ('a' <= lookahead && lookahead <= 'z')) ADVANCE(79); - END_STATE(); - case 80: - ACCEPT_TOKEN(sym_symbol); - if (lookahead == '>') ADVANCE(106); - if (set_contains(sym_symbol_character_set_1, 11, lookahead)) ADVANCE(82); - END_STATE(); - case 81: - ACCEPT_TOKEN(sym_symbol); - if (lookahead == ']') ADVANCE(100); - if (set_contains(sym_symbol_character_set_1, 11, lookahead)) ADVANCE(82); - END_STATE(); - case 82: - ACCEPT_TOKEN(sym_symbol); - if (set_contains(sym_symbol_character_set_1, 11, lookahead)) ADVANCE(82); - END_STATE(); - case 83: ACCEPT_TOKEN(sym_comment); if (lookahead != 0 && - lookahead != '\n') ADVANCE(83); + lookahead != '\n') ADVANCE(76); END_STATE(); - case 84: + case 77: ACCEPT_TOKEN(anon_sym_section); END_STATE(); - case 85: + case 78: ACCEPT_TOKEN(anon_sym_end); END_STATE(); - case 86: + case 79: ACCEPT_TOKEN(anon_sym_end); if (('0' <= lookahead && lookahead <= '9') || ('A' <= lookahead && lookahead <= 'Z') || lookahead == '_' || - ('a' <= lookahead && lookahead <= 'z')) ADVANCE(79); + ('a' <= lookahead && lookahead <= 'z')) ADVANCE(73); END_STATE(); - case 87: + case 80: ACCEPT_TOKEN(sym_precedence); - if (('0' <= lookahead && lookahead <= '9')) ADVANCE(87); - if ((0x2080 <= lookahead && lookahead <= 0x2089)) ADVANCE(101); + if (('0' <= lookahead && lookahead <= '9')) ADVANCE(80); + if ((0x2080 <= lookahead && lookahead <= 0x2089)) ADVANCE(93); END_STATE(); - case 88: + case 81: ACCEPT_TOKEN(sym_precedence); - if (('0' <= lookahead && lookahead <= '9')) ADVANCE(88); + if (('0' <= lookahead && lookahead <= '9')) ADVANCE(81); END_STATE(); - case 89: + case 82: ACCEPT_TOKEN(anon_sym_infixl); END_STATE(); - case 90: + case 83: ACCEPT_TOKEN(anon_sym_infixr); END_STATE(); - case 91: + case 84: ACCEPT_TOKEN(anon_sym_SEMI); END_STATE(); - case 92: + case 85: ACCEPT_TOKEN(anon_sym_LPAREN); END_STATE(); - case 93: + case 86: ACCEPT_TOKEN(anon_sym_COLON); - if (lookahead == '=') ADVANCE(113); + if (lookahead == '=') ADVANCE(107); END_STATE(); - case 94: + case 87: ACCEPT_TOKEN(anon_sym_RPAREN); END_STATE(); - case 95: + case 88: ACCEPT_TOKEN(anon_sym_variable); END_STATE(); - case 96: + case 89: ACCEPT_TOKEN(anon_sym_hypothesis); END_STATE(); - case 97: + case 90: ACCEPT_TOKEN(sym_star); END_STATE(); - case 98: + case 91: ACCEPT_TOKEN(anon_sym_u25a1); END_STATE(); - case 99: + case 92: ACCEPT_TOKEN(anon_sym_LBRACK_RBRACK); END_STATE(); - case 100: - ACCEPT_TOKEN(anon_sym_LBRACK_RBRACK); - if (set_contains(sym_symbol_character_set_1, 11, lookahead)) ADVANCE(82); - END_STATE(); - case 101: + case 93: ACCEPT_TOKEN(aux_sym_sort_token1); if (('0' <= lookahead && lookahead <= '9') || - (0x2080 <= lookahead && lookahead <= 0x2089)) ADVANCE(101); + (0x2080 <= lookahead && lookahead <= 0x2089)) ADVANCE(93); END_STATE(); - case 102: + case 94: ACCEPT_TOKEN(anon_sym_u03bb); END_STATE(); - case 103: + case 95: ACCEPT_TOKEN(anon_sym_fun); END_STATE(); - case 104: + case 96: ACCEPT_TOKEN(anon_sym_fun); if (('0' <= lookahead && lookahead <= '9') || ('A' <= lookahead && lookahead <= 'Z') || lookahead == '_' || - ('a' <= lookahead && lookahead <= 'z')) ADVANCE(79); + ('a' <= lookahead && lookahead <= 'z')) ADVANCE(73); END_STATE(); - case 105: + case 97: ACCEPT_TOKEN(anon_sym_EQ_GT); END_STATE(); - case 106: + case 98: ACCEPT_TOKEN(anon_sym_EQ_GT); - if (set_contains(sym_symbol_character_set_1, 11, lookahead)) ADVANCE(82); + if (set_contains(sym_symbol_character_set_1, 12, lookahead)) ADVANCE(75); END_STATE(); - case 107: + case 99: ACCEPT_TOKEN(anon_sym_u21d2); END_STATE(); - case 108: + case 100: + ACCEPT_TOKEN(anon_sym_LBRACK); + if (lookahead == ']') ADVANCE(92); + END_STATE(); + case 101: + ACCEPT_TOKEN(anon_sym_RBRACK); + END_STATE(); + case 102: ACCEPT_TOKEN(anon_sym_u220f); END_STATE(); - case 109: + case 103: ACCEPT_TOKEN(anon_sym_forall); END_STATE(); - case 110: + case 104: ACCEPT_TOKEN(anon_sym_forall); if (('0' <= lookahead && lookahead <= '9') || ('A' <= lookahead && lookahead <= 'Z') || lookahead == '_' || - ('a' <= lookahead && lookahead <= 'z')) ADVANCE(79); + ('a' <= lookahead && lookahead <= 'z')) ADVANCE(73); END_STATE(); - case 111: + case 105: ACCEPT_TOKEN(anon_sym_COMMA); END_STATE(); - case 112: + case 106: ACCEPT_TOKEN(anon_sym_COMMA); - if (set_contains(sym_symbol_character_set_1, 11, lookahead)) ADVANCE(82); + if (set_contains(sym_symbol_character_set_1, 12, lookahead)) ADVANCE(75); END_STATE(); - case 113: + case 107: ACCEPT_TOKEN(anon_sym_COLON_EQ); END_STATE(); - case 114: + case 108: ACCEPT_TOKEN(anon_sym_let); END_STATE(); - case 115: + case 109: ACCEPT_TOKEN(anon_sym_let); if (('0' <= lookahead && lookahead <= '9') || ('A' <= lookahead && lookahead <= 'Z') || lookahead == '_' || - ('a' <= lookahead && lookahead <= 'z')) ADVANCE(79); + ('a' <= lookahead && lookahead <= 'z')) ADVANCE(73); END_STATE(); - case 116: + case 110: ACCEPT_TOKEN(anon_sym_in); END_STATE(); - case 117: + case 111: ACCEPT_TOKEN(anon_sym_u2192); END_STATE(); - case 118: + case 112: ACCEPT_TOKEN(anon_sym_axiom); END_STATE(); - case 119: + case 113: ACCEPT_TOKEN(anon_sym_def); END_STATE(); - case 120: + case 114: ACCEPT_TOKEN(sym_post_command); - if (lookahead == '-') ADVANCE(83); + if (lookahead == '-') ADVANCE(76); if (lookahead != 0 && - lookahead != '\n') ADVANCE(122); + lookahead != '\n') ADVANCE(116); END_STATE(); - case 121: + case 115: ACCEPT_TOKEN(sym_post_command); - if (lookahead == '-') ADVANCE(120); + if (lookahead == '-') ADVANCE(114); if (lookahead == '\t' || (0x0b <= lookahead && lookahead <= '\r') || - lookahead == ' ') ADVANCE(121); + lookahead == ' ') ADVANCE(115); if (lookahead != 0 && - (lookahead < '\t' || '\r' < lookahead)) ADVANCE(122); + (lookahead < '\t' || '\r' < lookahead)) ADVANCE(116); END_STATE(); - case 122: + case 116: ACCEPT_TOKEN(sym_post_command); if (lookahead != 0 && - lookahead != '\n') ADVANCE(122); + lookahead != '\n') ADVANCE(116); END_STATE(); - case 123: + case 117: ACCEPT_TOKEN(sym_command); END_STATE(); default: @@ -1405,232 +1288,179 @@ static bool ts_lex(TSLexer *lexer, TSStateId state) { static const TSLexMode ts_lex_modes[STATE_COUNT] = { [0] = {.lex_state = 0}, - [1] = {.lex_state = 67}, - [2] = {.lex_state = 6}, - [3] = {.lex_state = 6}, - [4] = {.lex_state = 6}, - [5] = {.lex_state = 6}, - [6] = {.lex_state = 7}, - [7] = {.lex_state = 7}, - [8] = {.lex_state = 7}, - [9] = {.lex_state = 7}, - [10] = {.lex_state = 7}, - [11] = {.lex_state = 7}, - [12] = {.lex_state = 7}, - [13] = {.lex_state = 7}, - [14] = {.lex_state = 7}, - [15] = {.lex_state = 7}, - [16] = {.lex_state = 7}, - [17] = {.lex_state = 7}, - [18] = {.lex_state = 7}, - [19] = {.lex_state = 7}, - [20] = {.lex_state = 7}, - [21] = {.lex_state = 7}, - [22] = {.lex_state = 7}, - [23] = {.lex_state = 7}, - [24] = {.lex_state = 7}, - [25] = {.lex_state = 7}, - [26] = {.lex_state = 7}, - [27] = {.lex_state = 7}, - [28] = {.lex_state = 7}, - [29] = {.lex_state = 7}, - [30] = {.lex_state = 7}, - [31] = {.lex_state = 7}, - [32] = {.lex_state = 7}, - [33] = {.lex_state = 7}, - [34] = {.lex_state = 7}, - [35] = {.lex_state = 7}, - [36] = {.lex_state = 7}, - [37] = {.lex_state = 7}, - [38] = {.lex_state = 7}, - [39] = {.lex_state = 7}, - [40] = {.lex_state = 7}, - [41] = {.lex_state = 67}, - [42] = {.lex_state = 67}, - [43] = {.lex_state = 67}, - [44] = {.lex_state = 67}, - [45] = {.lex_state = 67}, - [46] = {.lex_state = 67}, - [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 = 3}, - [54] = {.lex_state = 5}, - [55] = {.lex_state = 8}, - [56] = {.lex_state = 8}, - [57] = {.lex_state = 8}, - [58] = {.lex_state = 8}, - [59] = {.lex_state = 2}, - [60] = {.lex_state = 2}, - [61] = {.lex_state = 2}, - [62] = {.lex_state = 2}, - [63] = {.lex_state = 2}, - [64] = {.lex_state = 4}, - [65] = {.lex_state = 4}, - [66] = {.lex_state = 2}, - [67] = {.lex_state = 2}, - [68] = {.lex_state = 67}, - [69] = {.lex_state = 67}, - [70] = {.lex_state = 67}, - [71] = {.lex_state = 67}, - [72] = {.lex_state = 67}, - [73] = {.lex_state = 67}, - [74] = {.lex_state = 67}, - [75] = {.lex_state = 67}, - [76] = {.lex_state = 4}, - [77] = {.lex_state = 4}, - [78] = {.lex_state = 67}, - [79] = {.lex_state = 67}, - [80] = {.lex_state = 4}, - [81] = {.lex_state = 67}, - [82] = {.lex_state = 67}, - [83] = {.lex_state = 4}, - [84] = {.lex_state = 4}, - [85] = {.lex_state = 67}, - [86] = {.lex_state = 3}, - [87] = {.lex_state = 3}, - [88] = {.lex_state = 67}, - [89] = {.lex_state = 5}, - [90] = {.lex_state = 5}, - [91] = {.lex_state = 67}, - [92] = {.lex_state = 67}, - [93] = {.lex_state = 67}, - [94] = {.lex_state = 67}, - [95] = {.lex_state = 67}, - [96] = {.lex_state = 3}, - [97] = {.lex_state = 3}, - [98] = {.lex_state = 67}, - [99] = {.lex_state = 67}, - [100] = {.lex_state = 3}, - [101] = {.lex_state = 67}, - [102] = {.lex_state = 3}, - [103] = {.lex_state = 3}, - [104] = {.lex_state = 67}, - [105] = {.lex_state = 67}, - [106] = {.lex_state = 5}, - [107] = {.lex_state = 5}, - [108] = {.lex_state = 67}, - [109] = {.lex_state = 67}, - [110] = {.lex_state = 5}, - [111] = {.lex_state = 67}, - [112] = {.lex_state = 5}, - [113] = {.lex_state = 5}, - [114] = {.lex_state = 67}, - [115] = {.lex_state = 67}, - [116] = {.lex_state = 67}, - [117] = {.lex_state = 67}, - [118] = {.lex_state = 67}, - [119] = {.lex_state = 67}, - [120] = {.lex_state = 0}, - [121] = {.lex_state = 67}, - [122] = {.lex_state = 67}, + [1] = {.lex_state = 61}, + [2] = {.lex_state = 3}, + [3] = {.lex_state = 3}, + [4] = {.lex_state = 3}, + [5] = {.lex_state = 3}, + [6] = {.lex_state = 3}, + [7] = {.lex_state = 3}, + [8] = {.lex_state = 3}, + [9] = {.lex_state = 3}, + [10] = {.lex_state = 3}, + [11] = {.lex_state = 3}, + [12] = {.lex_state = 3}, + [13] = {.lex_state = 3}, + [14] = {.lex_state = 3}, + [15] = {.lex_state = 3}, + [16] = {.lex_state = 3}, + [17] = {.lex_state = 3}, + [18] = {.lex_state = 3}, + [19] = {.lex_state = 3}, + [20] = {.lex_state = 3}, + [21] = {.lex_state = 3}, + [22] = {.lex_state = 3}, + [23] = {.lex_state = 3}, + [24] = {.lex_state = 3}, + [25] = {.lex_state = 3}, + [26] = {.lex_state = 3}, + [27] = {.lex_state = 61}, + [28] = {.lex_state = 61}, + [29] = {.lex_state = 2}, + [30] = {.lex_state = 61}, + [31] = {.lex_state = 61}, + [32] = {.lex_state = 2}, + [33] = {.lex_state = 61}, + [34] = {.lex_state = 61}, + [35] = {.lex_state = 4}, + [36] = {.lex_state = 4}, + [37] = {.lex_state = 2}, + [38] = {.lex_state = 2}, + [39] = {.lex_state = 2}, + [40] = {.lex_state = 2}, + [41] = {.lex_state = 2}, + [42] = {.lex_state = 2}, + [43] = {.lex_state = 2}, + [44] = {.lex_state = 2}, + [45] = {.lex_state = 2}, + [46] = {.lex_state = 4}, + [47] = {.lex_state = 61}, + [48] = {.lex_state = 61}, + [49] = {.lex_state = 61}, + [50] = {.lex_state = 61}, + [51] = {.lex_state = 61}, + [52] = {.lex_state = 4}, + [53] = {.lex_state = 61}, + [54] = {.lex_state = 61}, + [55] = {.lex_state = 61}, + [56] = {.lex_state = 61}, + [57] = {.lex_state = 61}, + [58] = {.lex_state = 61}, + [59] = {.lex_state = 61}, + [60] = {.lex_state = 61}, + [61] = {.lex_state = 61}, + [62] = {.lex_state = 61}, + [63] = {.lex_state = 61}, + [64] = {.lex_state = 61}, + [65] = {.lex_state = 61}, + [66] = {.lex_state = 4}, + [67] = {.lex_state = 4}, + [68] = {.lex_state = 4}, + [69] = {.lex_state = 4}, + [70] = {.lex_state = 61}, + [71] = {.lex_state = 4}, + [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 = 3}, + [80] = {.lex_state = 0}, + [81] = {.lex_state = 0}, + [82] = {.lex_state = 61}, + [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 = 61}, + [91] = {.lex_state = 0}, + [92] = {.lex_state = 0}, + [93] = {.lex_state = 0}, + [94] = {.lex_state = 61}, + [95] = {.lex_state = 0}, + [96] = {.lex_state = 2}, + [97] = {.lex_state = 2}, + [98] = {.lex_state = 61}, + [99] = {.lex_state = 0}, + [100] = {.lex_state = 0}, + [101] = {.lex_state = 0}, + [102] = {.lex_state = 61}, + [103] = {.lex_state = 0}, + [104] = {.lex_state = 2}, + [105] = {.lex_state = 2}, + [106] = {.lex_state = 2}, + [107] = {.lex_state = 2}, + [108] = {.lex_state = 2}, + [109] = {.lex_state = 5}, + [110] = {.lex_state = 0}, + [111] = {.lex_state = 0}, + [112] = {.lex_state = 0}, + [113] = {.lex_state = 0}, + [114] = {.lex_state = 0}, + [115] = {.lex_state = 0}, + [116] = {.lex_state = 0}, + [117] = {.lex_state = 2}, + [118] = {.lex_state = 2}, + [119] = {.lex_state = 0}, + [120] = {.lex_state = 2}, + [121] = {.lex_state = 0}, + [122] = {.lex_state = 0}, [123] = {.lex_state = 0}, [124] = {.lex_state = 0}, - [125] = {.lex_state = 0}, - [126] = {.lex_state = 67}, - [127] = {.lex_state = 67}, - [128] = {.lex_state = 0}, - [129] = {.lex_state = 0}, - [130] = {.lex_state = 67}, + [125] = {.lex_state = 2}, + [126] = {.lex_state = 0}, + [127] = {.lex_state = 2}, + [128] = {.lex_state = 2}, + [129] = {.lex_state = 2}, + [130] = {.lex_state = 0}, [131] = {.lex_state = 0}, - [132] = {.lex_state = 9}, - [133] = {.lex_state = 0}, - [134] = {.lex_state = 0}, + [132] = {.lex_state = 0}, + [133] = {.lex_state = 2}, + [134] = {.lex_state = 1}, [135] = {.lex_state = 0}, [136] = {.lex_state = 0}, - [137] = {.lex_state = 9}, - [138] = {.lex_state = 0}, - [139] = {.lex_state = 9}, - [140] = {.lex_state = 11}, + [137] = {.lex_state = 0}, + [138] = {.lex_state = 2}, + [139] = {.lex_state = 0}, + [140] = {.lex_state = 0}, [141] = {.lex_state = 0}, [142] = {.lex_state = 0}, [143] = {.lex_state = 0}, [144] = {.lex_state = 0}, - [145] = {.lex_state = 0}, - [146] = {.lex_state = 10}, - [147] = {.lex_state = 2}, - [148] = {.lex_state = 2}, - [149] = {.lex_state = 67}, - [150] = {.lex_state = 9}, - [151] = {.lex_state = 12}, + [145] = {.lex_state = 61}, + [146] = {.lex_state = 0}, + [147] = {.lex_state = 0}, + [148] = {.lex_state = 0}, + [149] = {.lex_state = 0}, + [150] = {.lex_state = 0}, + [151] = {.lex_state = 3}, [152] = {.lex_state = 0}, [153] = {.lex_state = 0}, [154] = {.lex_state = 0}, - [155] = {.lex_state = 0}, + [155] = {.lex_state = 3}, [156] = {.lex_state = 0}, [157] = {.lex_state = 0}, [158] = {.lex_state = 0}, [159] = {.lex_state = 0}, [160] = {.lex_state = 0}, [161] = {.lex_state = 0}, - [162] = {.lex_state = 0}, + [162] = {.lex_state = 61}, [163] = {.lex_state = 0}, - [164] = {.lex_state = 67}, - [165] = {.lex_state = 67}, - [166] = {.lex_state = 9}, - [167] = {.lex_state = 67}, + [164] = {.lex_state = 0}, + [165] = {.lex_state = 0}, + [166] = {.lex_state = 0}, + [167] = {.lex_state = 0}, [168] = {.lex_state = 0}, - [169] = {.lex_state = 0}, + [169] = {.lex_state = 1}, [170] = {.lex_state = 2}, - [171] = {.lex_state = 67}, + [171] = {.lex_state = 2}, [172] = {.lex_state = 0}, - [173] = {.lex_state = 9}, - [174] = {.lex_state = 9}, - [175] = {.lex_state = 67}, - [176] = {.lex_state = 9}, - [177] = {.lex_state = 0}, - [178] = {.lex_state = 0}, - [179] = {.lex_state = 0}, - [180] = {.lex_state = 0}, - [181] = {.lex_state = 0}, - [182] = {.lex_state = 2}, - [183] = {.lex_state = 67}, - [184] = {.lex_state = 0}, - [185] = {.lex_state = 0}, - [186] = {.lex_state = 0}, - [187] = {.lex_state = 0}, - [188] = {.lex_state = 0}, - [189] = {.lex_state = 0}, - [190] = {.lex_state = 0}, - [191] = {.lex_state = 67}, - [192] = {.lex_state = 67}, - [193] = {.lex_state = 0}, - [194] = {.lex_state = 0}, - [195] = {.lex_state = 0}, - [196] = {.lex_state = 0}, - [197] = {.lex_state = 67}, - [198] = {.lex_state = 0}, - [199] = {.lex_state = 67}, - [200] = {.lex_state = 0}, - [201] = {.lex_state = 0}, - [202] = {.lex_state = 9}, - [203] = {.lex_state = 0}, - [204] = {.lex_state = 0}, - [205] = {.lex_state = 0}, - [206] = {.lex_state = 2}, - [207] = {.lex_state = 0}, - [208] = {.lex_state = 1}, - [209] = {.lex_state = 0}, - [210] = {.lex_state = 0}, - [211] = {.lex_state = 0}, - [212] = {.lex_state = 0}, - [213] = {.lex_state = 0}, - [214] = {.lex_state = 0}, - [215] = {.lex_state = 2}, - [216] = {.lex_state = 0}, - [217] = {.lex_state = 67}, - [218] = {.lex_state = 1}, - [219] = {.lex_state = 0}, - [220] = {.lex_state = 0}, - [221] = {.lex_state = 0}, - [222] = {.lex_state = 2}, - [223] = {.lex_state = 0}, - [224] = {.lex_state = 2}, - [225] = {.lex_state = 0}, - [226] = {.lex_state = 9}, + [173] = {.lex_state = 2}, }; static const uint16_t ts_parse_table[LARGE_STATE_COUNT][SYMBOL_COUNT] = { @@ -1655,6 +1485,8 @@ static const uint16_t ts_parse_table[LARGE_STATE_COUNT][SYMBOL_COUNT] = { [anon_sym_fun] = ACTIONS(1), [anon_sym_EQ_GT] = ACTIONS(1), [anon_sym_u21d2] = ACTIONS(1), + [anon_sym_LBRACK] = ACTIONS(1), + [anon_sym_RBRACK] = ACTIONS(1), [anon_sym_u220f] = ACTIONS(1), [anon_sym_forall] = ACTIONS(1), [anon_sym_COMMA] = ACTIONS(1), @@ -1666,14 +1498,14 @@ static const uint16_t ts_parse_table[LARGE_STATE_COUNT][SYMBOL_COUNT] = { [anon_sym_def] = ACTIONS(1), }, [1] = { - [sym_program] = STATE(216), - [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_program] = STATE(139), + [sym_section] = STATE(33), + [sym_fixity] = STATE(33), + [sym_variable] = STATE(33), + [sym_axiom] = STATE(33), + [sym_definition] = STATE(33), + [sym_preprocess] = STATE(33), + [aux_sym_program_repeat1] = STATE(33), [sym_comment] = ACTIONS(3), [anon_sym_section] = ACTIONS(5), [anon_sym_infixl] = ACTIONS(7), @@ -1698,42 +1530,44 @@ static const uint16_t ts_small_parse_table[] = { anon_sym_LPAREN, ACTIONS(23), 1, sym_star, - ACTIONS(25), 1, - anon_sym_u25a1, ACTIONS(27), 1, - anon_sym_LBRACK_RBRACK, - ACTIONS(29), 1, anon_sym_u03bb, - ACTIONS(31), 1, + ACTIONS(29), 1, anon_sym_fun, + ACTIONS(31), 1, + anon_sym_LBRACK, ACTIONS(33), 1, anon_sym_u220f, ACTIONS(35), 1, anon_sym_forall, ACTIONS(37), 1, anon_sym_let, - STATE(59), 1, + STATE(38), 1, sym_square, - STATE(101), 1, + STATE(77), 1, sym_arrow, - STATE(132), 1, + STATE(79), 1, sym_app, - STATE(138), 1, + STATE(91), 1, sym_app_term, - STATE(195), 1, + STATE(144), 1, sym_expr, - STATE(48), 2, + ACTIONS(25), 2, + anon_sym_u25a1, + anon_sym_LBRACK_RBRACK, + STATE(32), 2, sym_term, aux_sym_app_repeat1, - STATE(62), 2, + STATE(41), 2, sym_sort, sym_op_section, - STATE(114), 4, + STATE(74), 5, sym_labs, + sym_labs_alt, sym_pabs, sym_binex, sym_let, - [66] = 20, + [68] = 20, ACTIONS(3), 1, sym_comment, ACTIONS(17), 1, @@ -1742,14 +1576,12 @@ static const uint16_t ts_small_parse_table[] = { anon_sym_LPAREN, ACTIONS(23), 1, sym_star, - ACTIONS(25), 1, - anon_sym_u25a1, ACTIONS(27), 1, - anon_sym_LBRACK_RBRACK, - ACTIONS(29), 1, anon_sym_u03bb, - ACTIONS(31), 1, + ACTIONS(29), 1, anon_sym_fun, + ACTIONS(31), 1, + anon_sym_LBRACK, ACTIONS(33), 1, anon_sym_u220f, ACTIONS(35), 1, @@ -1758,28 +1590,32 @@ static const uint16_t ts_small_parse_table[] = { anon_sym_let, ACTIONS(39), 1, sym_symbol, - STATE(59), 1, + STATE(38), 1, sym_square, - STATE(101), 1, + STATE(77), 1, sym_arrow, - STATE(132), 1, + STATE(79), 1, sym_app, - STATE(138), 1, + STATE(91), 1, sym_app_term, - STATE(212), 1, + STATE(161), 1, sym_expr, - STATE(48), 2, + ACTIONS(25), 2, + anon_sym_u25a1, + anon_sym_LBRACK_RBRACK, + STATE(32), 2, sym_term, aux_sym_app_repeat1, - STATE(62), 2, + STATE(41), 2, sym_sort, sym_op_section, - STATE(114), 4, + STATE(74), 5, sym_labs, + sym_labs_alt, sym_pabs, sym_binex, sym_let, - [132] = 20, + [136] = 19, ACTIONS(3), 1, sym_comment, ACTIONS(17), 1, @@ -1788,1595 +1624,1218 @@ static const uint16_t ts_small_parse_table[] = { anon_sym_LPAREN, ACTIONS(23), 1, sym_star, - ACTIONS(25), 1, - anon_sym_u25a1, ACTIONS(27), 1, - anon_sym_LBRACK_RBRACK, - ACTIONS(29), 1, anon_sym_u03bb, - ACTIONS(31), 1, + ACTIONS(29), 1, anon_sym_fun, + ACTIONS(31), 1, + anon_sym_LBRACK, ACTIONS(33), 1, anon_sym_u220f, ACTIONS(35), 1, anon_sym_forall, ACTIONS(37), 1, anon_sym_let, + STATE(38), 1, + sym_square, + STATE(77), 1, + sym_arrow, + STATE(79), 1, + sym_app, + STATE(91), 1, + sym_app_term, + STATE(126), 1, + sym_expr, + ACTIONS(25), 2, + anon_sym_u25a1, + anon_sym_LBRACK_RBRACK, + STATE(32), 2, + sym_term, + aux_sym_app_repeat1, + STATE(41), 2, + sym_sort, + sym_op_section, + STATE(74), 5, + sym_labs, + sym_labs_alt, + sym_pabs, + sym_binex, + sym_let, + [201] = 19, + ACTIONS(3), 1, + sym_comment, + ACTIONS(17), 1, + sym_identifier, + ACTIONS(21), 1, + anon_sym_LPAREN, + ACTIONS(23), 1, + sym_star, + ACTIONS(27), 1, + anon_sym_u03bb, + ACTIONS(29), 1, + anon_sym_fun, + ACTIONS(31), 1, + anon_sym_LBRACK, + ACTIONS(33), 1, + anon_sym_u220f, + ACTIONS(35), 1, + anon_sym_forall, + ACTIONS(37), 1, + anon_sym_let, + STATE(38), 1, + sym_square, + STATE(77), 1, + sym_arrow, + STATE(79), 1, + sym_app, + STATE(91), 1, + sym_app_term, + STATE(149), 1, + sym_expr, + ACTIONS(25), 2, + anon_sym_u25a1, + anon_sym_LBRACK_RBRACK, + STATE(32), 2, + sym_term, + aux_sym_app_repeat1, + STATE(41), 2, + sym_sort, + sym_op_section, + STATE(74), 5, + sym_labs, + sym_labs_alt, + sym_pabs, + sym_binex, + sym_let, + [266] = 19, + ACTIONS(3), 1, + sym_comment, + ACTIONS(17), 1, + sym_identifier, + ACTIONS(21), 1, + anon_sym_LPAREN, + ACTIONS(23), 1, + sym_star, + ACTIONS(27), 1, + anon_sym_u03bb, + ACTIONS(29), 1, + anon_sym_fun, + ACTIONS(31), 1, + anon_sym_LBRACK, + ACTIONS(33), 1, + anon_sym_u220f, + ACTIONS(35), 1, + anon_sym_forall, + ACTIONS(37), 1, + anon_sym_let, + STATE(38), 1, + sym_square, + STATE(77), 1, + sym_arrow, + STATE(79), 1, + sym_app, + STATE(91), 1, + sym_app_term, + STATE(132), 1, + sym_expr, + ACTIONS(25), 2, + anon_sym_u25a1, + anon_sym_LBRACK_RBRACK, + STATE(32), 2, + sym_term, + aux_sym_app_repeat1, + STATE(41), 2, + sym_sort, + sym_op_section, + STATE(74), 5, + sym_labs, + sym_labs_alt, + sym_pabs, + sym_binex, + sym_let, + [331] = 19, + ACTIONS(3), 1, + sym_comment, + ACTIONS(17), 1, + sym_identifier, + ACTIONS(21), 1, + anon_sym_LPAREN, + ACTIONS(23), 1, + sym_star, + ACTIONS(27), 1, + anon_sym_u03bb, + ACTIONS(29), 1, + anon_sym_fun, + ACTIONS(31), 1, + anon_sym_LBRACK, + ACTIONS(33), 1, + anon_sym_u220f, + ACTIONS(35), 1, + anon_sym_forall, + ACTIONS(37), 1, + anon_sym_let, + STATE(38), 1, + sym_square, + STATE(77), 1, + sym_arrow, + STATE(79), 1, + sym_app, + STATE(91), 1, + sym_app_term, + STATE(156), 1, + sym_expr, + ACTIONS(25), 2, + anon_sym_u25a1, + anon_sym_LBRACK_RBRACK, + STATE(32), 2, + sym_term, + aux_sym_app_repeat1, + STATE(41), 2, + sym_sort, + sym_op_section, + STATE(74), 5, + sym_labs, + sym_labs_alt, + sym_pabs, + sym_binex, + sym_let, + [396] = 19, + ACTIONS(3), 1, + sym_comment, + ACTIONS(17), 1, + sym_identifier, + ACTIONS(21), 1, + anon_sym_LPAREN, + ACTIONS(23), 1, + sym_star, + ACTIONS(27), 1, + anon_sym_u03bb, + ACTIONS(29), 1, + anon_sym_fun, + ACTIONS(31), 1, + anon_sym_LBRACK, + ACTIONS(33), 1, + anon_sym_u220f, + ACTIONS(35), 1, + anon_sym_forall, + ACTIONS(37), 1, + anon_sym_let, + STATE(38), 1, + sym_square, + STATE(77), 1, + sym_arrow, + STATE(79), 1, + sym_app, + STATE(91), 1, + sym_app_term, + STATE(159), 1, + sym_expr, + ACTIONS(25), 2, + anon_sym_u25a1, + anon_sym_LBRACK_RBRACK, + STATE(32), 2, + sym_term, + aux_sym_app_repeat1, + STATE(41), 2, + sym_sort, + sym_op_section, + STATE(74), 5, + sym_labs, + sym_labs_alt, + sym_pabs, + sym_binex, + sym_let, + [461] = 19, + ACTIONS(3), 1, + sym_comment, + ACTIONS(17), 1, + sym_identifier, + ACTIONS(21), 1, + anon_sym_LPAREN, + ACTIONS(23), 1, + sym_star, + ACTIONS(27), 1, + anon_sym_u03bb, + ACTIONS(29), 1, + anon_sym_fun, + ACTIONS(31), 1, + anon_sym_LBRACK, + ACTIONS(33), 1, + anon_sym_u220f, + ACTIONS(35), 1, + anon_sym_forall, + ACTIONS(37), 1, + anon_sym_let, + STATE(38), 1, + sym_square, + STATE(77), 1, + sym_arrow, + STATE(79), 1, + sym_app, + STATE(91), 1, + sym_app_term, + STATE(172), 1, + sym_expr, + ACTIONS(25), 2, + anon_sym_u25a1, + anon_sym_LBRACK_RBRACK, + STATE(32), 2, + sym_term, + aux_sym_app_repeat1, + STATE(41), 2, + sym_sort, + sym_op_section, + STATE(74), 5, + sym_labs, + sym_labs_alt, + sym_pabs, + sym_binex, + sym_let, + [526] = 19, + ACTIONS(3), 1, + sym_comment, + ACTIONS(17), 1, + sym_identifier, + ACTIONS(21), 1, + anon_sym_LPAREN, + ACTIONS(23), 1, + sym_star, + ACTIONS(27), 1, + anon_sym_u03bb, + ACTIONS(29), 1, + anon_sym_fun, + ACTIONS(31), 1, + anon_sym_LBRACK, + ACTIONS(33), 1, + anon_sym_u220f, + ACTIONS(35), 1, + anon_sym_forall, + ACTIONS(37), 1, + anon_sym_let, + STATE(38), 1, + sym_square, + STATE(77), 1, + sym_arrow, + STATE(79), 1, + sym_app, + STATE(84), 1, + sym_expr, + STATE(91), 1, + sym_app_term, + ACTIONS(25), 2, + anon_sym_u25a1, + anon_sym_LBRACK_RBRACK, + STATE(32), 2, + sym_term, + aux_sym_app_repeat1, + STATE(41), 2, + sym_sort, + sym_op_section, + STATE(74), 5, + sym_labs, + sym_labs_alt, + sym_pabs, + sym_binex, + sym_let, + [591] = 19, + ACTIONS(3), 1, + sym_comment, + ACTIONS(17), 1, + sym_identifier, + ACTIONS(21), 1, + anon_sym_LPAREN, + ACTIONS(23), 1, + sym_star, + ACTIONS(27), 1, + anon_sym_u03bb, + ACTIONS(29), 1, + anon_sym_fun, + ACTIONS(31), 1, + anon_sym_LBRACK, + ACTIONS(33), 1, + anon_sym_u220f, + ACTIONS(35), 1, + anon_sym_forall, + ACTIONS(37), 1, + anon_sym_let, + STATE(38), 1, + sym_square, + STATE(77), 1, + sym_arrow, + STATE(79), 1, + sym_app, + STATE(91), 1, + sym_app_term, + STATE(167), 1, + sym_expr, + ACTIONS(25), 2, + anon_sym_u25a1, + anon_sym_LBRACK_RBRACK, + STATE(32), 2, + sym_term, + aux_sym_app_repeat1, + STATE(41), 2, + sym_sort, + sym_op_section, + STATE(74), 5, + sym_labs, + sym_labs_alt, + sym_pabs, + sym_binex, + sym_let, + [656] = 19, + ACTIONS(3), 1, + sym_comment, + ACTIONS(17), 1, + sym_identifier, + ACTIONS(21), 1, + anon_sym_LPAREN, + ACTIONS(23), 1, + sym_star, + ACTIONS(27), 1, + anon_sym_u03bb, + ACTIONS(29), 1, + anon_sym_fun, + ACTIONS(31), 1, + anon_sym_LBRACK, + ACTIONS(33), 1, + anon_sym_u220f, + ACTIONS(35), 1, + anon_sym_forall, + ACTIONS(37), 1, + anon_sym_let, + STATE(38), 1, + sym_square, + STATE(76), 1, + sym_expr, + STATE(77), 1, + sym_arrow, + STATE(79), 1, + sym_app, + STATE(91), 1, + sym_app_term, + ACTIONS(25), 2, + anon_sym_u25a1, + anon_sym_LBRACK_RBRACK, + STATE(32), 2, + sym_term, + aux_sym_app_repeat1, + STATE(41), 2, + sym_sort, + sym_op_section, + STATE(74), 5, + sym_labs, + sym_labs_alt, + sym_pabs, + sym_binex, + sym_let, + [721] = 19, + ACTIONS(3), 1, + sym_comment, + ACTIONS(17), 1, + sym_identifier, + ACTIONS(21), 1, + anon_sym_LPAREN, + ACTIONS(23), 1, + sym_star, + ACTIONS(27), 1, + anon_sym_u03bb, + ACTIONS(29), 1, + anon_sym_fun, + ACTIONS(31), 1, + anon_sym_LBRACK, + ACTIONS(33), 1, + anon_sym_u220f, + ACTIONS(35), 1, + anon_sym_forall, + ACTIONS(37), 1, + anon_sym_let, + STATE(38), 1, + sym_square, + STATE(77), 1, + sym_arrow, + STATE(79), 1, + sym_app, + STATE(91), 1, + sym_app_term, + STATE(150), 1, + sym_expr, + ACTIONS(25), 2, + anon_sym_u25a1, + anon_sym_LBRACK_RBRACK, + STATE(32), 2, + sym_term, + aux_sym_app_repeat1, + STATE(41), 2, + sym_sort, + sym_op_section, + STATE(74), 5, + sym_labs, + sym_labs_alt, + sym_pabs, + sym_binex, + sym_let, + [786] = 19, + ACTIONS(3), 1, + sym_comment, + ACTIONS(37), 1, + anon_sym_let, ACTIONS(41), 1, - sym_symbol, - STATE(59), 1, - sym_square, - STATE(101), 1, - sym_arrow, - STATE(132), 1, - sym_app, - STATE(138), 1, - sym_app_term, - STATE(178), 1, - sym_expr, - STATE(48), 2, - sym_term, - aux_sym_app_repeat1, - STATE(62), 2, - sym_sort, - sym_op_section, - STATE(114), 4, - sym_labs, - sym_pabs, - sym_binex, - sym_let, - [198] = 20, - ACTIONS(3), 1, - sym_comment, - ACTIONS(17), 1, sym_identifier, - ACTIONS(21), 1, - anon_sym_LPAREN, - ACTIONS(23), 1, - sym_star, - ACTIONS(25), 1, - anon_sym_u25a1, - ACTIONS(27), 1, - anon_sym_LBRACK_RBRACK, - ACTIONS(29), 1, - anon_sym_u03bb, - ACTIONS(31), 1, - anon_sym_fun, - ACTIONS(33), 1, - anon_sym_u220f, - ACTIONS(35), 1, - anon_sym_forall, - ACTIONS(37), 1, - anon_sym_let, ACTIONS(43), 1, + anon_sym_LPAREN, + ACTIONS(45), 1, + sym_star, + ACTIONS(49), 1, + anon_sym_u03bb, + ACTIONS(51), 1, + anon_sym_fun, + ACTIONS(53), 1, + anon_sym_LBRACK, + ACTIONS(55), 1, + anon_sym_u220f, + ACTIONS(57), 1, + anon_sym_forall, + STATE(46), 1, + sym_square, + STATE(77), 1, + sym_arrow, + STATE(109), 1, + sym_app, + STATE(122), 1, + sym_app_term, + STATE(164), 1, + sym_expr, + ACTIONS(47), 2, + anon_sym_u25a1, + anon_sym_LBRACK_RBRACK, + STATE(35), 2, + sym_term, + aux_sym_app_repeat1, + STATE(66), 2, + sym_sort, + sym_op_section, + STATE(74), 5, + sym_labs, + sym_labs_alt, + sym_pabs, + sym_binex, + sym_let, + [851] = 19, + ACTIONS(3), 1, + sym_comment, + ACTIONS(17), 1, + sym_identifier, + ACTIONS(21), 1, + anon_sym_LPAREN, + ACTIONS(23), 1, + sym_star, + ACTIONS(27), 1, + anon_sym_u03bb, + ACTIONS(29), 1, + anon_sym_fun, + ACTIONS(31), 1, + anon_sym_LBRACK, + ACTIONS(33), 1, + anon_sym_u220f, + ACTIONS(35), 1, + anon_sym_forall, + ACTIONS(37), 1, + anon_sym_let, + STATE(38), 1, + sym_square, + STATE(77), 1, + sym_arrow, + STATE(79), 1, + sym_app, + STATE(91), 1, + sym_app_term, + STATE(131), 1, + sym_expr, + ACTIONS(25), 2, + anon_sym_u25a1, + anon_sym_LBRACK_RBRACK, + STATE(32), 2, + sym_term, + aux_sym_app_repeat1, + STATE(41), 2, + sym_sort, + sym_op_section, + STATE(74), 5, + sym_labs, + sym_labs_alt, + sym_pabs, + sym_binex, + sym_let, + [916] = 19, + ACTIONS(3), 1, + sym_comment, + ACTIONS(17), 1, + sym_identifier, + ACTIONS(21), 1, + anon_sym_LPAREN, + ACTIONS(23), 1, + sym_star, + ACTIONS(27), 1, + anon_sym_u03bb, + ACTIONS(29), 1, + anon_sym_fun, + ACTIONS(31), 1, + anon_sym_LBRACK, + ACTIONS(33), 1, + anon_sym_u220f, + ACTIONS(35), 1, + anon_sym_forall, + ACTIONS(37), 1, + anon_sym_let, + STATE(38), 1, + sym_square, + STATE(77), 1, + sym_arrow, + STATE(79), 1, + sym_app, + STATE(85), 1, + sym_expr, + STATE(91), 1, + sym_app_term, + ACTIONS(25), 2, + anon_sym_u25a1, + anon_sym_LBRACK_RBRACK, + STATE(32), 2, + sym_term, + aux_sym_app_repeat1, + STATE(41), 2, + sym_sort, + sym_op_section, + STATE(74), 5, + sym_labs, + sym_labs_alt, + sym_pabs, + sym_binex, + sym_let, + [981] = 19, + ACTIONS(3), 1, + sym_comment, + ACTIONS(17), 1, + sym_identifier, + ACTIONS(21), 1, + anon_sym_LPAREN, + ACTIONS(23), 1, + sym_star, + ACTIONS(27), 1, + anon_sym_u03bb, + ACTIONS(29), 1, + anon_sym_fun, + ACTIONS(31), 1, + anon_sym_LBRACK, + ACTIONS(33), 1, + anon_sym_u220f, + ACTIONS(35), 1, + anon_sym_forall, + ACTIONS(37), 1, + anon_sym_let, + STATE(38), 1, + sym_square, + STATE(77), 1, + sym_arrow, + STATE(79), 1, + sym_app, + STATE(91), 1, + sym_app_term, + STATE(135), 1, + sym_expr, + ACTIONS(25), 2, + anon_sym_u25a1, + anon_sym_LBRACK_RBRACK, + STATE(32), 2, + sym_term, + aux_sym_app_repeat1, + STATE(41), 2, + sym_sort, + sym_op_section, + STATE(74), 5, + sym_labs, + sym_labs_alt, + sym_pabs, + sym_binex, + sym_let, + [1046] = 19, + ACTIONS(3), 1, + sym_comment, + ACTIONS(17), 1, + sym_identifier, + ACTIONS(21), 1, + anon_sym_LPAREN, + ACTIONS(23), 1, + sym_star, + ACTIONS(27), 1, + anon_sym_u03bb, + ACTIONS(29), 1, + anon_sym_fun, + ACTIONS(31), 1, + anon_sym_LBRACK, + ACTIONS(33), 1, + anon_sym_u220f, + ACTIONS(35), 1, + anon_sym_forall, + ACTIONS(37), 1, + anon_sym_let, + STATE(38), 1, + sym_square, + STATE(77), 1, + sym_arrow, + STATE(79), 1, + sym_app, + STATE(91), 1, + sym_app_term, + STATE(146), 1, + sym_expr, + ACTIONS(25), 2, + anon_sym_u25a1, + anon_sym_LBRACK_RBRACK, + STATE(32), 2, + sym_term, + aux_sym_app_repeat1, + STATE(41), 2, + sym_sort, + sym_op_section, + STATE(74), 5, + sym_labs, + sym_labs_alt, + sym_pabs, + sym_binex, + sym_let, + [1111] = 19, + ACTIONS(3), 1, + sym_comment, + ACTIONS(37), 1, + anon_sym_let, + ACTIONS(41), 1, + sym_identifier, + ACTIONS(43), 1, + anon_sym_LPAREN, + ACTIONS(45), 1, + sym_star, + ACTIONS(49), 1, + anon_sym_u03bb, + ACTIONS(51), 1, + anon_sym_fun, + ACTIONS(53), 1, + anon_sym_LBRACK, + ACTIONS(55), 1, + anon_sym_u220f, + ACTIONS(57), 1, + anon_sym_forall, + STATE(46), 1, + sym_square, + STATE(77), 1, + sym_arrow, + STATE(84), 1, + sym_expr, + STATE(109), 1, + sym_app, + STATE(122), 1, + sym_app_term, + ACTIONS(47), 2, + anon_sym_u25a1, + anon_sym_LBRACK_RBRACK, + STATE(35), 2, + sym_term, + aux_sym_app_repeat1, + STATE(66), 2, + sym_sort, + sym_op_section, + STATE(74), 5, + sym_labs, + sym_labs_alt, + sym_pabs, + sym_binex, + sym_let, + [1176] = 19, + ACTIONS(3), 1, + sym_comment, + ACTIONS(37), 1, + anon_sym_let, + ACTIONS(41), 1, + sym_identifier, + ACTIONS(43), 1, + anon_sym_LPAREN, + ACTIONS(45), 1, + sym_star, + ACTIONS(49), 1, + anon_sym_u03bb, + ACTIONS(51), 1, + anon_sym_fun, + ACTIONS(53), 1, + anon_sym_LBRACK, + ACTIONS(55), 1, + anon_sym_u220f, + ACTIONS(57), 1, + anon_sym_forall, + STATE(46), 1, + sym_square, + STATE(76), 1, + sym_expr, + STATE(77), 1, + sym_arrow, + STATE(109), 1, + sym_app, + STATE(122), 1, + sym_app_term, + ACTIONS(47), 2, + anon_sym_u25a1, + anon_sym_LBRACK_RBRACK, + STATE(35), 2, + sym_term, + aux_sym_app_repeat1, + STATE(66), 2, + sym_sort, + sym_op_section, + STATE(74), 5, + sym_labs, + sym_labs_alt, + sym_pabs, + sym_binex, + sym_let, + [1241] = 19, + ACTIONS(3), 1, + sym_comment, + ACTIONS(37), 1, + anon_sym_let, + ACTIONS(41), 1, + sym_identifier, + ACTIONS(43), 1, + anon_sym_LPAREN, + ACTIONS(45), 1, + sym_star, + ACTIONS(49), 1, + anon_sym_u03bb, + ACTIONS(51), 1, + anon_sym_fun, + ACTIONS(53), 1, + anon_sym_LBRACK, + ACTIONS(55), 1, + anon_sym_u220f, + ACTIONS(57), 1, + anon_sym_forall, + STATE(46), 1, + sym_square, + STATE(77), 1, + sym_arrow, + STATE(78), 1, + sym_expr, + STATE(109), 1, + sym_app, + STATE(122), 1, + sym_app_term, + ACTIONS(47), 2, + anon_sym_u25a1, + anon_sym_LBRACK_RBRACK, + STATE(35), 2, + sym_term, + aux_sym_app_repeat1, + STATE(66), 2, + sym_sort, + sym_op_section, + STATE(74), 5, + sym_labs, + sym_labs_alt, + sym_pabs, + sym_binex, + sym_let, + [1306] = 19, + ACTIONS(3), 1, + sym_comment, + ACTIONS(37), 1, + anon_sym_let, + ACTIONS(41), 1, + sym_identifier, + ACTIONS(43), 1, + anon_sym_LPAREN, + ACTIONS(45), 1, + sym_star, + ACTIONS(49), 1, + anon_sym_u03bb, + ACTIONS(51), 1, + anon_sym_fun, + ACTIONS(53), 1, + anon_sym_LBRACK, + ACTIONS(55), 1, + anon_sym_u220f, + ACTIONS(57), 1, + anon_sym_forall, + STATE(46), 1, + sym_square, + STATE(77), 1, + sym_arrow, + STATE(85), 1, + sym_expr, + STATE(109), 1, + sym_app, + STATE(122), 1, + sym_app_term, + ACTIONS(47), 2, + anon_sym_u25a1, + anon_sym_LBRACK_RBRACK, + STATE(35), 2, + sym_term, + aux_sym_app_repeat1, + STATE(66), 2, + sym_sort, + sym_op_section, + STATE(74), 5, + sym_labs, + sym_labs_alt, + sym_pabs, + sym_binex, + sym_let, + [1371] = 19, + ACTIONS(3), 1, + sym_comment, + ACTIONS(17), 1, + sym_identifier, + ACTIONS(21), 1, + anon_sym_LPAREN, + ACTIONS(23), 1, + sym_star, + ACTIONS(27), 1, + anon_sym_u03bb, + ACTIONS(29), 1, + anon_sym_fun, + ACTIONS(31), 1, + anon_sym_LBRACK, + ACTIONS(33), 1, + anon_sym_u220f, + ACTIONS(35), 1, + anon_sym_forall, + ACTIONS(37), 1, + anon_sym_let, + STATE(38), 1, + sym_square, + STATE(77), 1, + sym_arrow, + STATE(79), 1, + sym_app, + STATE(91), 1, + sym_app_term, + STATE(142), 1, + sym_expr, + ACTIONS(25), 2, + anon_sym_u25a1, + anon_sym_LBRACK_RBRACK, + STATE(32), 2, + sym_term, + aux_sym_app_repeat1, + STATE(41), 2, + sym_sort, + sym_op_section, + STATE(74), 5, + sym_labs, + sym_labs_alt, + sym_pabs, + sym_binex, + sym_let, + [1436] = 19, + ACTIONS(3), 1, + sym_comment, + ACTIONS(17), 1, + sym_identifier, + ACTIONS(21), 1, + anon_sym_LPAREN, + ACTIONS(23), 1, + sym_star, + ACTIONS(27), 1, + anon_sym_u03bb, + ACTIONS(29), 1, + anon_sym_fun, + ACTIONS(31), 1, + anon_sym_LBRACK, + ACTIONS(33), 1, + anon_sym_u220f, + ACTIONS(35), 1, + anon_sym_forall, + ACTIONS(37), 1, + anon_sym_let, + STATE(38), 1, + sym_square, + STATE(77), 1, + sym_arrow, + STATE(79), 1, + sym_app, + STATE(91), 1, + sym_app_term, + STATE(147), 1, + sym_expr, + ACTIONS(25), 2, + anon_sym_u25a1, + anon_sym_LBRACK_RBRACK, + STATE(32), 2, + sym_term, + aux_sym_app_repeat1, + STATE(41), 2, + sym_sort, + sym_op_section, + STATE(74), 5, + sym_labs, + sym_labs_alt, + sym_pabs, + sym_binex, + sym_let, + [1501] = 19, + ACTIONS(3), 1, + sym_comment, + ACTIONS(17), 1, + sym_identifier, + ACTIONS(21), 1, + anon_sym_LPAREN, + ACTIONS(23), 1, + sym_star, + ACTIONS(27), 1, + anon_sym_u03bb, + ACTIONS(29), 1, + anon_sym_fun, + ACTIONS(31), 1, + anon_sym_LBRACK, + ACTIONS(33), 1, + anon_sym_u220f, + ACTIONS(35), 1, + anon_sym_forall, + ACTIONS(37), 1, + anon_sym_let, + STATE(38), 1, + sym_square, + STATE(77), 1, + sym_arrow, + STATE(79), 1, + sym_app, + STATE(91), 1, + sym_app_term, + STATE(148), 1, + sym_expr, + ACTIONS(25), 2, + anon_sym_u25a1, + anon_sym_LBRACK_RBRACK, + STATE(32), 2, + sym_term, + aux_sym_app_repeat1, + STATE(41), 2, + sym_sort, + sym_op_section, + STATE(74), 5, + sym_labs, + sym_labs_alt, + sym_pabs, + sym_binex, + sym_let, + [1566] = 19, + ACTIONS(3), 1, + sym_comment, + ACTIONS(17), 1, + sym_identifier, + ACTIONS(21), 1, + anon_sym_LPAREN, + ACTIONS(23), 1, + sym_star, + ACTIONS(27), 1, + anon_sym_u03bb, + ACTIONS(29), 1, + anon_sym_fun, + ACTIONS(31), 1, + anon_sym_LBRACK, + ACTIONS(33), 1, + anon_sym_u220f, + ACTIONS(35), 1, + anon_sym_forall, + ACTIONS(37), 1, + anon_sym_let, + STATE(38), 1, + sym_square, + STATE(77), 1, + sym_arrow, + STATE(78), 1, + sym_expr, + STATE(79), 1, + sym_app, + STATE(91), 1, + sym_app_term, + ACTIONS(25), 2, + anon_sym_u25a1, + anon_sym_LBRACK_RBRACK, + STATE(32), 2, + sym_term, + aux_sym_app_repeat1, + STATE(41), 2, + sym_sort, + sym_op_section, + STATE(74), 5, + sym_labs, + sym_labs_alt, + sym_pabs, + sym_binex, + sym_let, + [1631] = 9, + ACTIONS(3), 1, + sym_comment, + ACTIONS(59), 1, + anon_sym_section, + ACTIONS(65), 1, + anon_sym_axiom, + ACTIONS(67), 1, + anon_sym_def, + ACTIONS(69), 1, + sym_command, + STATE(165), 1, + sym_program, + ACTIONS(61), 2, + anon_sym_infixl, + anon_sym_infixr, + ACTIONS(63), 2, + anon_sym_variable, + anon_sym_hypothesis, + STATE(34), 7, + sym_section, + sym_fixity, + sym_variable, + sym_axiom, + sym_definition, + sym_preprocess, + aux_sym_program_repeat1, + [1667] = 9, + ACTIONS(3), 1, + sym_comment, + ACTIONS(71), 1, + anon_sym_section, + ACTIONS(74), 1, + anon_sym_end, + ACTIONS(82), 1, + anon_sym_axiom, + ACTIONS(85), 1, + anon_sym_def, + ACTIONS(88), 1, + sym_command, + ACTIONS(76), 2, + anon_sym_infixl, + anon_sym_infixr, + ACTIONS(79), 2, + anon_sym_variable, + anon_sym_hypothesis, + STATE(28), 7, + sym_section, + sym_fixity, + sym_variable, + sym_axiom, + sym_definition, + sym_preprocess, + aux_sym_program_repeat1, + [1703] = 9, + ACTIONS(3), 1, + sym_comment, + ACTIONS(91), 1, + sym_identifier, + ACTIONS(96), 1, + anon_sym_LPAREN, + ACTIONS(99), 1, + sym_star, + STATE(38), 1, + sym_square, + ACTIONS(102), 2, + anon_sym_u25a1, + anon_sym_LBRACK_RBRACK, + STATE(29), 2, + sym_term, + aux_sym_app_repeat1, + STATE(41), 2, + sym_sort, + sym_op_section, + ACTIONS(94), 6, sym_symbol, - STATE(59), 1, - sym_square, - STATE(101), 1, - sym_arrow, - STATE(132), 1, - sym_app, - STATE(138), 1, - sym_app_term, - STATE(188), 1, - sym_expr, - STATE(48), 2, - sym_term, - aux_sym_app_repeat1, - STATE(62), 2, - sym_sort, - sym_op_section, - STATE(114), 4, - sym_labs, - sym_pabs, - sym_binex, - sym_let, - [264] = 18, + anon_sym_SEMI, + anon_sym_RPAREN, + anon_sym_RBRACK, + anon_sym_COLON_EQ, + anon_sym_u2192, + [1739] = 9, ACTIONS(3), 1, sym_comment, - ACTIONS(37), 1, - anon_sym_let, - ACTIONS(45), 1, - sym_identifier, - ACTIONS(47), 1, - anon_sym_LPAREN, - ACTIONS(49), 1, - sym_star, - ACTIONS(53), 1, - anon_sym_u03bb, - ACTIONS(55), 1, - anon_sym_fun, - ACTIONS(57), 1, - anon_sym_u220f, ACTIONS(59), 1, - anon_sym_forall, - STATE(87), 1, - sym_square, - STATE(101), 1, - sym_arrow, - STATE(130), 1, - sym_expr, - STATE(146), 1, - sym_app, - STATE(165), 1, - sym_app_term, - ACTIONS(51), 2, - anon_sym_u25a1, - anon_sym_LBRACK_RBRACK, - STATE(51), 2, - sym_term, - aux_sym_app_repeat1, - STATE(96), 2, - sym_sort, - sym_op_section, - STATE(114), 4, - sym_labs, - sym_pabs, - sym_binex, - sym_let, - [325] = 18, - ACTIONS(3), 1, - sym_comment, - ACTIONS(17), 1, - sym_identifier, - ACTIONS(21), 1, - anon_sym_LPAREN, - ACTIONS(23), 1, - sym_star, - ACTIONS(29), 1, - anon_sym_u03bb, - ACTIONS(31), 1, - anon_sym_fun, - ACTIONS(33), 1, - anon_sym_u220f, - ACTIONS(35), 1, - anon_sym_forall, - ACTIONS(37), 1, - anon_sym_let, - STATE(59), 1, - sym_square, - STATE(101), 1, - sym_arrow, - STATE(132), 1, - sym_app, - STATE(138), 1, - sym_app_term, - STATE(185), 1, - sym_expr, - ACTIONS(25), 2, - anon_sym_u25a1, - anon_sym_LBRACK_RBRACK, - STATE(48), 2, - sym_term, - aux_sym_app_repeat1, - STATE(62), 2, - sym_sort, - sym_op_section, - STATE(114), 4, - sym_labs, - sym_pabs, - sym_binex, - sym_let, - [386] = 18, - ACTIONS(3), 1, - sym_comment, - ACTIONS(17), 1, - sym_identifier, - ACTIONS(21), 1, - anon_sym_LPAREN, - ACTIONS(23), 1, - sym_star, - ACTIONS(29), 1, - anon_sym_u03bb, - ACTIONS(31), 1, - anon_sym_fun, - ACTIONS(33), 1, - anon_sym_u220f, - ACTIONS(35), 1, - anon_sym_forall, - ACTIONS(37), 1, - anon_sym_let, - STATE(59), 1, - sym_square, - STATE(101), 1, - sym_arrow, - STATE(132), 1, - sym_app, - STATE(138), 1, - sym_app_term, - STATE(204), 1, - sym_expr, - ACTIONS(25), 2, - anon_sym_u25a1, - anon_sym_LBRACK_RBRACK, - STATE(48), 2, - sym_term, - aux_sym_app_repeat1, - STATE(62), 2, - sym_sort, - sym_op_section, - STATE(114), 4, - sym_labs, - sym_pabs, - sym_binex, - sym_let, - [447] = 18, - ACTIONS(3), 1, - sym_comment, - ACTIONS(17), 1, - sym_identifier, - ACTIONS(21), 1, - anon_sym_LPAREN, - ACTIONS(23), 1, - sym_star, - ACTIONS(29), 1, - anon_sym_u03bb, - ACTIONS(31), 1, - anon_sym_fun, - ACTIONS(33), 1, - anon_sym_u220f, - ACTIONS(35), 1, - anon_sym_forall, - ACTIONS(37), 1, - anon_sym_let, - STATE(59), 1, - sym_square, - STATE(101), 1, - sym_arrow, - STATE(108), 1, - sym_expr, - STATE(132), 1, - sym_app, - STATE(138), 1, - sym_app_term, - ACTIONS(25), 2, - anon_sym_u25a1, - anon_sym_LBRACK_RBRACK, - STATE(48), 2, - sym_term, - aux_sym_app_repeat1, - STATE(62), 2, - sym_sort, - sym_op_section, - STATE(114), 4, - sym_labs, - sym_pabs, - sym_binex, - sym_let, - [508] = 18, - ACTIONS(3), 1, - sym_comment, - ACTIONS(17), 1, - sym_identifier, - ACTIONS(21), 1, - anon_sym_LPAREN, - ACTIONS(23), 1, - sym_star, - ACTIONS(29), 1, - anon_sym_u03bb, - ACTIONS(31), 1, - anon_sym_fun, - ACTIONS(33), 1, - anon_sym_u220f, - ACTIONS(35), 1, - anon_sym_forall, - ACTIONS(37), 1, - anon_sym_let, - STATE(59), 1, - sym_square, - STATE(101), 1, - sym_arrow, - STATE(132), 1, - sym_app, - STATE(138), 1, - sym_app_term, - STATE(180), 1, - sym_expr, - ACTIONS(25), 2, - anon_sym_u25a1, - anon_sym_LBRACK_RBRACK, - STATE(48), 2, - sym_term, - aux_sym_app_repeat1, - STATE(62), 2, - sym_sort, - sym_op_section, - STATE(114), 4, - sym_labs, - sym_pabs, - sym_binex, - sym_let, - [569] = 18, - ACTIONS(3), 1, - sym_comment, - ACTIONS(17), 1, - sym_identifier, - ACTIONS(21), 1, - anon_sym_LPAREN, - ACTIONS(23), 1, - sym_star, - ACTIONS(29), 1, - anon_sym_u03bb, - ACTIONS(31), 1, - anon_sym_fun, - ACTIONS(33), 1, - anon_sym_u220f, - ACTIONS(35), 1, - anon_sym_forall, - ACTIONS(37), 1, - anon_sym_let, - STATE(59), 1, - sym_square, - STATE(99), 1, - sym_expr, - STATE(101), 1, - sym_arrow, - STATE(132), 1, - sym_app, - STATE(138), 1, - sym_app_term, - ACTIONS(25), 2, - anon_sym_u25a1, - anon_sym_LBRACK_RBRACK, - STATE(48), 2, - sym_term, - aux_sym_app_repeat1, - STATE(62), 2, - sym_sort, - sym_op_section, - STATE(114), 4, - sym_labs, - sym_pabs, - sym_binex, - sym_let, - [630] = 18, - ACTIONS(3), 1, - sym_comment, - ACTIONS(17), 1, - sym_identifier, - ACTIONS(21), 1, - anon_sym_LPAREN, - ACTIONS(23), 1, - sym_star, - ACTIONS(29), 1, - anon_sym_u03bb, - ACTIONS(31), 1, - anon_sym_fun, - ACTIONS(33), 1, - anon_sym_u220f, - ACTIONS(35), 1, - anon_sym_forall, - ACTIONS(37), 1, - anon_sym_let, - STATE(59), 1, - sym_square, - STATE(101), 1, - sym_arrow, - STATE(104), 1, - sym_expr, - STATE(132), 1, - sym_app, - STATE(138), 1, - sym_app_term, - ACTIONS(25), 2, - anon_sym_u25a1, - anon_sym_LBRACK_RBRACK, - STATE(48), 2, - sym_term, - aux_sym_app_repeat1, - STATE(62), 2, - sym_sort, - sym_op_section, - STATE(114), 4, - sym_labs, - sym_pabs, - sym_binex, - sym_let, - [691] = 18, - ACTIONS(3), 1, - sym_comment, - ACTIONS(37), 1, - anon_sym_let, - ACTIONS(61), 1, - sym_identifier, - ACTIONS(63), 1, - anon_sym_LPAREN, + anon_sym_section, ACTIONS(65), 1, - sym_star, + anon_sym_axiom, + ACTIONS(67), 1, + anon_sym_def, ACTIONS(69), 1, - anon_sym_u03bb, - ACTIONS(71), 1, - anon_sym_fun, - ACTIONS(73), 1, - anon_sym_u220f, - ACTIONS(75), 1, - anon_sym_forall, - STATE(90), 1, - sym_square, - STATE(101), 1, - sym_arrow, - STATE(151), 1, - sym_app, - STATE(168), 1, - sym_app_term, - STATE(189), 1, - sym_expr, - ACTIONS(67), 2, - anon_sym_u25a1, - anon_sym_LBRACK_RBRACK, - STATE(52), 2, - sym_term, - aux_sym_app_repeat1, - STATE(106), 2, - sym_sort, - sym_op_section, - STATE(114), 4, - sym_labs, - sym_pabs, - sym_binex, - sym_let, - [752] = 18, + sym_command, + STATE(153), 1, + sym_program, + ACTIONS(61), 2, + anon_sym_infixl, + anon_sym_infixr, + ACTIONS(63), 2, + anon_sym_variable, + anon_sym_hypothesis, + STATE(34), 7, + sym_section, + sym_fixity, + sym_variable, + sym_axiom, + sym_definition, + sym_preprocess, + aux_sym_program_repeat1, + [1775] = 9, + ACTIONS(3), 1, + sym_comment, + ACTIONS(74), 1, + ts_builtin_sym_end, + ACTIONS(105), 1, + anon_sym_section, + ACTIONS(114), 1, + anon_sym_axiom, + ACTIONS(117), 1, + anon_sym_def, + ACTIONS(120), 1, + sym_command, + ACTIONS(108), 2, + anon_sym_infixl, + anon_sym_infixr, + ACTIONS(111), 2, + anon_sym_variable, + anon_sym_hypothesis, + STATE(31), 7, + sym_section, + sym_fixity, + sym_variable, + sym_axiom, + sym_definition, + sym_preprocess, + aux_sym_program_repeat1, + [1811] = 9, ACTIONS(3), 1, sym_comment, - ACTIONS(17), 1, - sym_identifier, ACTIONS(21), 1, anon_sym_LPAREN, ACTIONS(23), 1, sym_star, - ACTIONS(29), 1, - anon_sym_u03bb, - ACTIONS(31), 1, - anon_sym_fun, - ACTIONS(33), 1, - anon_sym_u220f, - ACTIONS(35), 1, - anon_sym_forall, - ACTIONS(37), 1, - anon_sym_let, - STATE(59), 1, + ACTIONS(123), 1, + sym_identifier, + STATE(38), 1, sym_square, - STATE(101), 1, - sym_arrow, - STATE(109), 1, - sym_expr, - STATE(132), 1, - sym_app, - STATE(138), 1, - sym_app_term, ACTIONS(25), 2, anon_sym_u25a1, anon_sym_LBRACK_RBRACK, - STATE(48), 2, + STATE(29), 2, sym_term, aux_sym_app_repeat1, - STATE(62), 2, + STATE(41), 2, sym_sort, sym_op_section, - STATE(114), 4, - sym_labs, - sym_pabs, - sym_binex, - sym_let, - [813] = 18, - ACTIONS(3), 1, - sym_comment, - ACTIONS(17), 1, - sym_identifier, - ACTIONS(21), 1, - anon_sym_LPAREN, - ACTIONS(23), 1, - sym_star, - ACTIONS(29), 1, - anon_sym_u03bb, - ACTIONS(31), 1, - anon_sym_fun, - ACTIONS(33), 1, - anon_sym_u220f, - ACTIONS(35), 1, - anon_sym_forall, - ACTIONS(37), 1, - anon_sym_let, - STATE(59), 1, - sym_square, - STATE(101), 1, - sym_arrow, - STATE(111), 1, - sym_expr, - STATE(132), 1, - sym_app, - STATE(138), 1, - sym_app_term, - ACTIONS(25), 2, - anon_sym_u25a1, - anon_sym_LBRACK_RBRACK, - STATE(48), 2, - sym_term, - aux_sym_app_repeat1, - STATE(62), 2, - sym_sort, - sym_op_section, - STATE(114), 4, - sym_labs, - sym_pabs, - sym_binex, - sym_let, - [874] = 18, - ACTIONS(3), 1, - sym_comment, - ACTIONS(17), 1, - sym_identifier, - ACTIONS(21), 1, - anon_sym_LPAREN, - ACTIONS(23), 1, - sym_star, - ACTIONS(29), 1, - anon_sym_u03bb, - ACTIONS(31), 1, - anon_sym_fun, - ACTIONS(33), 1, - anon_sym_u220f, - ACTIONS(35), 1, - anon_sym_forall, - ACTIONS(37), 1, - anon_sym_let, - STATE(59), 1, - sym_square, - STATE(101), 1, - sym_arrow, - STATE(132), 1, - sym_app, - STATE(138), 1, - sym_app_term, - STATE(220), 1, - sym_expr, - ACTIONS(25), 2, - anon_sym_u25a1, - anon_sym_LBRACK_RBRACK, - STATE(48), 2, - sym_term, - aux_sym_app_repeat1, - STATE(62), 2, - sym_sort, - sym_op_section, - STATE(114), 4, - sym_labs, - sym_pabs, - sym_binex, - sym_let, - [935] = 18, - ACTIONS(3), 1, - sym_comment, - ACTIONS(17), 1, - sym_identifier, - ACTIONS(21), 1, - anon_sym_LPAREN, - ACTIONS(23), 1, - sym_star, - ACTIONS(29), 1, - anon_sym_u03bb, - ACTIONS(31), 1, - anon_sym_fun, - ACTIONS(33), 1, - anon_sym_u220f, - ACTIONS(35), 1, - anon_sym_forall, - ACTIONS(37), 1, - anon_sym_let, - STATE(59), 1, - sym_square, - STATE(101), 1, - sym_arrow, - STATE(132), 1, - sym_app, - STATE(138), 1, - sym_app_term, - STATE(190), 1, - sym_expr, - ACTIONS(25), 2, - anon_sym_u25a1, - anon_sym_LBRACK_RBRACK, - STATE(48), 2, - sym_term, - aux_sym_app_repeat1, - STATE(62), 2, - sym_sort, - sym_op_section, - STATE(114), 4, - sym_labs, - sym_pabs, - sym_binex, - sym_let, - [996] = 18, - ACTIONS(3), 1, - sym_comment, - ACTIONS(17), 1, - sym_identifier, - ACTIONS(21), 1, - anon_sym_LPAREN, - ACTIONS(23), 1, - sym_star, - ACTIONS(29), 1, - anon_sym_u03bb, - ACTIONS(31), 1, - anon_sym_fun, - ACTIONS(33), 1, - anon_sym_u220f, - ACTIONS(35), 1, - anon_sym_forall, - ACTIONS(37), 1, - anon_sym_let, - STATE(59), 1, - sym_square, - STATE(101), 1, - sym_arrow, - STATE(132), 1, - sym_app, - STATE(138), 1, - sym_app_term, - STATE(205), 1, - sym_expr, - ACTIONS(25), 2, - anon_sym_u25a1, - anon_sym_LBRACK_RBRACK, - STATE(48), 2, - sym_term, - aux_sym_app_repeat1, - STATE(62), 2, - sym_sort, - sym_op_section, - STATE(114), 4, - sym_labs, - sym_pabs, - sym_binex, - sym_let, - [1057] = 18, - ACTIONS(3), 1, - sym_comment, - ACTIONS(37), 1, - anon_sym_let, - ACTIONS(77), 1, - sym_identifier, - ACTIONS(79), 1, - anon_sym_LPAREN, - ACTIONS(81), 1, - sym_star, - ACTIONS(85), 1, - anon_sym_u03bb, - ACTIONS(87), 1, - anon_sym_fun, - ACTIONS(89), 1, - anon_sym_u220f, - ACTIONS(91), 1, - anon_sym_forall, - STATE(64), 1, - sym_square, - STATE(101), 1, - sym_arrow, - STATE(108), 1, - sym_expr, - STATE(140), 1, - sym_app, - STATE(149), 1, - sym_app_term, - ACTIONS(83), 2, - anon_sym_u25a1, - anon_sym_LBRACK_RBRACK, - STATE(50), 2, - sym_term, - aux_sym_app_repeat1, - STATE(76), 2, - sym_sort, - sym_op_section, - STATE(114), 4, - sym_labs, - sym_pabs, - sym_binex, - sym_let, - [1118] = 18, - ACTIONS(3), 1, - sym_comment, - ACTIONS(37), 1, - anon_sym_let, - ACTIONS(77), 1, - sym_identifier, - ACTIONS(79), 1, - anon_sym_LPAREN, - ACTIONS(81), 1, - sym_star, - ACTIONS(85), 1, - anon_sym_u03bb, - ACTIONS(87), 1, - anon_sym_fun, - ACTIONS(89), 1, - anon_sym_u220f, - ACTIONS(91), 1, - anon_sym_forall, - STATE(64), 1, - sym_square, - STATE(99), 1, - sym_expr, - STATE(101), 1, - sym_arrow, - STATE(140), 1, - sym_app, - STATE(149), 1, - sym_app_term, - ACTIONS(83), 2, - anon_sym_u25a1, - anon_sym_LBRACK_RBRACK, - STATE(50), 2, - sym_term, - aux_sym_app_repeat1, - STATE(76), 2, - sym_sort, - sym_op_section, - STATE(114), 4, - sym_labs, - sym_pabs, - sym_binex, - sym_let, - [1179] = 18, - ACTIONS(3), 1, - sym_comment, - ACTIONS(37), 1, - anon_sym_let, - ACTIONS(77), 1, - sym_identifier, - ACTIONS(79), 1, - anon_sym_LPAREN, - ACTIONS(81), 1, - sym_star, - ACTIONS(85), 1, - anon_sym_u03bb, - ACTIONS(87), 1, - anon_sym_fun, - ACTIONS(89), 1, - anon_sym_u220f, - ACTIONS(91), 1, - anon_sym_forall, - STATE(64), 1, - sym_square, - STATE(101), 1, - sym_arrow, - STATE(104), 1, - sym_expr, - STATE(140), 1, - sym_app, - STATE(149), 1, - sym_app_term, - ACTIONS(83), 2, - anon_sym_u25a1, - anon_sym_LBRACK_RBRACK, - STATE(50), 2, - sym_term, - aux_sym_app_repeat1, - STATE(76), 2, - sym_sort, - sym_op_section, - STATE(114), 4, - sym_labs, - sym_pabs, - sym_binex, - sym_let, - [1240] = 18, - ACTIONS(3), 1, - sym_comment, - ACTIONS(17), 1, - sym_identifier, - ACTIONS(21), 1, - anon_sym_LPAREN, - ACTIONS(23), 1, - sym_star, - ACTIONS(29), 1, - anon_sym_u03bb, - ACTIONS(31), 1, - anon_sym_fun, - ACTIONS(33), 1, - anon_sym_u220f, - ACTIONS(35), 1, - anon_sym_forall, - ACTIONS(37), 1, - anon_sym_let, - STATE(59), 1, - sym_square, - STATE(101), 1, - sym_arrow, - STATE(132), 1, - sym_app, - STATE(138), 1, - sym_app_term, - STATE(200), 1, - sym_expr, - ACTIONS(25), 2, - anon_sym_u25a1, - anon_sym_LBRACK_RBRACK, - STATE(48), 2, - sym_term, - aux_sym_app_repeat1, - STATE(62), 2, - sym_sort, - sym_op_section, - STATE(114), 4, - sym_labs, - sym_pabs, - sym_binex, - sym_let, - [1301] = 18, - ACTIONS(3), 1, - sym_comment, - ACTIONS(37), 1, - anon_sym_let, - ACTIONS(77), 1, - sym_identifier, - ACTIONS(79), 1, - anon_sym_LPAREN, - ACTIONS(81), 1, - sym_star, - ACTIONS(85), 1, - anon_sym_u03bb, - ACTIONS(87), 1, - anon_sym_fun, - ACTIONS(89), 1, - anon_sym_u220f, - ACTIONS(91), 1, - anon_sym_forall, - STATE(64), 1, - sym_square, - STATE(101), 1, - sym_arrow, - STATE(111), 1, - sym_expr, - STATE(140), 1, - sym_app, - STATE(149), 1, - sym_app_term, - ACTIONS(83), 2, - anon_sym_u25a1, - anon_sym_LBRACK_RBRACK, - STATE(50), 2, - sym_term, - aux_sym_app_repeat1, - STATE(76), 2, - sym_sort, - sym_op_section, - STATE(114), 4, - sym_labs, - sym_pabs, - sym_binex, - sym_let, - [1362] = 18, - ACTIONS(3), 1, - sym_comment, - ACTIONS(37), 1, - anon_sym_let, - ACTIONS(45), 1, - sym_identifier, - ACTIONS(47), 1, - anon_sym_LPAREN, - ACTIONS(49), 1, - sym_star, - ACTIONS(53), 1, - anon_sym_u03bb, - ACTIONS(55), 1, - anon_sym_fun, - ACTIONS(57), 1, - anon_sym_u220f, - ACTIONS(59), 1, - anon_sym_forall, - STATE(87), 1, - sym_square, - STATE(101), 1, - sym_arrow, - STATE(108), 1, - sym_expr, - STATE(146), 1, - sym_app, - STATE(165), 1, - sym_app_term, - ACTIONS(51), 2, - anon_sym_u25a1, - anon_sym_LBRACK_RBRACK, - STATE(51), 2, - sym_term, - aux_sym_app_repeat1, - STATE(96), 2, - sym_sort, - sym_op_section, - STATE(114), 4, - sym_labs, - sym_pabs, - sym_binex, - sym_let, - [1423] = 18, - ACTIONS(3), 1, - sym_comment, - ACTIONS(37), 1, - anon_sym_let, - ACTIONS(45), 1, - sym_identifier, - ACTIONS(47), 1, - anon_sym_LPAREN, - ACTIONS(49), 1, - sym_star, - ACTIONS(53), 1, - anon_sym_u03bb, - ACTIONS(55), 1, - anon_sym_fun, - ACTIONS(57), 1, - anon_sym_u220f, - ACTIONS(59), 1, - anon_sym_forall, - STATE(87), 1, - sym_square, - STATE(99), 1, - sym_expr, - STATE(101), 1, - sym_arrow, - STATE(146), 1, - sym_app, - STATE(165), 1, - sym_app_term, - ACTIONS(51), 2, - anon_sym_u25a1, - anon_sym_LBRACK_RBRACK, - STATE(51), 2, - sym_term, - aux_sym_app_repeat1, - STATE(96), 2, - sym_sort, - sym_op_section, - STATE(114), 4, - sym_labs, - sym_pabs, - sym_binex, - sym_let, - [1484] = 18, - ACTIONS(3), 1, - sym_comment, - ACTIONS(37), 1, - anon_sym_let, - ACTIONS(45), 1, - sym_identifier, - ACTIONS(47), 1, - anon_sym_LPAREN, - ACTIONS(49), 1, - sym_star, - ACTIONS(53), 1, - anon_sym_u03bb, - ACTIONS(55), 1, - anon_sym_fun, - ACTIONS(57), 1, - anon_sym_u220f, - ACTIONS(59), 1, - anon_sym_forall, - STATE(87), 1, - sym_square, - STATE(101), 1, - sym_arrow, - STATE(104), 1, - sym_expr, - STATE(146), 1, - sym_app, - STATE(165), 1, - sym_app_term, - ACTIONS(51), 2, - anon_sym_u25a1, - anon_sym_LBRACK_RBRACK, - STATE(51), 2, - sym_term, - aux_sym_app_repeat1, - STATE(96), 2, - sym_sort, - sym_op_section, - STATE(114), 4, - sym_labs, - sym_pabs, - sym_binex, - sym_let, - [1545] = 18, - ACTIONS(3), 1, - sym_comment, - ACTIONS(37), 1, - anon_sym_let, - ACTIONS(45), 1, - sym_identifier, - ACTIONS(47), 1, - anon_sym_LPAREN, - ACTIONS(49), 1, - sym_star, - ACTIONS(53), 1, - anon_sym_u03bb, - ACTIONS(55), 1, - anon_sym_fun, - ACTIONS(57), 1, - anon_sym_u220f, - ACTIONS(59), 1, - anon_sym_forall, - STATE(87), 1, - sym_square, - STATE(101), 1, - sym_arrow, - STATE(109), 1, - sym_expr, - STATE(146), 1, - sym_app, - STATE(165), 1, - sym_app_term, - ACTIONS(51), 2, - anon_sym_u25a1, - anon_sym_LBRACK_RBRACK, - STATE(51), 2, - sym_term, - aux_sym_app_repeat1, - STATE(96), 2, - sym_sort, - sym_op_section, - STATE(114), 4, - sym_labs, - sym_pabs, - sym_binex, - sym_let, - [1606] = 18, - ACTIONS(3), 1, - sym_comment, - ACTIONS(37), 1, - anon_sym_let, - ACTIONS(45), 1, - sym_identifier, - ACTIONS(47), 1, - anon_sym_LPAREN, - ACTIONS(49), 1, - sym_star, - ACTIONS(53), 1, - anon_sym_u03bb, - ACTIONS(55), 1, - anon_sym_fun, - ACTIONS(57), 1, - anon_sym_u220f, - ACTIONS(59), 1, - anon_sym_forall, - STATE(87), 1, - sym_square, - STATE(101), 1, - sym_arrow, - STATE(111), 1, - sym_expr, - STATE(146), 1, - sym_app, - STATE(165), 1, - sym_app_term, - ACTIONS(51), 2, - anon_sym_u25a1, - anon_sym_LBRACK_RBRACK, - STATE(51), 2, - sym_term, - aux_sym_app_repeat1, - STATE(96), 2, - sym_sort, - sym_op_section, - STATE(114), 4, - sym_labs, - sym_pabs, - sym_binex, - sym_let, - [1667] = 18, - ACTIONS(3), 1, - sym_comment, - ACTIONS(37), 1, - anon_sym_let, - ACTIONS(61), 1, - sym_identifier, - ACTIONS(63), 1, - anon_sym_LPAREN, - ACTIONS(65), 1, - sym_star, - ACTIONS(69), 1, - anon_sym_u03bb, - ACTIONS(71), 1, - anon_sym_fun, - ACTIONS(73), 1, - anon_sym_u220f, - ACTIONS(75), 1, - anon_sym_forall, - STATE(90), 1, - sym_square, - STATE(101), 1, - sym_arrow, - STATE(108), 1, - sym_expr, - STATE(151), 1, - sym_app, - STATE(168), 1, - sym_app_term, - ACTIONS(67), 2, - anon_sym_u25a1, - anon_sym_LBRACK_RBRACK, - STATE(52), 2, - sym_term, - aux_sym_app_repeat1, - STATE(106), 2, - sym_sort, - sym_op_section, - STATE(114), 4, - sym_labs, - sym_pabs, - sym_binex, - sym_let, - [1728] = 18, - ACTIONS(3), 1, - sym_comment, - ACTIONS(37), 1, - anon_sym_let, - ACTIONS(61), 1, - sym_identifier, - ACTIONS(63), 1, - anon_sym_LPAREN, - ACTIONS(65), 1, - sym_star, - ACTIONS(69), 1, - anon_sym_u03bb, - ACTIONS(71), 1, - anon_sym_fun, - ACTIONS(73), 1, - anon_sym_u220f, - ACTIONS(75), 1, - anon_sym_forall, - STATE(90), 1, - sym_square, - STATE(99), 1, - sym_expr, - STATE(101), 1, - sym_arrow, - STATE(151), 1, - sym_app, - STATE(168), 1, - sym_app_term, - ACTIONS(67), 2, - anon_sym_u25a1, - anon_sym_LBRACK_RBRACK, - STATE(52), 2, - sym_term, - aux_sym_app_repeat1, - STATE(106), 2, - sym_sort, - sym_op_section, - STATE(114), 4, - sym_labs, - sym_pabs, - sym_binex, - sym_let, - [1789] = 18, - ACTIONS(3), 1, - sym_comment, - ACTIONS(37), 1, - anon_sym_let, - ACTIONS(61), 1, - sym_identifier, - ACTIONS(63), 1, - anon_sym_LPAREN, - ACTIONS(65), 1, - sym_star, - ACTIONS(69), 1, - anon_sym_u03bb, - ACTIONS(71), 1, - anon_sym_fun, - ACTIONS(73), 1, - anon_sym_u220f, - ACTIONS(75), 1, - anon_sym_forall, - STATE(90), 1, - sym_square, - STATE(101), 1, - sym_arrow, - STATE(104), 1, - sym_expr, - STATE(151), 1, - sym_app, - STATE(168), 1, - sym_app_term, - ACTIONS(67), 2, - anon_sym_u25a1, - anon_sym_LBRACK_RBRACK, - STATE(52), 2, - sym_term, - aux_sym_app_repeat1, - STATE(106), 2, - sym_sort, - sym_op_section, - STATE(114), 4, - sym_labs, - sym_pabs, - sym_binex, - sym_let, - [1850] = 18, - ACTIONS(3), 1, - sym_comment, - ACTIONS(37), 1, - anon_sym_let, - ACTIONS(61), 1, - sym_identifier, - ACTIONS(63), 1, - anon_sym_LPAREN, - ACTIONS(65), 1, - sym_star, - ACTIONS(69), 1, - anon_sym_u03bb, - ACTIONS(71), 1, - anon_sym_fun, - ACTIONS(73), 1, - anon_sym_u220f, - ACTIONS(75), 1, - anon_sym_forall, - STATE(90), 1, - sym_square, - STATE(101), 1, - sym_arrow, - STATE(109), 1, - sym_expr, - STATE(151), 1, - sym_app, - STATE(168), 1, - sym_app_term, - ACTIONS(67), 2, - anon_sym_u25a1, - anon_sym_LBRACK_RBRACK, - STATE(52), 2, - sym_term, - aux_sym_app_repeat1, - STATE(106), 2, - sym_sort, - sym_op_section, - STATE(114), 4, - sym_labs, - sym_pabs, - sym_binex, - sym_let, - [1911] = 18, - ACTIONS(3), 1, - sym_comment, - ACTIONS(37), 1, - anon_sym_let, - ACTIONS(61), 1, - sym_identifier, - ACTIONS(63), 1, - anon_sym_LPAREN, - ACTIONS(65), 1, - sym_star, - ACTIONS(69), 1, - anon_sym_u03bb, - ACTIONS(71), 1, - anon_sym_fun, - ACTIONS(73), 1, - anon_sym_u220f, - ACTIONS(75), 1, - anon_sym_forall, - STATE(90), 1, - sym_square, - STATE(101), 1, - sym_arrow, - STATE(111), 1, - sym_expr, - STATE(151), 1, - sym_app, - STATE(168), 1, - sym_app_term, - ACTIONS(67), 2, - anon_sym_u25a1, - anon_sym_LBRACK_RBRACK, - STATE(52), 2, - sym_term, - aux_sym_app_repeat1, - STATE(106), 2, - sym_sort, - sym_op_section, - STATE(114), 4, - sym_labs, - sym_pabs, - sym_binex, - sym_let, - [1972] = 18, - ACTIONS(3), 1, - sym_comment, - ACTIONS(37), 1, - anon_sym_let, - ACTIONS(77), 1, - sym_identifier, - ACTIONS(79), 1, - anon_sym_LPAREN, - ACTIONS(81), 1, - sym_star, - ACTIONS(85), 1, - anon_sym_u03bb, - ACTIONS(87), 1, - anon_sym_fun, - ACTIONS(89), 1, - anon_sym_u220f, - ACTIONS(91), 1, - anon_sym_forall, - STATE(64), 1, - sym_square, - STATE(101), 1, - sym_arrow, - STATE(130), 1, - sym_expr, - STATE(140), 1, - sym_app, - STATE(149), 1, - sym_app_term, - ACTIONS(83), 2, - anon_sym_u25a1, - anon_sym_LBRACK_RBRACK, - STATE(50), 2, - sym_term, - aux_sym_app_repeat1, - STATE(76), 2, - sym_sort, - sym_op_section, - STATE(114), 4, - sym_labs, - sym_pabs, - sym_binex, - sym_let, - [2033] = 18, - ACTIONS(3), 1, - sym_comment, - ACTIONS(17), 1, - sym_identifier, - ACTIONS(21), 1, - anon_sym_LPAREN, - ACTIONS(23), 1, - sym_star, - ACTIONS(29), 1, - anon_sym_u03bb, - ACTIONS(31), 1, - anon_sym_fun, - ACTIONS(33), 1, - anon_sym_u220f, - ACTIONS(35), 1, - anon_sym_forall, - ACTIONS(37), 1, - anon_sym_let, - STATE(59), 1, - sym_square, - STATE(101), 1, - sym_arrow, - STATE(132), 1, - sym_app, - STATE(138), 1, - sym_app_term, - STATE(225), 1, - sym_expr, - ACTIONS(25), 2, - anon_sym_u25a1, - anon_sym_LBRACK_RBRACK, - STATE(48), 2, - sym_term, - aux_sym_app_repeat1, - STATE(62), 2, - sym_sort, - sym_op_section, - STATE(114), 4, - sym_labs, - sym_pabs, - sym_binex, - sym_let, - [2094] = 18, - ACTIONS(3), 1, - sym_comment, - ACTIONS(17), 1, - sym_identifier, - ACTIONS(21), 1, - anon_sym_LPAREN, - ACTIONS(23), 1, - sym_star, - ACTIONS(29), 1, - anon_sym_u03bb, - ACTIONS(31), 1, - anon_sym_fun, - ACTIONS(33), 1, - anon_sym_u220f, - ACTIONS(35), 1, - anon_sym_forall, - ACTIONS(37), 1, - anon_sym_let, - STATE(59), 1, - sym_square, - STATE(101), 1, - sym_arrow, - STATE(130), 1, - sym_expr, - STATE(132), 1, - sym_app, - STATE(138), 1, - sym_app_term, - ACTIONS(25), 2, - anon_sym_u25a1, - anon_sym_LBRACK_RBRACK, - STATE(48), 2, - sym_term, - aux_sym_app_repeat1, - STATE(62), 2, - sym_sort, - sym_op_section, - STATE(114), 4, - sym_labs, - sym_pabs, - sym_binex, - sym_let, - [2155] = 18, - ACTIONS(3), 1, - sym_comment, - ACTIONS(17), 1, - sym_identifier, - ACTIONS(21), 1, - anon_sym_LPAREN, - ACTIONS(23), 1, - sym_star, - ACTIONS(29), 1, - anon_sym_u03bb, - ACTIONS(31), 1, - anon_sym_fun, - ACTIONS(33), 1, - anon_sym_u220f, - ACTIONS(35), 1, - anon_sym_forall, - ACTIONS(37), 1, - anon_sym_let, - STATE(59), 1, - sym_square, - STATE(101), 1, - sym_arrow, - STATE(132), 1, - sym_app, - STATE(138), 1, - sym_app_term, - STATE(181), 1, - sym_expr, - ACTIONS(25), 2, - anon_sym_u25a1, - anon_sym_LBRACK_RBRACK, - STATE(48), 2, - sym_term, - aux_sym_app_repeat1, - STATE(62), 2, - sym_sort, - sym_op_section, - STATE(114), 4, - sym_labs, - sym_pabs, - sym_binex, - sym_let, - [2216] = 18, - ACTIONS(3), 1, - sym_comment, - ACTIONS(17), 1, - sym_identifier, - ACTIONS(21), 1, - anon_sym_LPAREN, - ACTIONS(23), 1, - sym_star, - ACTIONS(29), 1, - anon_sym_u03bb, - ACTIONS(31), 1, - anon_sym_fun, - ACTIONS(33), 1, - anon_sym_u220f, - ACTIONS(35), 1, - anon_sym_forall, - ACTIONS(37), 1, - anon_sym_let, - STATE(59), 1, - sym_square, - STATE(101), 1, - sym_arrow, - STATE(132), 1, - sym_app, - STATE(138), 1, - sym_app_term, - STATE(184), 1, - sym_expr, - ACTIONS(25), 2, - anon_sym_u25a1, - anon_sym_LBRACK_RBRACK, - STATE(48), 2, - sym_term, - aux_sym_app_repeat1, - STATE(62), 2, - sym_sort, - sym_op_section, - STATE(114), 4, - sym_labs, - sym_pabs, - sym_binex, - sym_let, - [2277] = 18, - ACTIONS(3), 1, - sym_comment, - ACTIONS(17), 1, - sym_identifier, - ACTIONS(21), 1, - anon_sym_LPAREN, - ACTIONS(23), 1, - sym_star, - ACTIONS(29), 1, - anon_sym_u03bb, - ACTIONS(31), 1, - anon_sym_fun, - ACTIONS(33), 1, - anon_sym_u220f, - ACTIONS(35), 1, - anon_sym_forall, - ACTIONS(37), 1, - anon_sym_let, - STATE(59), 1, - sym_square, - STATE(101), 1, - sym_arrow, - STATE(132), 1, - sym_app, - STATE(138), 1, - sym_app_term, - STATE(186), 1, - sym_expr, - ACTIONS(25), 2, - anon_sym_u25a1, - anon_sym_LBRACK_RBRACK, - STATE(48), 2, - sym_term, - aux_sym_app_repeat1, - STATE(62), 2, - sym_sort, - sym_op_section, - STATE(114), 4, - sym_labs, - sym_pabs, - sym_binex, - sym_let, - [2338] = 18, - ACTIONS(3), 1, - sym_comment, - ACTIONS(37), 1, - anon_sym_let, - ACTIONS(77), 1, - sym_identifier, - ACTIONS(79), 1, - anon_sym_LPAREN, - ACTIONS(81), 1, - sym_star, - ACTIONS(85), 1, - anon_sym_u03bb, - ACTIONS(87), 1, - anon_sym_fun, - ACTIONS(89), 1, - anon_sym_u220f, - ACTIONS(91), 1, - anon_sym_forall, - STATE(64), 1, - sym_square, - STATE(101), 1, - sym_arrow, - STATE(109), 1, - sym_expr, - STATE(140), 1, - sym_app, - STATE(149), 1, - sym_app_term, - ACTIONS(83), 2, - anon_sym_u25a1, - anon_sym_LBRACK_RBRACK, - STATE(50), 2, - sym_term, - aux_sym_app_repeat1, - STATE(76), 2, - sym_sort, - sym_op_section, - STATE(114), 4, - sym_labs, - sym_pabs, - sym_binex, - sym_let, - [2399] = 9, + ACTIONS(125), 6, + sym_symbol, + anon_sym_SEMI, + anon_sym_RPAREN, + anon_sym_RBRACK, + anon_sym_COLON_EQ, + anon_sym_u2192, + [1847] = 9, ACTIONS(3), 1, sym_comment, ACTIONS(5), 1, @@ -3387,7 +2846,7 @@ static const uint16_t ts_small_parse_table[] = { anon_sym_def, ACTIONS(15), 1, sym_command, - ACTIONS(93), 1, + ACTIONS(127), 1, ts_builtin_sym_end, ACTIONS(7), 2, anon_sym_infixl, @@ -3395,7 +2854,7 @@ static const uint16_t ts_small_parse_table[] = { ACTIONS(9), 2, anon_sym_variable, anon_sym_hypothesis, - STATE(44), 7, + STATE(31), 7, sym_section, sym_fixity, sym_variable, @@ -3403,2531 +2862,1718 @@ static const uint16_t ts_small_parse_table[] = { sym_definition, sym_preprocess, aux_sym_program_repeat1, - [2435] = 9, + [1883] = 9, ACTIONS(3), 1, sym_comment, - ACTIONS(93), 1, - anon_sym_end, - ACTIONS(95), 1, + ACTIONS(59), 1, anon_sym_section, - ACTIONS(101), 1, - anon_sym_axiom, - ACTIONS(103), 1, - anon_sym_def, - ACTIONS(105), 1, - sym_command, - ACTIONS(97), 2, - anon_sym_infixl, - anon_sym_infixr, - ACTIONS(99), 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, - [2471] = 9, - ACTIONS(3), 1, - sym_comment, - ACTIONS(107), 1, - anon_sym_section, - ACTIONS(110), 1, - anon_sym_end, - ACTIONS(118), 1, - anon_sym_axiom, - ACTIONS(121), 1, - anon_sym_def, - ACTIONS(124), 1, - sym_command, - ACTIONS(112), 2, - anon_sym_infixl, - anon_sym_infixr, - ACTIONS(115), 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, - [2507] = 9, - ACTIONS(3), 1, - sym_comment, - ACTIONS(110), 1, - ts_builtin_sym_end, - ACTIONS(127), 1, - anon_sym_section, - ACTIONS(136), 1, - anon_sym_axiom, - ACTIONS(139), 1, - anon_sym_def, - ACTIONS(142), 1, - sym_command, - ACTIONS(130), 2, - anon_sym_infixl, - anon_sym_infixr, - ACTIONS(133), 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, - [2543] = 9, - ACTIONS(3), 1, - sym_comment, - ACTIONS(95), 1, - anon_sym_section, - ACTIONS(101), 1, - anon_sym_axiom, - ACTIONS(103), 1, - anon_sym_def, - ACTIONS(105), 1, - sym_command, - STATE(211), 1, - sym_program, - ACTIONS(97), 2, - anon_sym_infixl, - anon_sym_infixr, - ACTIONS(99), 2, - anon_sym_variable, - anon_sym_hypothesis, - STATE(42), 7, - sym_section, - sym_fixity, - sym_variable, - sym_axiom, - sym_definition, - sym_preprocess, - aux_sym_program_repeat1, - [2579] = 9, - ACTIONS(3), 1, - sym_comment, - ACTIONS(95), 1, - anon_sym_section, - ACTIONS(101), 1, - anon_sym_axiom, - ACTIONS(103), 1, - anon_sym_def, - ACTIONS(105), 1, - sym_command, - STATE(203), 1, - sym_program, - ACTIONS(97), 2, - anon_sym_infixl, - anon_sym_infixr, - ACTIONS(99), 2, - anon_sym_variable, - anon_sym_hypothesis, - STATE(42), 7, - sym_section, - sym_fixity, - sym_variable, - sym_axiom, - sym_definition, - sym_preprocess, - aux_sym_program_repeat1, - [2615] = 11, - ACTIONS(3), 1, - sym_comment, - ACTIONS(145), 1, - sym_identifier, - ACTIONS(148), 1, - sym_symbol, - ACTIONS(152), 1, - anon_sym_LPAREN, - ACTIONS(155), 1, - sym_star, - ACTIONS(158), 1, - anon_sym_u25a1, - ACTIONS(161), 1, - anon_sym_LBRACK_RBRACK, - STATE(59), 1, - sym_square, - STATE(47), 2, - sym_term, - aux_sym_app_repeat1, - STATE(62), 2, - sym_sort, - sym_op_section, - ACTIONS(150), 4, - anon_sym_SEMI, - anon_sym_RPAREN, - anon_sym_COLON_EQ, - anon_sym_u2192, - [2654] = 11, - ACTIONS(3), 1, - sym_comment, - ACTIONS(21), 1, - anon_sym_LPAREN, - ACTIONS(23), 1, - sym_star, - ACTIONS(25), 1, - anon_sym_u25a1, - ACTIONS(27), 1, - anon_sym_LBRACK_RBRACK, - ACTIONS(164), 1, - sym_identifier, - ACTIONS(166), 1, - sym_symbol, - STATE(59), 1, - sym_square, - STATE(47), 2, - sym_term, - aux_sym_app_repeat1, - STATE(62), 2, - sym_sort, - sym_op_section, - ACTIONS(168), 4, - anon_sym_SEMI, - anon_sym_RPAREN, - anon_sym_COLON_EQ, - anon_sym_u2192, - [2693] = 11, - ACTIONS(3), 1, - sym_comment, - ACTIONS(170), 1, - sym_identifier, - ACTIONS(173), 1, - anon_sym_LPAREN, - ACTIONS(176), 1, - sym_star, - ACTIONS(179), 1, - anon_sym_u25a1, - ACTIONS(182), 1, - anon_sym_LBRACK_RBRACK, - STATE(64), 1, - sym_square, - ACTIONS(148), 2, - sym_symbol, - anon_sym_EQ_GT, - ACTIONS(150), 2, - anon_sym_u21d2, - anon_sym_u2192, - STATE(49), 2, - sym_term, - aux_sym_app_repeat1, - STATE(76), 2, - sym_sort, - sym_op_section, - [2731] = 11, - ACTIONS(3), 1, - sym_comment, - ACTIONS(79), 1, - anon_sym_LPAREN, - ACTIONS(81), 1, - sym_star, - ACTIONS(83), 1, - anon_sym_u25a1, - ACTIONS(185), 1, - sym_identifier, - ACTIONS(187), 1, - anon_sym_LBRACK_RBRACK, - STATE(64), 1, - sym_square, - ACTIONS(166), 2, - sym_symbol, - anon_sym_EQ_GT, - ACTIONS(168), 2, - anon_sym_u21d2, - anon_sym_u2192, - STATE(49), 2, - sym_term, - aux_sym_app_repeat1, - STATE(76), 2, - sym_sort, - sym_op_section, - [2769] = 11, - ACTIONS(3), 1, - sym_comment, - ACTIONS(47), 1, - anon_sym_LPAREN, - ACTIONS(49), 1, - sym_star, - ACTIONS(51), 1, - anon_sym_u25a1, - ACTIONS(168), 1, - anon_sym_u2192, - ACTIONS(189), 1, - sym_identifier, - ACTIONS(191), 1, - anon_sym_LBRACK_RBRACK, - STATE(87), 1, - sym_square, - ACTIONS(166), 2, - sym_symbol, - anon_sym_COMMA, - STATE(53), 2, - sym_term, - aux_sym_app_repeat1, - STATE(96), 2, - sym_sort, - sym_op_section, - [2806] = 11, - ACTIONS(3), 1, - sym_comment, - ACTIONS(61), 1, - sym_identifier, - ACTIONS(63), 1, - anon_sym_LPAREN, ACTIONS(65), 1, - sym_star, + anon_sym_axiom, ACTIONS(67), 1, - anon_sym_u25a1, - ACTIONS(168), 1, - anon_sym_u2192, - ACTIONS(193), 1, - anon_sym_LBRACK_RBRACK, - STATE(90), 1, - sym_square, - ACTIONS(166), 2, - sym_symbol, + anon_sym_def, + ACTIONS(69), 1, + sym_command, + ACTIONS(127), 1, anon_sym_end, - STATE(54), 2, - sym_term, - aux_sym_app_repeat1, - STATE(106), 2, - sym_sort, - sym_op_section, - [2843] = 11, + ACTIONS(61), 2, + anon_sym_infixl, + anon_sym_infixr, + ACTIONS(63), 2, + anon_sym_variable, + anon_sym_hypothesis, + STATE(28), 7, + sym_section, + sym_fixity, + sym_variable, + sym_axiom, + sym_definition, + sym_preprocess, + aux_sym_program_repeat1, + [1919] = 10, ACTIONS(3), 1, sym_comment, - ACTIONS(150), 1, - anon_sym_u2192, - ACTIONS(195), 1, + ACTIONS(41), 1, sym_identifier, - ACTIONS(198), 1, + ACTIONS(43), 1, anon_sym_LPAREN, - ACTIONS(201), 1, + ACTIONS(45), 1, sym_star, - ACTIONS(204), 1, - anon_sym_u25a1, - ACTIONS(207), 1, - anon_sym_LBRACK_RBRACK, - STATE(87), 1, + ACTIONS(129), 1, + anon_sym_end, + STATE(46), 1, sym_square, - ACTIONS(148), 2, + ACTIONS(47), 2, + anon_sym_u25a1, + anon_sym_LBRACK_RBRACK, + ACTIONS(125), 2, sym_symbol, - anon_sym_COMMA, - STATE(53), 2, + anon_sym_u2192, + STATE(36), 2, sym_term, aux_sym_app_repeat1, - STATE(96), 2, + STATE(66), 2, sym_sort, sym_op_section, - [2880] = 11, + [1954] = 10, ACTIONS(3), 1, sym_comment, - ACTIONS(150), 1, - anon_sym_u2192, - ACTIONS(210), 1, + ACTIONS(131), 1, sym_identifier, - ACTIONS(213), 1, - anon_sym_LPAREN, - ACTIONS(216), 1, - sym_star, - ACTIONS(219), 1, - anon_sym_u25a1, - ACTIONS(222), 1, - anon_sym_LBRACK_RBRACK, - STATE(90), 1, - sym_square, - ACTIONS(148), 2, - sym_symbol, + ACTIONS(134), 1, anon_sym_end, - STATE(54), 2, + ACTIONS(136), 1, + anon_sym_LPAREN, + ACTIONS(139), 1, + sym_star, + STATE(46), 1, + sym_square, + ACTIONS(94), 2, + sym_symbol, + anon_sym_u2192, + ACTIONS(142), 2, + anon_sym_u25a1, + anon_sym_LBRACK_RBRACK, + STATE(36), 2, sym_term, aux_sym_app_repeat1, - STATE(106), 2, + STATE(66), 2, sym_sort, sym_op_section, - [2917] = 10, + [1989] = 10, ACTIONS(3), 1, sym_comment, ACTIONS(21), 1, anon_sym_LPAREN, ACTIONS(23), 1, sym_star, - ACTIONS(164), 1, + ACTIONS(123), 1, sym_identifier, - STATE(59), 1, + STATE(38), 1, sym_square, - STATE(98), 1, - sym_binex, - STATE(132), 1, + STATE(79), 1, sym_app, + STATE(83), 1, + sym_binex, ACTIONS(25), 2, anon_sym_u25a1, anon_sym_LBRACK_RBRACK, - STATE(48), 2, + STATE(32), 2, sym_term, aux_sym_app_repeat1, - STATE(62), 2, + STATE(41), 2, sym_sort, sym_op_section, - [2951] = 10, + [2023] = 3, ACTIONS(3), 1, sym_comment, - ACTIONS(47), 1, - anon_sym_LPAREN, - ACTIONS(49), 1, - sym_star, - ACTIONS(189), 1, + ACTIONS(147), 1, + aux_sym_sort_token1, + ACTIONS(145), 11, sym_identifier, - STATE(87), 1, - sym_square, - STATE(98), 1, - sym_binex, - STATE(146), 1, - sym_app, - ACTIONS(51), 2, + sym_symbol, + anon_sym_SEMI, + anon_sym_LPAREN, + anon_sym_RPAREN, + sym_star, anon_sym_u25a1, anon_sym_LBRACK_RBRACK, - STATE(51), 2, - sym_term, - aux_sym_app_repeat1, - STATE(96), 2, - sym_sort, - sym_op_section, - [2985] = 10, + anon_sym_RBRACK, + anon_sym_COLON_EQ, + anon_sym_u2192, + [2043] = 10, ACTIONS(3), 1, sym_comment, - ACTIONS(63), 1, + ACTIONS(43), 1, anon_sym_LPAREN, - ACTIONS(65), 1, + ACTIONS(45), 1, sym_star, - ACTIONS(225), 1, + ACTIONS(149), 1, sym_identifier, - STATE(90), 1, + STATE(46), 1, sym_square, - STATE(98), 1, + STATE(83), 1, sym_binex, - STATE(151), 1, + STATE(109), 1, sym_app, - ACTIONS(67), 2, + ACTIONS(47), 2, anon_sym_u25a1, anon_sym_LBRACK_RBRACK, - STATE(52), 2, + STATE(35), 2, sym_term, aux_sym_app_repeat1, - STATE(106), 2, + STATE(66), 2, sym_sort, sym_op_section, - [3019] = 10, + [2077] = 2, ACTIONS(3), 1, sym_comment, - ACTIONS(79), 1, - anon_sym_LPAREN, - ACTIONS(81), 1, - sym_star, - ACTIONS(185), 1, + ACTIONS(151), 12, sym_identifier, - STATE(64), 1, - sym_square, - STATE(98), 1, - sym_binex, + sym_symbol, + anon_sym_SEMI, + anon_sym_LPAREN, + anon_sym_RPAREN, + sym_star, + anon_sym_u25a1, + anon_sym_LBRACK_RBRACK, + aux_sym_sort_token1, + anon_sym_RBRACK, + anon_sym_COLON_EQ, + anon_sym_u2192, + [2095] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(153), 11, + sym_identifier, + sym_symbol, + anon_sym_SEMI, + anon_sym_LPAREN, + anon_sym_RPAREN, + sym_star, + anon_sym_u25a1, + anon_sym_LBRACK_RBRACK, + anon_sym_RBRACK, + anon_sym_COLON_EQ, + anon_sym_u2192, + [2112] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(145), 11, + sym_identifier, + sym_symbol, + anon_sym_SEMI, + anon_sym_LPAREN, + anon_sym_RPAREN, + sym_star, + anon_sym_u25a1, + anon_sym_LBRACK_RBRACK, + anon_sym_RBRACK, + anon_sym_COLON_EQ, + anon_sym_u2192, + [2129] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(155), 11, + sym_identifier, + sym_symbol, + anon_sym_SEMI, + anon_sym_LPAREN, + anon_sym_RPAREN, + sym_star, + anon_sym_u25a1, + anon_sym_LBRACK_RBRACK, + anon_sym_RBRACK, + anon_sym_COLON_EQ, + anon_sym_u2192, + [2146] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(157), 11, + sym_identifier, + sym_symbol, + anon_sym_SEMI, + anon_sym_LPAREN, + anon_sym_RPAREN, + sym_star, + anon_sym_u25a1, + anon_sym_LBRACK_RBRACK, + anon_sym_RBRACK, + anon_sym_COLON_EQ, + anon_sym_u2192, + [2163] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(159), 11, + sym_identifier, + sym_symbol, + anon_sym_SEMI, + anon_sym_LPAREN, + anon_sym_RPAREN, + sym_star, + anon_sym_u25a1, + anon_sym_LBRACK_RBRACK, + anon_sym_RBRACK, + anon_sym_COLON_EQ, + anon_sym_u2192, + [2180] = 4, + ACTIONS(3), 1, + sym_comment, + ACTIONS(163), 1, + aux_sym_sort_token1, + ACTIONS(161), 2, + sym_identifier, + anon_sym_end, + ACTIONS(145), 6, + sym_symbol, + anon_sym_LPAREN, + sym_star, + anon_sym_u25a1, + anon_sym_LBRACK_RBRACK, + anon_sym_u2192, + [2199] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(165), 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, + [2214] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(167), 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, + [2229] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(169), 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, + [2244] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(171), 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, + [2259] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(167), 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, + [2274] = 3, + ACTIONS(3), 1, + sym_comment, + ACTIONS(173), 2, + sym_identifier, + anon_sym_end, + ACTIONS(151), 7, + sym_symbol, + anon_sym_LPAREN, + sym_star, + anon_sym_u25a1, + anon_sym_LBRACK_RBRACK, + aux_sym_sort_token1, + anon_sym_u2192, + [2291] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(171), 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, + [2306] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(175), 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, + [2321] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(177), 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, + [2336] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(179), 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, + [2351] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(181), 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, + [2366] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(183), 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, + [2381] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(175), 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, + [2396] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(183), 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, + [2411] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(179), 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, + [2426] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(177), 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, + [2441] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(169), 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, + [2456] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(181), 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, + [2471] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(165), 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, + [2486] = 3, + ACTIONS(3), 1, + sym_comment, + ACTIONS(185), 2, + sym_identifier, + anon_sym_end, + ACTIONS(153), 6, + sym_symbol, + anon_sym_LPAREN, + sym_star, + anon_sym_u25a1, + anon_sym_LBRACK_RBRACK, + anon_sym_u2192, + [2502] = 3, + ACTIONS(3), 1, + sym_comment, + ACTIONS(161), 2, + sym_identifier, + anon_sym_end, + ACTIONS(145), 6, + sym_symbol, + anon_sym_LPAREN, + sym_star, + anon_sym_u25a1, + anon_sym_LBRACK_RBRACK, + anon_sym_u2192, + [2518] = 3, + ACTIONS(3), 1, + sym_comment, + ACTIONS(187), 2, + sym_identifier, + anon_sym_end, + ACTIONS(157), 6, + sym_symbol, + anon_sym_LPAREN, + sym_star, + anon_sym_u25a1, + anon_sym_LBRACK_RBRACK, + anon_sym_u2192, + [2534] = 3, + ACTIONS(3), 1, + sym_comment, + ACTIONS(189), 2, + sym_identifier, + anon_sym_end, + ACTIONS(159), 6, + sym_symbol, + anon_sym_LPAREN, + sym_star, + anon_sym_u25a1, + anon_sym_LBRACK_RBRACK, + anon_sym_u2192, + [2550] = 5, + ACTIONS(3), 1, + sym_comment, + ACTIONS(191), 1, + anon_sym_LPAREN, + ACTIONS(194), 1, + anon_sym_COLON, + STATE(70), 2, + sym_param_block, + aux_sym_labs_repeat1, + ACTIONS(196), 4, + anon_sym_EQ_GT, + anon_sym_u21d2, + anon_sym_COMMA, + anon_sym_COLON_EQ, + [2570] = 3, + ACTIONS(3), 1, + sym_comment, + ACTIONS(198), 2, + sym_identifier, + anon_sym_end, + ACTIONS(155), 6, + sym_symbol, + anon_sym_LPAREN, + sym_star, + anon_sym_u25a1, + anon_sym_LBRACK_RBRACK, + anon_sym_u2192, + [2586] = 6, + ACTIONS(3), 1, + sym_comment, + ACTIONS(200), 1, + anon_sym_LPAREN, + ACTIONS(202), 1, + anon_sym_COLON, + ACTIONS(204), 1, + anon_sym_COLON_EQ, + STATE(163), 1, + sym_ascription, + STATE(70), 2, + sym_param_block, + aux_sym_labs_repeat1, + [2606] = 6, + ACTIONS(3), 1, + sym_comment, + ACTIONS(200), 1, + anon_sym_LPAREN, + ACTIONS(202), 1, + anon_sym_COLON, + ACTIONS(206), 1, + anon_sym_COLON_EQ, + STATE(152), 1, + sym_ascription, + STATE(70), 2, + sym_param_block, + aux_sym_labs_repeat1, + [2626] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(208), 6, + anon_sym_end, + anon_sym_SEMI, + anon_sym_RPAREN, + anon_sym_RBRACK, + anon_sym_COLON_EQ, + anon_sym_u2192, + [2638] = 6, + ACTIONS(3), 1, + sym_comment, + ACTIONS(200), 1, + anon_sym_LPAREN, + ACTIONS(202), 1, + anon_sym_COLON, + ACTIONS(210), 1, + anon_sym_COLON_EQ, STATE(140), 1, - sym_app, - ACTIONS(83), 2, - anon_sym_u25a1, - anon_sym_LBRACK_RBRACK, - STATE(50), 2, - sym_term, - aux_sym_app_repeat1, - STATE(76), 2, - sym_sort, - sym_op_section, + sym_ascription, + STATE(73), 2, + sym_param_block, + aux_sym_labs_repeat1, + [2658] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(212), 6, + anon_sym_end, + anon_sym_SEMI, + anon_sym_RPAREN, + anon_sym_RBRACK, + anon_sym_COLON_EQ, + anon_sym_u2192, + [2670] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(214), 6, + anon_sym_end, + anon_sym_SEMI, + anon_sym_RPAREN, + anon_sym_RBRACK, + anon_sym_COLON_EQ, + anon_sym_u2192, + [2682] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(216), 6, + anon_sym_end, + anon_sym_SEMI, + anon_sym_RPAREN, + anon_sym_RBRACK, + anon_sym_COLON_EQ, + anon_sym_u2192, + [2694] = 3, + ACTIONS(3), 1, + sym_comment, + ACTIONS(218), 1, + sym_symbol, + ACTIONS(220), 5, + anon_sym_SEMI, + anon_sym_RPAREN, + anon_sym_RBRACK, + anon_sym_COLON_EQ, + anon_sym_u2192, + [2708] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(222), 6, + anon_sym_end, + anon_sym_SEMI, + anon_sym_RPAREN, + anon_sym_RBRACK, + anon_sym_COLON_EQ, + anon_sym_u2192, + [2720] = 6, + ACTIONS(3), 1, + sym_comment, + ACTIONS(200), 1, + anon_sym_LPAREN, + ACTIONS(202), 1, + anon_sym_COLON, + ACTIONS(224), 1, + anon_sym_COLON_EQ, + STATE(157), 1, + sym_ascription, + STATE(72), 2, + sym_param_block, + aux_sym_labs_repeat1, + [2740] = 3, + ACTIONS(3), 1, + sym_comment, + ACTIONS(228), 1, + anon_sym_COLON, + ACTIONS(226), 5, + anon_sym_LPAREN, + anon_sym_EQ_GT, + anon_sym_u21d2, + anon_sym_COMMA, + anon_sym_COLON_EQ, + [2754] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(230), 6, + anon_sym_end, + anon_sym_SEMI, + anon_sym_RPAREN, + anon_sym_RBRACK, + anon_sym_COLON_EQ, + anon_sym_u2192, + [2766] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(232), 6, + anon_sym_end, + anon_sym_SEMI, + anon_sym_RPAREN, + anon_sym_RBRACK, + anon_sym_COLON_EQ, + anon_sym_u2192, + [2778] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(234), 6, + anon_sym_end, + anon_sym_SEMI, + anon_sym_RPAREN, + anon_sym_RBRACK, + anon_sym_COLON_EQ, + anon_sym_u2192, + [2790] = 6, + ACTIONS(3), 1, + sym_comment, + ACTIONS(200), 1, + anon_sym_LPAREN, + ACTIONS(202), 1, + anon_sym_COLON, + ACTIONS(236), 1, + anon_sym_COLON_EQ, + STATE(130), 1, + sym_ascription, + STATE(87), 2, + sym_param_block, + aux_sym_labs_repeat1, + [2810] = 6, + ACTIONS(3), 1, + sym_comment, + ACTIONS(200), 1, + anon_sym_LPAREN, + ACTIONS(202), 1, + anon_sym_COLON, + ACTIONS(238), 1, + anon_sym_COLON_EQ, + STATE(168), 1, + sym_ascription, + STATE(70), 2, + sym_param_block, + aux_sym_labs_repeat1, + [2830] = 5, + ACTIONS(3), 1, + sym_comment, + ACTIONS(200), 1, + anon_sym_LPAREN, + ACTIONS(240), 1, + anon_sym_COLON, + STATE(141), 1, + sym_ascription, + STATE(70), 2, + sym_param_block, + aux_sym_labs_repeat1, + [2847] = 5, + ACTIONS(3), 1, + sym_comment, + ACTIONS(200), 1, + anon_sym_LPAREN, + ACTIONS(240), 1, + anon_sym_COLON, + STATE(158), 1, + sym_ascription, + STATE(70), 2, + sym_param_block, + aux_sym_labs_repeat1, + [2864] = 4, + ACTIONS(3), 1, + sym_comment, + ACTIONS(200), 1, + anon_sym_LPAREN, + ACTIONS(242), 2, + anon_sym_EQ_GT, + anon_sym_u21d2, + STATE(70), 2, + sym_param_block, + aux_sym_labs_repeat1, + [2879] = 3, + ACTIONS(3), 1, + sym_comment, + ACTIONS(244), 1, + anon_sym_u2192, + ACTIONS(214), 4, + anon_sym_SEMI, + anon_sym_RPAREN, + anon_sym_RBRACK, + anon_sym_COLON_EQ, + [2892] = 5, + ACTIONS(3), 1, + sym_comment, + ACTIONS(200), 1, + anon_sym_LPAREN, + ACTIONS(240), 1, + anon_sym_COLON, + STATE(154), 1, + sym_ascription, + STATE(89), 2, + sym_param_block, + aux_sym_labs_repeat1, + [2909] = 5, + ACTIONS(3), 1, + sym_comment, + ACTIONS(200), 1, + anon_sym_LPAREN, + ACTIONS(240), 1, + anon_sym_COLON, + STATE(137), 1, + sym_ascription, + STATE(88), 2, + sym_param_block, + aux_sym_labs_repeat1, + [2926] = 4, + ACTIONS(3), 1, + sym_comment, + ACTIONS(200), 1, + anon_sym_LPAREN, + ACTIONS(246), 2, + anon_sym_EQ_GT, + anon_sym_u21d2, + STATE(70), 2, + sym_param_block, + aux_sym_labs_repeat1, + [2941] = 4, + ACTIONS(3), 1, + sym_comment, + ACTIONS(248), 1, + anon_sym_SEMI, + ACTIONS(250), 1, + anon_sym_LPAREN, + STATE(95), 2, + sym_variable_binding, + aux_sym_variable_repeat1, + [2955] = 4, + ACTIONS(3), 1, + sym_comment, + ACTIONS(255), 1, + anon_sym_COLON, + STATE(97), 1, + aux_sym_variable_binding_repeat1, + ACTIONS(253), 2, + sym_identifier, + sym_symbol, + [2969] = 4, + ACTIONS(3), 1, + sym_comment, + ACTIONS(260), 1, + anon_sym_COLON, + STATE(97), 1, + aux_sym_variable_binding_repeat1, + ACTIONS(257), 2, + sym_identifier, + sym_symbol, + [2983] = 4, + ACTIONS(3), 1, + sym_comment, + ACTIONS(200), 1, + anon_sym_LPAREN, + ACTIONS(262), 1, + anon_sym_COMMA, + STATE(70), 2, + sym_param_block, + aux_sym_labs_repeat1, + [2997] = 4, + ACTIONS(3), 1, + sym_comment, + ACTIONS(264), 1, + anon_sym_LPAREN, + ACTIONS(266), 1, + anon_sym_in, + STATE(103), 2, + sym_binding, + aux_sym_let_repeat1, + [3011] = 4, + ACTIONS(3), 1, + sym_comment, + ACTIONS(268), 1, + anon_sym_SEMI, + ACTIONS(270), 1, + anon_sym_LPAREN, + STATE(95), 2, + sym_variable_binding, + aux_sym_variable_repeat1, + [3025] = 4, + ACTIONS(3), 1, + sym_comment, + ACTIONS(270), 1, + anon_sym_LPAREN, + ACTIONS(272), 1, + anon_sym_SEMI, + STATE(95), 2, + sym_variable_binding, + aux_sym_variable_repeat1, + [3039] = 4, + ACTIONS(3), 1, + sym_comment, + ACTIONS(200), 1, + anon_sym_LPAREN, + ACTIONS(274), 1, + anon_sym_COMMA, + STATE(70), 2, + sym_param_block, + aux_sym_labs_repeat1, [3053] = 4, ACTIONS(3), 1, sym_comment, - ACTIONS(231), 1, - aux_sym_sort_token1, - ACTIONS(229), 2, - sym_symbol, - anon_sym_LBRACK_RBRACK, - ACTIONS(227), 8, - sym_identifier, - anon_sym_SEMI, + ACTIONS(276), 1, anon_sym_LPAREN, - anon_sym_RPAREN, - sym_star, - anon_sym_u25a1, - anon_sym_COLON_EQ, - anon_sym_u2192, - [3074] = 3, + ACTIONS(279), 1, + anon_sym_in, + STATE(103), 2, + sym_binding, + aux_sym_let_repeat1, + [3067] = 4, ACTIONS(3), 1, sym_comment, - ACTIONS(235), 2, - sym_symbol, - anon_sym_LBRACK_RBRACK, - ACTIONS(233), 9, + ACTIONS(281), 1, sym_identifier, - anon_sym_SEMI, - anon_sym_LPAREN, - anon_sym_RPAREN, - sym_star, - anon_sym_u25a1, - aux_sym_sort_token1, - anon_sym_COLON_EQ, - anon_sym_u2192, + ACTIONS(283), 1, + anon_sym_COLON, + STATE(107), 1, + aux_sym_param_block_repeat1, + [3080] = 4, + ACTIONS(3), 1, + sym_comment, + ACTIONS(281), 1, + sym_identifier, + ACTIONS(285), 1, + anon_sym_COLON, + STATE(107), 1, + aux_sym_param_block_repeat1, [3093] = 3, ACTIONS(3), 1, sym_comment, - ACTIONS(239), 2, - sym_symbol, - anon_sym_LBRACK_RBRACK, - ACTIONS(237), 8, + STATE(96), 1, + aux_sym_variable_binding_repeat1, + ACTIONS(287), 2, sym_identifier, - anon_sym_SEMI, - anon_sym_LPAREN, - anon_sym_RPAREN, - sym_star, - anon_sym_u25a1, - anon_sym_COLON_EQ, - anon_sym_u2192, - [3111] = 3, + sym_symbol, + [3104] = 4, ACTIONS(3), 1, sym_comment, - ACTIONS(243), 2, - sym_symbol, - anon_sym_LBRACK_RBRACK, - ACTIONS(241), 8, + ACTIONS(289), 1, sym_identifier, - anon_sym_SEMI, - anon_sym_LPAREN, - anon_sym_RPAREN, - sym_star, - anon_sym_u25a1, - anon_sym_COLON_EQ, - anon_sym_u2192, - [3129] = 3, + ACTIONS(292), 1, + anon_sym_COLON, + STATE(107), 1, + aux_sym_param_block_repeat1, + [3117] = 4, ACTIONS(3), 1, sym_comment, - ACTIONS(247), 2, - sym_symbol, - anon_sym_LBRACK_RBRACK, - ACTIONS(245), 8, + ACTIONS(281), 1, sym_identifier, - anon_sym_SEMI, - anon_sym_LPAREN, - anon_sym_RPAREN, - sym_star, - anon_sym_u25a1, - anon_sym_COLON_EQ, - anon_sym_u2192, - [3147] = 4, + ACTIONS(294), 1, + anon_sym_COLON, + STATE(107), 1, + aux_sym_param_block_repeat1, + [3130] = 3, ACTIONS(3), 1, sym_comment, - ACTIONS(249), 1, - aux_sym_sort_token1, - ACTIONS(229), 3, + ACTIONS(296), 1, sym_symbol, - anon_sym_LBRACK_RBRACK, - anon_sym_EQ_GT, - ACTIONS(227), 6, - sym_identifier, - anon_sym_LPAREN, - sym_star, - anon_sym_u25a1, - anon_sym_u21d2, + ACTIONS(220), 2, + anon_sym_end, anon_sym_u2192, - [3167] = 3, + [3141] = 3, ACTIONS(3), 1, sym_comment, - ACTIONS(235), 3, - sym_symbol, - anon_sym_LBRACK_RBRACK, - anon_sym_EQ_GT, - ACTIONS(233), 7, - sym_identifier, + ACTIONS(270), 1, anon_sym_LPAREN, - sym_star, - anon_sym_u25a1, - aux_sym_sort_token1, - anon_sym_u21d2, - anon_sym_u2192, + STATE(100), 2, + sym_variable_binding, + aux_sym_variable_repeat1, + [3152] = 3, + ACTIONS(3), 1, + sym_comment, + ACTIONS(200), 1, + anon_sym_LPAREN, + STATE(90), 2, + sym_param_block, + aux_sym_labs_repeat1, + [3163] = 3, + ACTIONS(3), 1, + sym_comment, + ACTIONS(200), 1, + anon_sym_LPAREN, + STATE(94), 2, + sym_param_block, + aux_sym_labs_repeat1, + [3174] = 3, + ACTIONS(3), 1, + sym_comment, + ACTIONS(200), 1, + anon_sym_LPAREN, + STATE(102), 2, + sym_param_block, + aux_sym_labs_repeat1, [3185] = 3, ACTIONS(3), 1, sym_comment, - ACTIONS(253), 2, - sym_symbol, - anon_sym_LBRACK_RBRACK, - ACTIONS(251), 8, - sym_identifier, - anon_sym_SEMI, + ACTIONS(270), 1, anon_sym_LPAREN, - anon_sym_RPAREN, - sym_star, - anon_sym_u25a1, - anon_sym_COLON_EQ, - anon_sym_u2192, - [3203] = 3, + STATE(101), 2, + sym_variable_binding, + aux_sym_variable_repeat1, + [3196] = 3, ACTIONS(3), 1, sym_comment, - ACTIONS(229), 2, - sym_symbol, - anon_sym_LBRACK_RBRACK, - ACTIONS(227), 8, - sym_identifier, - anon_sym_SEMI, + ACTIONS(200), 1, anon_sym_LPAREN, - anon_sym_RPAREN, - sym_star, - anon_sym_u25a1, - anon_sym_COLON_EQ, - anon_sym_u2192, - [3221] = 2, + STATE(98), 2, + sym_param_block, + aux_sym_labs_repeat1, + [3207] = 3, 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, + ACTIONS(264), 1, + anon_sym_LPAREN, + STATE(99), 2, + sym_binding, + aux_sym_let_repeat1, + [3218] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(298), 2, + sym_identifier, + sym_symbol, + [3226] = 3, + ACTIONS(3), 1, + sym_comment, + ACTIONS(300), 1, + sym_identifier, + STATE(104), 1, + aux_sym_param_block_repeat1, [3236] = 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, - [3251] = 2, + ACTIONS(302), 2, + anon_sym_SEMI, + anon_sym_LPAREN, + [3244] = 3, 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, - [3266] = 2, + ACTIONS(304), 1, + sym_identifier, + STATE(108), 1, + aux_sym_param_block_repeat1, + [3254] = 2, ACTIONS(3), 1, sym_comment, - ACTIONS(261), 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, - [3281] = 2, + ACTIONS(306), 2, + anon_sym_LPAREN, + anon_sym_in, + [3262] = 3, ACTIONS(3), 1, sym_comment, - ACTIONS(263), 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, + ACTIONS(214), 1, + anon_sym_end, + ACTIONS(308), 1, + anon_sym_u2192, + [3272] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(310), 2, + anon_sym_LPAREN, + anon_sym_in, + [3280] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(312), 2, + anon_sym_LPAREN, + anon_sym_in, + [3288] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(314), 2, + sym_identifier, + sym_symbol, [3296] = 2, ACTIONS(3), 1, sym_comment, - ACTIONS(265), 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, - [3311] = 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, - [3326] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(263), 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, - [3341] = 3, - ACTIONS(3), 1, - sym_comment, - ACTIONS(243), 3, - sym_symbol, - anon_sym_LBRACK_RBRACK, - anon_sym_EQ_GT, - ACTIONS(241), 6, - sym_identifier, - anon_sym_LPAREN, - sym_star, - anon_sym_u25a1, - anon_sym_u21d2, - anon_sym_u2192, - [3358] = 3, - ACTIONS(3), 1, - sym_comment, - ACTIONS(229), 3, - sym_symbol, - anon_sym_LBRACK_RBRACK, - anon_sym_EQ_GT, - ACTIONS(227), 6, - sym_identifier, - anon_sym_LPAREN, - sym_star, - anon_sym_u25a1, - anon_sym_u21d2, - anon_sym_u2192, - [3375] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(267), 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, - [3390] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(269), 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, - [3405] = 3, - ACTIONS(3), 1, - sym_comment, - ACTIONS(239), 3, - sym_symbol, - anon_sym_LBRACK_RBRACK, - anon_sym_EQ_GT, - ACTIONS(237), 6, - sym_identifier, - anon_sym_LPAREN, - sym_star, - anon_sym_u25a1, - anon_sym_u21d2, - anon_sym_u2192, - [3422] = 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, - [3437] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(271), 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, - [3452] = 3, - ACTIONS(3), 1, - sym_comment, - ACTIONS(247), 3, - sym_symbol, - anon_sym_LBRACK_RBRACK, - anon_sym_EQ_GT, - ACTIONS(245), 6, - sym_identifier, - anon_sym_LPAREN, - sym_star, - anon_sym_u25a1, - anon_sym_u21d2, - anon_sym_u2192, - [3469] = 3, - ACTIONS(3), 1, - sym_comment, - ACTIONS(253), 3, - sym_symbol, - anon_sym_LBRACK_RBRACK, - anon_sym_EQ_GT, - ACTIONS(251), 6, - sym_identifier, - anon_sym_LPAREN, - sym_star, - anon_sym_u25a1, - anon_sym_u21d2, - anon_sym_u2192, - [3486] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(261), 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, - [3501] = 3, - ACTIONS(3), 1, - sym_comment, - ACTIONS(235), 3, - sym_symbol, - anon_sym_LBRACK_RBRACK, - anon_sym_COMMA, - ACTIONS(233), 6, - sym_identifier, - anon_sym_LPAREN, - sym_star, - anon_sym_u25a1, - aux_sym_sort_token1, - anon_sym_u2192, - [3518] = 4, - ACTIONS(3), 1, - sym_comment, - ACTIONS(273), 1, - aux_sym_sort_token1, - ACTIONS(229), 3, - sym_symbol, - anon_sym_LBRACK_RBRACK, - anon_sym_COMMA, - ACTIONS(227), 5, - sym_identifier, - anon_sym_LPAREN, - sym_star, - anon_sym_u25a1, - anon_sym_u2192, - [3537] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(267), 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, - [3552] = 3, - ACTIONS(3), 1, - sym_comment, - ACTIONS(235), 4, - sym_identifier, - sym_symbol, - anon_sym_end, - anon_sym_LBRACK_RBRACK, - ACTIONS(233), 5, - anon_sym_LPAREN, - sym_star, - anon_sym_u25a1, - aux_sym_sort_token1, - anon_sym_u2192, - [3569] = 4, - ACTIONS(3), 1, - sym_comment, - ACTIONS(275), 1, - aux_sym_sort_token1, - ACTIONS(227), 4, - anon_sym_LPAREN, - sym_star, - anon_sym_u25a1, - anon_sym_u2192, - ACTIONS(229), 4, - sym_identifier, - sym_symbol, - anon_sym_end, - anon_sym_LBRACK_RBRACK, - [3588] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(269), 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, - [3603] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(265), 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, - [3618] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(271), 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, - [3633] = 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, - [3648] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(277), 8, - anon_sym_end, + ACTIONS(316), 2, anon_sym_SEMI, - anon_sym_RPAREN, - anon_sym_EQ_GT, - anon_sym_u21d2, - anon_sym_COMMA, anon_sym_COLON_EQ, - anon_sym_u2192, - [3662] = 3, + [3304] = 3, ACTIONS(3), 1, sym_comment, - ACTIONS(243), 3, - sym_symbol, - anon_sym_LBRACK_RBRACK, - anon_sym_COMMA, - ACTIONS(241), 5, - sym_identifier, - anon_sym_LPAREN, - sym_star, - anon_sym_u25a1, - anon_sym_u2192, - [3678] = 3, - ACTIONS(3), 1, - sym_comment, - ACTIONS(229), 3, - sym_symbol, - anon_sym_LBRACK_RBRACK, - anon_sym_COMMA, - ACTIONS(227), 5, - sym_identifier, - anon_sym_LPAREN, - sym_star, - anon_sym_u25a1, - anon_sym_u2192, - [3694] = 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, - [3708] = 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, - [3722] = 3, - ACTIONS(3), 1, - sym_comment, - ACTIONS(239), 3, - sym_symbol, - anon_sym_LBRACK_RBRACK, - anon_sym_COMMA, - ACTIONS(237), 5, - sym_identifier, - anon_sym_LPAREN, - sym_star, - anon_sym_u25a1, - anon_sym_u2192, - [3738] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(283), 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, - [3752] = 3, - ACTIONS(3), 1, - sym_comment, - ACTIONS(247), 3, - sym_symbol, - anon_sym_LBRACK_RBRACK, - anon_sym_COMMA, - ACTIONS(245), 5, - sym_identifier, - anon_sym_LPAREN, - sym_star, - anon_sym_u25a1, - anon_sym_u2192, - [3768] = 3, - ACTIONS(3), 1, - sym_comment, - ACTIONS(253), 3, - sym_symbol, - anon_sym_LBRACK_RBRACK, - anon_sym_COMMA, - ACTIONS(251), 5, - sym_identifier, - anon_sym_LPAREN, - sym_star, - anon_sym_u25a1, - anon_sym_u2192, - [3784] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(285), 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, - [3798] = 5, - ACTIONS(3), 1, - sym_comment, - ACTIONS(287), 1, - anon_sym_LPAREN, - ACTIONS(290), 1, - anon_sym_COLON, - STATE(105), 2, - sym_param_block, - aux_sym_labs_repeat1, - ACTIONS(292), 4, - anon_sym_EQ_GT, - anon_sym_u21d2, - anon_sym_COMMA, - anon_sym_COLON_EQ, - [3818] = 3, - ACTIONS(3), 1, - sym_comment, - ACTIONS(241), 4, - anon_sym_LPAREN, - sym_star, - anon_sym_u25a1, - anon_sym_u2192, - ACTIONS(243), 4, - sym_identifier, - sym_symbol, - anon_sym_end, - anon_sym_LBRACK_RBRACK, - [3834] = 3, - ACTIONS(3), 1, - sym_comment, - ACTIONS(227), 4, - anon_sym_LPAREN, - sym_star, - anon_sym_u25a1, - anon_sym_u2192, - ACTIONS(229), 4, - sym_identifier, - sym_symbol, - anon_sym_end, - anon_sym_LBRACK_RBRACK, - [3850] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(294), 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, - [3864] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(296), 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, - [3878] = 3, - ACTIONS(3), 1, - sym_comment, - ACTIONS(237), 4, - anon_sym_LPAREN, - sym_star, - anon_sym_u25a1, - anon_sym_u2192, - ACTIONS(239), 4, - sym_identifier, - sym_symbol, - anon_sym_end, - anon_sym_LBRACK_RBRACK, - [3894] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(298), 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, - [3908] = 3, - ACTIONS(3), 1, - sym_comment, - ACTIONS(245), 4, - anon_sym_LPAREN, - sym_star, - anon_sym_u25a1, - anon_sym_u2192, - ACTIONS(247), 4, - sym_identifier, - sym_symbol, - anon_sym_end, - anon_sym_LBRACK_RBRACK, - [3924] = 3, - ACTIONS(3), 1, - sym_comment, - ACTIONS(251), 4, - anon_sym_LPAREN, - sym_star, - anon_sym_u25a1, - anon_sym_u2192, - ACTIONS(253), 4, - sym_identifier, - sym_symbol, - anon_sym_end, - anon_sym_LBRACK_RBRACK, - [3940] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(300), 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, - [3954] = 6, - ACTIONS(3), 1, - sym_comment, - ACTIONS(302), 1, - anon_sym_LPAREN, - ACTIONS(304), 1, - anon_sym_COLON, - STATE(171), 1, - sym_ascription, - ACTIONS(306), 2, - anon_sym_EQ_GT, - anon_sym_u21d2, - STATE(105), 2, - sym_param_block, - aux_sym_labs_repeat1, - [3975] = 6, - ACTIONS(3), 1, - sym_comment, - ACTIONS(302), 1, - anon_sym_LPAREN, - ACTIONS(304), 1, - anon_sym_COLON, - STATE(164), 1, - sym_ascription, - ACTIONS(308), 2, - anon_sym_EQ_GT, - anon_sym_u21d2, - STATE(105), 2, - sym_param_block, - aux_sym_labs_repeat1, - [3996] = 6, - ACTIONS(3), 1, - sym_comment, - ACTIONS(302), 1, - anon_sym_LPAREN, - ACTIONS(304), 1, - anon_sym_COLON, - STATE(175), 1, - sym_ascription, - ACTIONS(310), 2, - anon_sym_EQ_GT, - anon_sym_u21d2, - STATE(105), 2, - sym_param_block, - aux_sym_labs_repeat1, - [4017] = 6, - ACTIONS(3), 1, - sym_comment, - ACTIONS(302), 1, - anon_sym_LPAREN, - ACTIONS(304), 1, - anon_sym_COLON, - STATE(167), 1, - sym_ascription, - ACTIONS(312), 2, - anon_sym_EQ_GT, - anon_sym_u21d2, - STATE(105), 2, - sym_param_block, - aux_sym_labs_repeat1, - [4038] = 6, - ACTIONS(3), 1, - sym_comment, - ACTIONS(302), 1, - anon_sym_LPAREN, - ACTIONS(314), 1, - anon_sym_COLON, - ACTIONS(316), 1, - anon_sym_COMMA, - STATE(183), 1, - sym_ascription, - STATE(105), 2, - sym_param_block, - aux_sym_labs_repeat1, - [4058] = 6, - ACTIONS(3), 1, - sym_comment, - ACTIONS(302), 1, - anon_sym_LPAREN, ACTIONS(318), 1, - anon_sym_COLON, - ACTIONS(320), 1, - anon_sym_COLON_EQ, - STATE(198), 1, - sym_ascription, - STATE(125), 2, - sym_param_block, - aux_sym_labs_repeat1, - [4078] = 6, + sym_identifier, + STATE(105), 1, + aux_sym_param_block_repeat1, + [3314] = 2, ACTIONS(3), 1, sym_comment, - ACTIONS(302), 1, - anon_sym_LPAREN, - ACTIONS(314), 1, - anon_sym_COLON, - ACTIONS(322), 1, - anon_sym_COMMA, - STATE(199), 1, - sym_ascription, - STATE(105), 2, - sym_param_block, - aux_sym_labs_repeat1, - [4098] = 3, + ACTIONS(320), 2, + sym_identifier, + sym_symbol, + [3322] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(322), 2, + sym_identifier, + sym_symbol, + [3330] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(238), 1, + anon_sym_COLON_EQ, + [3337] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(324), 1, + anon_sym_RPAREN, + [3344] = 2, ACTIONS(3), 1, sym_comment, ACTIONS(326), 1, - anon_sym_COLON, - ACTIONS(324), 5, - anon_sym_LPAREN, - anon_sym_EQ_GT, - anon_sym_u21d2, - anon_sym_COMMA, - anon_sym_COLON_EQ, - [4112] = 6, - ACTIONS(3), 1, - sym_comment, - ACTIONS(302), 1, - anon_sym_LPAREN, - ACTIONS(318), 1, - anon_sym_COLON, - ACTIONS(328), 1, - anon_sym_COLON_EQ, - STATE(196), 1, - sym_ascription, - STATE(124), 2, - sym_param_block, - aux_sym_labs_repeat1, - [4132] = 6, - ACTIONS(3), 1, - sym_comment, - ACTIONS(302), 1, - anon_sym_LPAREN, - ACTIONS(318), 1, - anon_sym_COLON, - ACTIONS(330), 1, - anon_sym_COLON_EQ, - STATE(193), 1, - sym_ascription, - STATE(105), 2, - sym_param_block, - aux_sym_labs_repeat1, - [4152] = 6, - ACTIONS(3), 1, - sym_comment, - ACTIONS(302), 1, - anon_sym_LPAREN, - ACTIONS(318), 1, - anon_sym_COLON, - ACTIONS(332), 1, - anon_sym_COLON_EQ, - STATE(187), 1, - sym_ascription, - STATE(105), 2, - sym_param_block, - aux_sym_labs_repeat1, - [4172] = 6, - ACTIONS(3), 1, - sym_comment, - ACTIONS(302), 1, - anon_sym_LPAREN, - ACTIONS(314), 1, - anon_sym_COLON, - ACTIONS(334), 1, - anon_sym_COMMA, - STATE(192), 1, - sym_ascription, - STATE(105), 2, - sym_param_block, - aux_sym_labs_repeat1, - [4192] = 6, - ACTIONS(3), 1, - sym_comment, - ACTIONS(302), 1, - anon_sym_LPAREN, - ACTIONS(314), 1, - anon_sym_COLON, - ACTIONS(336), 1, - anon_sym_COMMA, - STATE(197), 1, - sym_ascription, - STATE(105), 2, - sym_param_block, - aux_sym_labs_repeat1, - [4212] = 6, - ACTIONS(3), 1, - sym_comment, - ACTIONS(302), 1, - anon_sym_LPAREN, - ACTIONS(318), 1, - anon_sym_COLON, - ACTIONS(338), 1, - anon_sym_COLON_EQ, - STATE(221), 1, - sym_ascription, - STATE(129), 2, - sym_param_block, - aux_sym_labs_repeat1, - [4232] = 6, - ACTIONS(3), 1, - sym_comment, - ACTIONS(302), 1, - anon_sym_LPAREN, - ACTIONS(318), 1, - anon_sym_COLON, - ACTIONS(340), 1, - anon_sym_COLON_EQ, - STATE(223), 1, - sym_ascription, - STATE(105), 2, - sym_param_block, - aux_sym_labs_repeat1, - [4252] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(342), 5, anon_sym_SEMI, - anon_sym_EQ_GT, - anon_sym_u21d2, - anon_sym_COMMA, - anon_sym_COLON_EQ, - [4263] = 5, + [3351] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(328), 1, + sym_identifier, + [3358] = 2, + ACTIONS(330), 1, + sym_comment, + ACTIONS(332), 1, + sym_post_command, + [3365] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(334), 1, + anon_sym_RPAREN, + [3372] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(336), 1, + anon_sym_SEMI, + [3379] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(338), 1, + anon_sym_SEMI, + [3386] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(340), 1, + sym_identifier, + [3393] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(342), 1, + ts_builtin_sym_end, + [3400] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(206), 1, + anon_sym_COLON_EQ, + [3407] = 2, ACTIONS(3), 1, sym_comment, - ACTIONS(302), 1, - anon_sym_LPAREN, ACTIONS(344), 1, - anon_sym_COLON, - STATE(179), 1, - sym_ascription, - STATE(133), 2, - sym_param_block, - aux_sym_labs_repeat1, - [4280] = 3, + anon_sym_SEMI, + [3414] = 2, ACTIONS(3), 1, sym_comment, ACTIONS(346), 1, - sym_symbol, - ACTIONS(348), 4, anon_sym_SEMI, + [3421] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(348), 1, anon_sym_RPAREN, - anon_sym_COLON_EQ, - anon_sym_u2192, - [4293] = 5, - ACTIONS(3), 1, - sym_comment, - ACTIONS(302), 1, - anon_sym_LPAREN, - ACTIONS(344), 1, - anon_sym_COLON, - STATE(209), 1, - sym_ascription, - STATE(105), 2, - sym_param_block, - aux_sym_labs_repeat1, - [4310] = 5, - ACTIONS(3), 1, - sym_comment, - ACTIONS(302), 1, - anon_sym_LPAREN, - ACTIONS(344), 1, - anon_sym_COLON, - STATE(213), 1, - sym_ascription, - STATE(135), 2, - sym_param_block, - aux_sym_labs_repeat1, - [4327] = 5, - ACTIONS(3), 1, - sym_comment, - ACTIONS(302), 1, - anon_sym_LPAREN, - ACTIONS(344), 1, - anon_sym_COLON, - STATE(219), 1, - sym_ascription, - STATE(105), 2, - sym_param_block, - aux_sym_labs_repeat1, - [4344] = 4, + [3428] = 2, ACTIONS(3), 1, sym_comment, ACTIONS(350), 1, - anon_sym_LPAREN, - ACTIONS(353), 1, - anon_sym_in, - STATE(136), 2, - sym_binding, - aux_sym_let_repeat1, - [4358] = 4, - ACTIONS(3), 1, - sym_comment, - ACTIONS(357), 1, - anon_sym_COLON, - STATE(139), 1, - aux_sym_variable_binding_repeat1, - ACTIONS(355), 2, - sym_identifier, - sym_symbol, - [4372] = 3, - ACTIONS(3), 1, - sym_comment, - ACTIONS(359), 1, - anon_sym_u2192, - ACTIONS(283), 3, - anon_sym_SEMI, anon_sym_RPAREN, - anon_sym_COLON_EQ, - [4384] = 4, + [3435] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(352), 1, + sym_precedence, + [3442] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(354), 1, + anon_sym_RPAREN, + [3449] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(356), 1, + anon_sym_SEMI, + [3456] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(358), 1, + anon_sym_SEMI, + [3463] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(360), 1, + anon_sym_RBRACK, + [3470] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(362), 1, + anon_sym_RBRACK, + [3477] = 2, ACTIONS(3), 1, sym_comment, ACTIONS(364), 1, - anon_sym_COLON, - STATE(139), 1, - aux_sym_variable_binding_repeat1, - ACTIONS(361), 2, - sym_identifier, sym_symbol, - [4398] = 4, + [3484] = 2, ACTIONS(3), 1, sym_comment, ACTIONS(366), 1, - sym_symbol, + anon_sym_COLON_EQ, + [3491] = 2, + ACTIONS(3), 1, + sym_comment, ACTIONS(368), 1, - anon_sym_EQ_GT, - ACTIONS(348), 2, - anon_sym_u21d2, - anon_sym_u2192, - [4412] = 4, + anon_sym_end, + [3498] = 2, ACTIONS(3), 1, sym_comment, ACTIONS(370), 1, anon_sym_SEMI, - ACTIONS(372), 1, - anon_sym_LPAREN, - STATE(144), 2, - sym_variable_binding, - aux_sym_variable_repeat1, - [4426] = 4, + [3505] = 2, ACTIONS(3), 1, sym_comment, ACTIONS(372), 1, - anon_sym_LPAREN, + sym_symbol, + [3512] = 2, + ACTIONS(3), 1, + sym_comment, ACTIONS(374), 1, - anon_sym_SEMI, - STATE(144), 2, - sym_variable_binding, - aux_sym_variable_repeat1, - [4440] = 4, + anon_sym_RPAREN, + [3519] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(204), 1, + anon_sym_COLON_EQ, + [3526] = 2, ACTIONS(3), 1, sym_comment, ACTIONS(376), 1, - anon_sym_LPAREN, + anon_sym_SEMI, + [3533] = 2, + ACTIONS(3), 1, + sym_comment, ACTIONS(378), 1, - anon_sym_in, - STATE(136), 2, - sym_binding, - aux_sym_let_repeat1, - [4454] = 4, + anon_sym_SEMI, + [3540] = 2, ACTIONS(3), 1, sym_comment, ACTIONS(380), 1, - anon_sym_SEMI, + anon_sym_RPAREN, + [3547] = 2, + ACTIONS(3), 1, + sym_comment, ACTIONS(382), 1, - anon_sym_LPAREN, - STATE(144), 2, - sym_variable_binding, - aux_sym_variable_repeat1, - [4468] = 3, + anon_sym_RPAREN, + [3554] = 2, ACTIONS(3), 1, sym_comment, - ACTIONS(302), 1, - anon_sym_LPAREN, - STATE(115), 2, - sym_param_block, - aux_sym_labs_repeat1, - [4479] = 4, + ACTIONS(384), 1, + sym_precedence, + [3561] = 2, ACTIONS(3), 1, sym_comment, - ACTIONS(348), 1, - anon_sym_u2192, - ACTIONS(368), 1, - anon_sym_COMMA, - ACTIONS(385), 1, - sym_symbol, - [4492] = 4, + ACTIONS(386), 1, + anon_sym_COLON_EQ, + [3568] = 2, ACTIONS(3), 1, sym_comment, - ACTIONS(387), 1, - sym_identifier, - ACTIONS(389), 1, - anon_sym_COLON, - STATE(148), 1, - aux_sym_param_block_repeat1, - [4505] = 4, + ACTIONS(388), 1, + anon_sym_end, + [3575] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(390), 1, + anon_sym_end, + [3582] = 2, + ACTIONS(3), 1, + sym_comment, + ACTIONS(392), 1, + anon_sym_SEMI, + [3589] = 2, ACTIONS(3), 1, sym_comment, - ACTIONS(391), 1, - sym_identifier, ACTIONS(394), 1, - anon_sym_COLON, - STATE(148), 1, - aux_sym_param_block_repeat1, - [4518] = 3, + anon_sym_SEMI, + [3596] = 2, ACTIONS(3), 1, sym_comment, ACTIONS(396), 1, - anon_sym_u2192, - ACTIONS(283), 2, - anon_sym_EQ_GT, - anon_sym_u21d2, - [4529] = 3, - ACTIONS(3), 1, + anon_sym_COLON_EQ, + [3603] = 2, + ACTIONS(330), 1, sym_comment, - STATE(137), 1, - aux_sym_variable_binding_repeat1, - ACTIONS(398), 2, - sym_identifier, - sym_symbol, - [4540] = 3, + ACTIONS(398), 1, + sym_post_command, + [3610] = 2, ACTIONS(3), 1, sym_comment, ACTIONS(400), 1, - sym_symbol, - ACTIONS(348), 2, - anon_sym_end, - anon_sym_u2192, - [4551] = 3, - ACTIONS(3), 1, - sym_comment, - ACTIONS(302), 1, - anon_sym_LPAREN, - STATE(117), 2, - sym_param_block, - aux_sym_labs_repeat1, - [4562] = 3, - ACTIONS(3), 1, - sym_comment, - ACTIONS(302), 1, - anon_sym_LPAREN, - STATE(127), 2, - sym_param_block, - aux_sym_labs_repeat1, - [4573] = 3, - ACTIONS(3), 1, - sym_comment, - ACTIONS(302), 1, - anon_sym_LPAREN, - STATE(126), 2, - sym_param_block, - aux_sym_labs_repeat1, - [4584] = 3, - ACTIONS(3), 1, - sym_comment, - ACTIONS(372), 1, - anon_sym_LPAREN, - STATE(141), 2, - sym_variable_binding, - aux_sym_variable_repeat1, - [4595] = 3, - ACTIONS(3), 1, - sym_comment, - ACTIONS(376), 1, - anon_sym_LPAREN, - STATE(143), 2, - sym_binding, - aux_sym_let_repeat1, - [4606] = 3, - ACTIONS(3), 1, - sym_comment, - ACTIONS(302), 1, - anon_sym_LPAREN, - STATE(119), 2, - sym_param_block, - aux_sym_labs_repeat1, - [4617] = 3, - ACTIONS(3), 1, - sym_comment, - ACTIONS(302), 1, - anon_sym_LPAREN, - STATE(116), 2, - sym_param_block, - aux_sym_labs_repeat1, - [4628] = 3, - ACTIONS(3), 1, - sym_comment, - ACTIONS(302), 1, - anon_sym_LPAREN, - STATE(121), 2, - sym_param_block, - aux_sym_labs_repeat1, - [4639] = 3, - ACTIONS(3), 1, - sym_comment, - ACTIONS(302), 1, - anon_sym_LPAREN, - STATE(118), 2, - sym_param_block, - aux_sym_labs_repeat1, - [4650] = 3, - ACTIONS(3), 1, - sym_comment, - ACTIONS(372), 1, - anon_sym_LPAREN, - STATE(142), 2, - sym_variable_binding, - aux_sym_variable_repeat1, - [4661] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(402), 2, - anon_sym_LPAREN, - anon_sym_in, - [4669] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(404), 2, - anon_sym_LPAREN, - anon_sym_in, - [4677] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(406), 2, - anon_sym_EQ_GT, - anon_sym_u21d2, - [4685] = 3, - ACTIONS(3), 1, - sym_comment, - ACTIONS(283), 1, - anon_sym_COMMA, - ACTIONS(408), 1, - anon_sym_u2192, - [4695] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(410), 2, sym_identifier, - sym_symbol, - [4703] = 2, + [3617] = 2, ACTIONS(3), 1, sym_comment, - ACTIONS(412), 2, - anon_sym_EQ_GT, - anon_sym_u21d2, - [4711] = 3, - ACTIONS(3), 1, - sym_comment, - ACTIONS(283), 1, - anon_sym_end, - ACTIONS(414), 1, - anon_sym_u2192, - [4721] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(416), 2, - anon_sym_SEMI, - anon_sym_LPAREN, - [4729] = 3, - ACTIONS(3), 1, - sym_comment, - ACTIONS(418), 1, + ACTIONS(402), 1, sym_identifier, - STATE(147), 1, - aux_sym_param_block_repeat1, - [4739] = 2, + [3624] = 2, ACTIONS(3), 1, sym_comment, - ACTIONS(420), 2, - anon_sym_EQ_GT, - anon_sym_u21d2, - [4747] = 2, + ACTIONS(404), 1, + anon_sym_RPAREN, + [3631] = 2, ACTIONS(3), 1, sym_comment, - ACTIONS(422), 2, - anon_sym_LPAREN, - anon_sym_in, - [4755] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(424), 2, + ACTIONS(406), 1, sym_identifier, - sym_symbol, - [4763] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(426), 2, - sym_identifier, - sym_symbol, - [4771] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(428), 2, - anon_sym_EQ_GT, - anon_sym_u21d2, - [4779] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(430), 2, - sym_identifier, - sym_symbol, - [4787] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(432), 1, - anon_sym_RPAREN, - [4794] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(434), 1, - anon_sym_RPAREN, - [4801] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(436), 1, - anon_sym_SEMI, - [4808] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(438), 1, - anon_sym_SEMI, - [4815] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(440), 1, - anon_sym_SEMI, - [4822] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(442), 1, - sym_identifier, - [4829] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(444), 1, - anon_sym_COMMA, - [4836] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(446), 1, - anon_sym_SEMI, - [4843] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(448), 1, - anon_sym_SEMI, - [4850] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(450), 1, - anon_sym_SEMI, - [4857] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(452), 1, - anon_sym_COLON_EQ, - [4864] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(454), 1, - anon_sym_RPAREN, - [4871] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(456), 1, - anon_sym_end, - [4878] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(458), 1, - anon_sym_RPAREN, - [4885] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(460), 1, - sym_precedence, - [4892] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(462), 1, - anon_sym_COMMA, - [4899] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(464), 1, - anon_sym_COLON_EQ, - [4906] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(466), 1, - anon_sym_RPAREN, - [4913] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(468), 1, - anon_sym_RPAREN, - [4920] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(330), 1, - anon_sym_COLON_EQ, - [4927] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(470), 1, - anon_sym_COMMA, - [4934] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(332), 1, - anon_sym_COLON_EQ, - [4941] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(472), 1, - anon_sym_COMMA, - [4948] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(474), 1, - anon_sym_RPAREN, - [4955] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(476), 1, - anon_sym_RPAREN, - [4962] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(478), 1, - sym_symbol, - [4969] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(480), 1, - anon_sym_end, - [4976] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(482), 1, - anon_sym_RPAREN, - [4983] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(484), 1, - anon_sym_RPAREN, - [4990] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(486), 1, - sym_identifier, - [4997] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(488), 1, - anon_sym_RPAREN, - [5004] = 2, - ACTIONS(490), 1, - sym_comment, - ACTIONS(492), 1, - sym_post_command, - [5011] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(494), 1, - anon_sym_SEMI, - [5018] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(496), 1, - anon_sym_SEMI, - [5025] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(498), 1, - anon_sym_end, - [5032] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(500), 1, - anon_sym_RPAREN, - [5039] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(502), 1, - anon_sym_SEMI, - [5046] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(504), 1, - anon_sym_SEMI, - [5053] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(506), 1, - sym_identifier, - [5060] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(508), 1, - ts_builtin_sym_end, - [5067] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(510), 1, - sym_precedence, - [5074] = 2, - ACTIONS(490), 1, - sym_comment, - ACTIONS(512), 1, - sym_post_command, - [5081] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(514), 1, - anon_sym_SEMI, - [5088] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(516), 1, - anon_sym_RPAREN, - [5095] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(340), 1, - anon_sym_COLON_EQ, - [5102] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(518), 1, - sym_identifier, - [5109] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(520), 1, - anon_sym_COLON_EQ, - [5116] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(522), 1, - sym_identifier, - [5123] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(524), 1, - anon_sym_SEMI, - [5130] = 2, - ACTIONS(3), 1, - sym_comment, - ACTIONS(526), 1, - sym_symbol, }; static const uint32_t ts_small_parse_table_map[] = { [SMALL_STATE(2)] = 0, - [SMALL_STATE(3)] = 66, - [SMALL_STATE(4)] = 132, - [SMALL_STATE(5)] = 198, - [SMALL_STATE(6)] = 264, - [SMALL_STATE(7)] = 325, - [SMALL_STATE(8)] = 386, - [SMALL_STATE(9)] = 447, - [SMALL_STATE(10)] = 508, - [SMALL_STATE(11)] = 569, - [SMALL_STATE(12)] = 630, - [SMALL_STATE(13)] = 691, - [SMALL_STATE(14)] = 752, - [SMALL_STATE(15)] = 813, - [SMALL_STATE(16)] = 874, - [SMALL_STATE(17)] = 935, - [SMALL_STATE(18)] = 996, - [SMALL_STATE(19)] = 1057, - [SMALL_STATE(20)] = 1118, - [SMALL_STATE(21)] = 1179, - [SMALL_STATE(22)] = 1240, - [SMALL_STATE(23)] = 1301, - [SMALL_STATE(24)] = 1362, - [SMALL_STATE(25)] = 1423, - [SMALL_STATE(26)] = 1484, - [SMALL_STATE(27)] = 1545, - [SMALL_STATE(28)] = 1606, - [SMALL_STATE(29)] = 1667, - [SMALL_STATE(30)] = 1728, - [SMALL_STATE(31)] = 1789, - [SMALL_STATE(32)] = 1850, - [SMALL_STATE(33)] = 1911, - [SMALL_STATE(34)] = 1972, - [SMALL_STATE(35)] = 2033, - [SMALL_STATE(36)] = 2094, - [SMALL_STATE(37)] = 2155, - [SMALL_STATE(38)] = 2216, - [SMALL_STATE(39)] = 2277, - [SMALL_STATE(40)] = 2338, - [SMALL_STATE(41)] = 2399, - [SMALL_STATE(42)] = 2435, - [SMALL_STATE(43)] = 2471, - [SMALL_STATE(44)] = 2507, - [SMALL_STATE(45)] = 2543, - [SMALL_STATE(46)] = 2579, - [SMALL_STATE(47)] = 2615, - [SMALL_STATE(48)] = 2654, - [SMALL_STATE(49)] = 2693, - [SMALL_STATE(50)] = 2731, - [SMALL_STATE(51)] = 2769, - [SMALL_STATE(52)] = 2806, - [SMALL_STATE(53)] = 2843, - [SMALL_STATE(54)] = 2880, - [SMALL_STATE(55)] = 2917, - [SMALL_STATE(56)] = 2951, - [SMALL_STATE(57)] = 2985, - [SMALL_STATE(58)] = 3019, - [SMALL_STATE(59)] = 3053, - [SMALL_STATE(60)] = 3074, - [SMALL_STATE(61)] = 3093, - [SMALL_STATE(62)] = 3111, - [SMALL_STATE(63)] = 3129, - [SMALL_STATE(64)] = 3147, - [SMALL_STATE(65)] = 3167, - [SMALL_STATE(66)] = 3185, - [SMALL_STATE(67)] = 3203, - [SMALL_STATE(68)] = 3221, - [SMALL_STATE(69)] = 3236, - [SMALL_STATE(70)] = 3251, - [SMALL_STATE(71)] = 3266, - [SMALL_STATE(72)] = 3281, - [SMALL_STATE(73)] = 3296, - [SMALL_STATE(74)] = 3311, - [SMALL_STATE(75)] = 3326, - [SMALL_STATE(76)] = 3341, - [SMALL_STATE(77)] = 3358, - [SMALL_STATE(78)] = 3375, - [SMALL_STATE(79)] = 3390, - [SMALL_STATE(80)] = 3405, - [SMALL_STATE(81)] = 3422, - [SMALL_STATE(82)] = 3437, - [SMALL_STATE(83)] = 3452, - [SMALL_STATE(84)] = 3469, - [SMALL_STATE(85)] = 3486, - [SMALL_STATE(86)] = 3501, - [SMALL_STATE(87)] = 3518, - [SMALL_STATE(88)] = 3537, - [SMALL_STATE(89)] = 3552, - [SMALL_STATE(90)] = 3569, - [SMALL_STATE(91)] = 3588, - [SMALL_STATE(92)] = 3603, - [SMALL_STATE(93)] = 3618, - [SMALL_STATE(94)] = 3633, - [SMALL_STATE(95)] = 3648, - [SMALL_STATE(96)] = 3662, - [SMALL_STATE(97)] = 3678, - [SMALL_STATE(98)] = 3694, - [SMALL_STATE(99)] = 3708, - [SMALL_STATE(100)] = 3722, - [SMALL_STATE(101)] = 3738, - [SMALL_STATE(102)] = 3752, - [SMALL_STATE(103)] = 3768, - [SMALL_STATE(104)] = 3784, - [SMALL_STATE(105)] = 3798, - [SMALL_STATE(106)] = 3818, - [SMALL_STATE(107)] = 3834, - [SMALL_STATE(108)] = 3850, - [SMALL_STATE(109)] = 3864, - [SMALL_STATE(110)] = 3878, - [SMALL_STATE(111)] = 3894, - [SMALL_STATE(112)] = 3908, - [SMALL_STATE(113)] = 3924, - [SMALL_STATE(114)] = 3940, - [SMALL_STATE(115)] = 3954, - [SMALL_STATE(116)] = 3975, - [SMALL_STATE(117)] = 3996, - [SMALL_STATE(118)] = 4017, - [SMALL_STATE(119)] = 4038, - [SMALL_STATE(120)] = 4058, - [SMALL_STATE(121)] = 4078, - [SMALL_STATE(122)] = 4098, - [SMALL_STATE(123)] = 4112, - [SMALL_STATE(124)] = 4132, - [SMALL_STATE(125)] = 4152, - [SMALL_STATE(126)] = 4172, - [SMALL_STATE(127)] = 4192, - [SMALL_STATE(128)] = 4212, - [SMALL_STATE(129)] = 4232, - [SMALL_STATE(130)] = 4252, - [SMALL_STATE(131)] = 4263, - [SMALL_STATE(132)] = 4280, - [SMALL_STATE(133)] = 4293, - [SMALL_STATE(134)] = 4310, - [SMALL_STATE(135)] = 4327, - [SMALL_STATE(136)] = 4344, - [SMALL_STATE(137)] = 4358, - [SMALL_STATE(138)] = 4372, - [SMALL_STATE(139)] = 4384, - [SMALL_STATE(140)] = 4398, - [SMALL_STATE(141)] = 4412, - [SMALL_STATE(142)] = 4426, - [SMALL_STATE(143)] = 4440, - [SMALL_STATE(144)] = 4454, - [SMALL_STATE(145)] = 4468, - [SMALL_STATE(146)] = 4479, - [SMALL_STATE(147)] = 4492, - [SMALL_STATE(148)] = 4505, - [SMALL_STATE(149)] = 4518, - [SMALL_STATE(150)] = 4529, - [SMALL_STATE(151)] = 4540, - [SMALL_STATE(152)] = 4551, - [SMALL_STATE(153)] = 4562, - [SMALL_STATE(154)] = 4573, - [SMALL_STATE(155)] = 4584, - [SMALL_STATE(156)] = 4595, - [SMALL_STATE(157)] = 4606, - [SMALL_STATE(158)] = 4617, - [SMALL_STATE(159)] = 4628, - [SMALL_STATE(160)] = 4639, - [SMALL_STATE(161)] = 4650, - [SMALL_STATE(162)] = 4661, - [SMALL_STATE(163)] = 4669, - [SMALL_STATE(164)] = 4677, - [SMALL_STATE(165)] = 4685, - [SMALL_STATE(166)] = 4695, - [SMALL_STATE(167)] = 4703, - [SMALL_STATE(168)] = 4711, - [SMALL_STATE(169)] = 4721, - [SMALL_STATE(170)] = 4729, - [SMALL_STATE(171)] = 4739, - [SMALL_STATE(172)] = 4747, - [SMALL_STATE(173)] = 4755, - [SMALL_STATE(174)] = 4763, - [SMALL_STATE(175)] = 4771, - [SMALL_STATE(176)] = 4779, - [SMALL_STATE(177)] = 4787, - [SMALL_STATE(178)] = 4794, - [SMALL_STATE(179)] = 4801, - [SMALL_STATE(180)] = 4808, - [SMALL_STATE(181)] = 4815, - [SMALL_STATE(182)] = 4822, - [SMALL_STATE(183)] = 4829, - [SMALL_STATE(184)] = 4836, - [SMALL_STATE(185)] = 4843, - [SMALL_STATE(186)] = 4850, - [SMALL_STATE(187)] = 4857, - [SMALL_STATE(188)] = 4864, - [SMALL_STATE(189)] = 4871, - [SMALL_STATE(190)] = 4878, - [SMALL_STATE(191)] = 4885, - [SMALL_STATE(192)] = 4892, - [SMALL_STATE(193)] = 4899, - [SMALL_STATE(194)] = 4906, - [SMALL_STATE(195)] = 4913, - [SMALL_STATE(196)] = 4920, - [SMALL_STATE(197)] = 4927, - [SMALL_STATE(198)] = 4934, - [SMALL_STATE(199)] = 4941, - [SMALL_STATE(200)] = 4948, - [SMALL_STATE(201)] = 4955, - [SMALL_STATE(202)] = 4962, - [SMALL_STATE(203)] = 4969, - [SMALL_STATE(204)] = 4976, - [SMALL_STATE(205)] = 4983, - [SMALL_STATE(206)] = 4990, - [SMALL_STATE(207)] = 4997, - [SMALL_STATE(208)] = 5004, - [SMALL_STATE(209)] = 5011, - [SMALL_STATE(210)] = 5018, - [SMALL_STATE(211)] = 5025, - [SMALL_STATE(212)] = 5032, - [SMALL_STATE(213)] = 5039, - [SMALL_STATE(214)] = 5046, - [SMALL_STATE(215)] = 5053, - [SMALL_STATE(216)] = 5060, - [SMALL_STATE(217)] = 5067, - [SMALL_STATE(218)] = 5074, - [SMALL_STATE(219)] = 5081, - [SMALL_STATE(220)] = 5088, - [SMALL_STATE(221)] = 5095, - [SMALL_STATE(222)] = 5102, - [SMALL_STATE(223)] = 5109, - [SMALL_STATE(224)] = 5116, - [SMALL_STATE(225)] = 5123, - [SMALL_STATE(226)] = 5130, + [SMALL_STATE(3)] = 68, + [SMALL_STATE(4)] = 136, + [SMALL_STATE(5)] = 201, + [SMALL_STATE(6)] = 266, + [SMALL_STATE(7)] = 331, + [SMALL_STATE(8)] = 396, + [SMALL_STATE(9)] = 461, + [SMALL_STATE(10)] = 526, + [SMALL_STATE(11)] = 591, + [SMALL_STATE(12)] = 656, + [SMALL_STATE(13)] = 721, + [SMALL_STATE(14)] = 786, + [SMALL_STATE(15)] = 851, + [SMALL_STATE(16)] = 916, + [SMALL_STATE(17)] = 981, + [SMALL_STATE(18)] = 1046, + [SMALL_STATE(19)] = 1111, + [SMALL_STATE(20)] = 1176, + [SMALL_STATE(21)] = 1241, + [SMALL_STATE(22)] = 1306, + [SMALL_STATE(23)] = 1371, + [SMALL_STATE(24)] = 1436, + [SMALL_STATE(25)] = 1501, + [SMALL_STATE(26)] = 1566, + [SMALL_STATE(27)] = 1631, + [SMALL_STATE(28)] = 1667, + [SMALL_STATE(29)] = 1703, + [SMALL_STATE(30)] = 1739, + [SMALL_STATE(31)] = 1775, + [SMALL_STATE(32)] = 1811, + [SMALL_STATE(33)] = 1847, + [SMALL_STATE(34)] = 1883, + [SMALL_STATE(35)] = 1919, + [SMALL_STATE(36)] = 1954, + [SMALL_STATE(37)] = 1989, + [SMALL_STATE(38)] = 2023, + [SMALL_STATE(39)] = 2043, + [SMALL_STATE(40)] = 2077, + [SMALL_STATE(41)] = 2095, + [SMALL_STATE(42)] = 2112, + [SMALL_STATE(43)] = 2129, + [SMALL_STATE(44)] = 2146, + [SMALL_STATE(45)] = 2163, + [SMALL_STATE(46)] = 2180, + [SMALL_STATE(47)] = 2199, + [SMALL_STATE(48)] = 2214, + [SMALL_STATE(49)] = 2229, + [SMALL_STATE(50)] = 2244, + [SMALL_STATE(51)] = 2259, + [SMALL_STATE(52)] = 2274, + [SMALL_STATE(53)] = 2291, + [SMALL_STATE(54)] = 2306, + [SMALL_STATE(55)] = 2321, + [SMALL_STATE(56)] = 2336, + [SMALL_STATE(57)] = 2351, + [SMALL_STATE(58)] = 2366, + [SMALL_STATE(59)] = 2381, + [SMALL_STATE(60)] = 2396, + [SMALL_STATE(61)] = 2411, + [SMALL_STATE(62)] = 2426, + [SMALL_STATE(63)] = 2441, + [SMALL_STATE(64)] = 2456, + [SMALL_STATE(65)] = 2471, + [SMALL_STATE(66)] = 2486, + [SMALL_STATE(67)] = 2502, + [SMALL_STATE(68)] = 2518, + [SMALL_STATE(69)] = 2534, + [SMALL_STATE(70)] = 2550, + [SMALL_STATE(71)] = 2570, + [SMALL_STATE(72)] = 2586, + [SMALL_STATE(73)] = 2606, + [SMALL_STATE(74)] = 2626, + [SMALL_STATE(75)] = 2638, + [SMALL_STATE(76)] = 2658, + [SMALL_STATE(77)] = 2670, + [SMALL_STATE(78)] = 2682, + [SMALL_STATE(79)] = 2694, + [SMALL_STATE(80)] = 2708, + [SMALL_STATE(81)] = 2720, + [SMALL_STATE(82)] = 2740, + [SMALL_STATE(83)] = 2754, + [SMALL_STATE(84)] = 2766, + [SMALL_STATE(85)] = 2778, + [SMALL_STATE(86)] = 2790, + [SMALL_STATE(87)] = 2810, + [SMALL_STATE(88)] = 2830, + [SMALL_STATE(89)] = 2847, + [SMALL_STATE(90)] = 2864, + [SMALL_STATE(91)] = 2879, + [SMALL_STATE(92)] = 2892, + [SMALL_STATE(93)] = 2909, + [SMALL_STATE(94)] = 2926, + [SMALL_STATE(95)] = 2941, + [SMALL_STATE(96)] = 2955, + [SMALL_STATE(97)] = 2969, + [SMALL_STATE(98)] = 2983, + [SMALL_STATE(99)] = 2997, + [SMALL_STATE(100)] = 3011, + [SMALL_STATE(101)] = 3025, + [SMALL_STATE(102)] = 3039, + [SMALL_STATE(103)] = 3053, + [SMALL_STATE(104)] = 3067, + [SMALL_STATE(105)] = 3080, + [SMALL_STATE(106)] = 3093, + [SMALL_STATE(107)] = 3104, + [SMALL_STATE(108)] = 3117, + [SMALL_STATE(109)] = 3130, + [SMALL_STATE(110)] = 3141, + [SMALL_STATE(111)] = 3152, + [SMALL_STATE(112)] = 3163, + [SMALL_STATE(113)] = 3174, + [SMALL_STATE(114)] = 3185, + [SMALL_STATE(115)] = 3196, + [SMALL_STATE(116)] = 3207, + [SMALL_STATE(117)] = 3218, + [SMALL_STATE(118)] = 3226, + [SMALL_STATE(119)] = 3236, + [SMALL_STATE(120)] = 3244, + [SMALL_STATE(121)] = 3254, + [SMALL_STATE(122)] = 3262, + [SMALL_STATE(123)] = 3272, + [SMALL_STATE(124)] = 3280, + [SMALL_STATE(125)] = 3288, + [SMALL_STATE(126)] = 3296, + [SMALL_STATE(127)] = 3304, + [SMALL_STATE(128)] = 3314, + [SMALL_STATE(129)] = 3322, + [SMALL_STATE(130)] = 3330, + [SMALL_STATE(131)] = 3337, + [SMALL_STATE(132)] = 3344, + [SMALL_STATE(133)] = 3351, + [SMALL_STATE(134)] = 3358, + [SMALL_STATE(135)] = 3365, + [SMALL_STATE(136)] = 3372, + [SMALL_STATE(137)] = 3379, + [SMALL_STATE(138)] = 3386, + [SMALL_STATE(139)] = 3393, + [SMALL_STATE(140)] = 3400, + [SMALL_STATE(141)] = 3407, + [SMALL_STATE(142)] = 3414, + [SMALL_STATE(143)] = 3421, + [SMALL_STATE(144)] = 3428, + [SMALL_STATE(145)] = 3435, + [SMALL_STATE(146)] = 3442, + [SMALL_STATE(147)] = 3449, + [SMALL_STATE(148)] = 3456, + [SMALL_STATE(149)] = 3463, + [SMALL_STATE(150)] = 3470, + [SMALL_STATE(151)] = 3477, + [SMALL_STATE(152)] = 3484, + [SMALL_STATE(153)] = 3491, + [SMALL_STATE(154)] = 3498, + [SMALL_STATE(155)] = 3505, + [SMALL_STATE(156)] = 3512, + [SMALL_STATE(157)] = 3519, + [SMALL_STATE(158)] = 3526, + [SMALL_STATE(159)] = 3533, + [SMALL_STATE(160)] = 3540, + [SMALL_STATE(161)] = 3547, + [SMALL_STATE(162)] = 3554, + [SMALL_STATE(163)] = 3561, + [SMALL_STATE(164)] = 3568, + [SMALL_STATE(165)] = 3575, + [SMALL_STATE(166)] = 3582, + [SMALL_STATE(167)] = 3589, + [SMALL_STATE(168)] = 3596, + [SMALL_STATE(169)] = 3603, + [SMALL_STATE(170)] = 3610, + [SMALL_STATE(171)] = 3617, + [SMALL_STATE(172)] = 3624, + [SMALL_STATE(173)] = 3631, }; 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(182), - [7] = {.entry = {.count = 1, .reusable = true}}, SHIFT(191), - [9] = {.entry = {.count = 1, .reusable = true}}, SHIFT(161), - [11] = {.entry = {.count = 1, .reusable = true}}, SHIFT(166), - [13] = {.entry = {.count = 1, .reusable = true}}, SHIFT(173), - [15] = {.entry = {.count = 1, .reusable = true}}, SHIFT(218), - [17] = {.entry = {.count = 1, .reusable = false}}, SHIFT(62), - [19] = {.entry = {.count = 1, .reusable = false}}, SHIFT(194), + [5] = {.entry = {.count = 1, .reusable = true}}, SHIFT(133), + [7] = {.entry = {.count = 1, .reusable = true}}, SHIFT(145), + [9] = {.entry = {.count = 1, .reusable = true}}, SHIFT(110), + [11] = {.entry = {.count = 1, .reusable = true}}, SHIFT(125), + [13] = {.entry = {.count = 1, .reusable = true}}, SHIFT(117), + [15] = {.entry = {.count = 1, .reusable = true}}, SHIFT(169), + [17] = {.entry = {.count = 1, .reusable = false}}, SHIFT(41), + [19] = {.entry = {.count = 1, .reusable = true}}, SHIFT(143), [21] = {.entry = {.count = 1, .reusable = true}}, SHIFT(3), - [23] = {.entry = {.count = 1, .reusable = true}}, SHIFT(67), - [25] = {.entry = {.count = 1, .reusable = true}}, SHIFT(60), - [27] = {.entry = {.count = 1, .reusable = false}}, SHIFT(60), - [29] = {.entry = {.count = 1, .reusable = true}}, SHIFT(152), - [31] = {.entry = {.count = 1, .reusable = false}}, SHIFT(152), - [33] = {.entry = {.count = 1, .reusable = true}}, SHIFT(153), - [35] = {.entry = {.count = 1, .reusable = false}}, SHIFT(153), - [37] = {.entry = {.count = 1, .reusable = false}}, SHIFT(156), - [39] = {.entry = {.count = 1, .reusable = false}}, SHIFT(207), - [41] = {.entry = {.count = 1, .reusable = false}}, SHIFT(201), - [43] = {.entry = {.count = 1, .reusable = false}}, SHIFT(177), - [45] = {.entry = {.count = 1, .reusable = false}}, SHIFT(96), - [47] = {.entry = {.count = 1, .reusable = true}}, SHIFT(5), - [49] = {.entry = {.count = 1, .reusable = true}}, SHIFT(97), - [51] = {.entry = {.count = 1, .reusable = true}}, SHIFT(86), - [53] = {.entry = {.count = 1, .reusable = true}}, SHIFT(160), - [55] = {.entry = {.count = 1, .reusable = false}}, SHIFT(160), - [57] = {.entry = {.count = 1, .reusable = true}}, SHIFT(154), - [59] = {.entry = {.count = 1, .reusable = false}}, SHIFT(154), - [61] = {.entry = {.count = 1, .reusable = false}}, SHIFT(106), - [63] = {.entry = {.count = 1, .reusable = true}}, SHIFT(2), - [65] = {.entry = {.count = 1, .reusable = true}}, SHIFT(107), - [67] = {.entry = {.count = 1, .reusable = true}}, SHIFT(89), - [69] = {.entry = {.count = 1, .reusable = true}}, SHIFT(145), - [71] = {.entry = {.count = 1, .reusable = false}}, SHIFT(145), - [73] = {.entry = {.count = 1, .reusable = true}}, SHIFT(159), - [75] = {.entry = {.count = 1, .reusable = false}}, SHIFT(159), - [77] = {.entry = {.count = 1, .reusable = false}}, SHIFT(76), - [79] = {.entry = {.count = 1, .reusable = true}}, SHIFT(4), - [81] = {.entry = {.count = 1, .reusable = true}}, SHIFT(77), - [83] = {.entry = {.count = 1, .reusable = true}}, SHIFT(65), - [85] = {.entry = {.count = 1, .reusable = true}}, SHIFT(158), - [87] = {.entry = {.count = 1, .reusable = false}}, SHIFT(158), - [89] = {.entry = {.count = 1, .reusable = true}}, SHIFT(157), - [91] = {.entry = {.count = 1, .reusable = false}}, SHIFT(157), - [93] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_program, 1, 0, 0), - [95] = {.entry = {.count = 1, .reusable = true}}, SHIFT(224), - [97] = {.entry = {.count = 1, .reusable = true}}, SHIFT(217), - [99] = {.entry = {.count = 1, .reusable = true}}, SHIFT(155), - [101] = {.entry = {.count = 1, .reusable = true}}, SHIFT(174), - [103] = {.entry = {.count = 1, .reusable = true}}, SHIFT(176), - [105] = {.entry = {.count = 1, .reusable = true}}, SHIFT(208), - [107] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_program_repeat1, 2, 0, 0), SHIFT_REPEAT(224), - [110] = {.entry = {.count = 1, .reusable = true}}, REDUCE(aux_sym_program_repeat1, 2, 0, 0), - [112] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_program_repeat1, 2, 0, 0), SHIFT_REPEAT(217), - [115] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_program_repeat1, 2, 0, 0), SHIFT_REPEAT(155), - [118] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_program_repeat1, 2, 0, 0), SHIFT_REPEAT(174), - [121] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_program_repeat1, 2, 0, 0), SHIFT_REPEAT(176), - [124] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_program_repeat1, 2, 0, 0), SHIFT_REPEAT(208), - [127] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_program_repeat1, 2, 0, 0), SHIFT_REPEAT(182), - [130] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_program_repeat1, 2, 0, 0), SHIFT_REPEAT(191), - [133] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_program_repeat1, 2, 0, 0), SHIFT_REPEAT(161), - [136] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_program_repeat1, 2, 0, 0), SHIFT_REPEAT(166), - [139] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_program_repeat1, 2, 0, 0), SHIFT_REPEAT(173), - [142] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_program_repeat1, 2, 0, 0), SHIFT_REPEAT(218), - [145] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_app_repeat1, 2, 0, 0), SHIFT_REPEAT(62), - [148] = {.entry = {.count = 1, .reusable = false}}, REDUCE(aux_sym_app_repeat1, 2, 0, 0), - [150] = {.entry = {.count = 1, .reusable = true}}, REDUCE(aux_sym_app_repeat1, 2, 0, 0), - [152] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_app_repeat1, 2, 0, 0), SHIFT_REPEAT(3), - [155] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_app_repeat1, 2, 0, 0), SHIFT_REPEAT(67), - [158] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_app_repeat1, 2, 0, 0), SHIFT_REPEAT(60), - [161] = {.entry = {.count = 2, .reusable = false}}, REDUCE(aux_sym_app_repeat1, 2, 0, 0), SHIFT_REPEAT(60), - [164] = {.entry = {.count = 1, .reusable = true}}, SHIFT(62), - [166] = {.entry = {.count = 1, .reusable = false}}, REDUCE(sym_app, 1, 0, 0), - [168] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_app, 1, 0, 0), - [170] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_app_repeat1, 2, 0, 0), SHIFT_REPEAT(76), - [173] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_app_repeat1, 2, 0, 0), SHIFT_REPEAT(4), - [176] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_app_repeat1, 2, 0, 0), SHIFT_REPEAT(77), - [179] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_app_repeat1, 2, 0, 0), SHIFT_REPEAT(65), - [182] = {.entry = {.count = 2, .reusable = false}}, REDUCE(aux_sym_app_repeat1, 2, 0, 0), SHIFT_REPEAT(65), - [185] = {.entry = {.count = 1, .reusable = true}}, SHIFT(76), - [187] = {.entry = {.count = 1, .reusable = false}}, SHIFT(65), - [189] = {.entry = {.count = 1, .reusable = true}}, SHIFT(96), - [191] = {.entry = {.count = 1, .reusable = false}}, SHIFT(86), - [193] = {.entry = {.count = 1, .reusable = false}}, SHIFT(89), - [195] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_app_repeat1, 2, 0, 0), SHIFT_REPEAT(96), - [198] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_app_repeat1, 2, 0, 0), SHIFT_REPEAT(5), - [201] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_app_repeat1, 2, 0, 0), SHIFT_REPEAT(97), - [204] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_app_repeat1, 2, 0, 0), SHIFT_REPEAT(86), - [207] = {.entry = {.count = 2, .reusable = false}}, REDUCE(aux_sym_app_repeat1, 2, 0, 0), SHIFT_REPEAT(86), - [210] = {.entry = {.count = 2, .reusable = false}}, REDUCE(aux_sym_app_repeat1, 2, 0, 0), SHIFT_REPEAT(106), - [213] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_app_repeat1, 2, 0, 0), SHIFT_REPEAT(2), - [216] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_app_repeat1, 2, 0, 0), SHIFT_REPEAT(107), - [219] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_app_repeat1, 2, 0, 0), SHIFT_REPEAT(89), - [222] = {.entry = {.count = 2, .reusable = false}}, REDUCE(aux_sym_app_repeat1, 2, 0, 0), SHIFT_REPEAT(89), - [225] = {.entry = {.count = 1, .reusable = true}}, SHIFT(106), - [227] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_sort, 1, 0, 0), - [229] = {.entry = {.count = 1, .reusable = false}}, REDUCE(sym_sort, 1, 0, 0), - [231] = {.entry = {.count = 1, .reusable = true}}, SHIFT(61), - [233] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_square, 1, 0, 0), - [235] = {.entry = {.count = 1, .reusable = false}}, REDUCE(sym_square, 1, 0, 0), - [237] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_sort, 2, 0, 0), - [239] = {.entry = {.count = 1, .reusable = false}}, REDUCE(sym_sort, 2, 0, 0), - [241] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_term, 1, 0, 0), - [243] = {.entry = {.count = 1, .reusable = false}}, REDUCE(sym_term, 1, 0, 0), - [245] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_op_section, 3, 0, 0), - [247] = {.entry = {.count = 1, .reusable = false}}, REDUCE(sym_op_section, 3, 0, 0), - [249] = {.entry = {.count = 1, .reusable = true}}, SHIFT(80), - [251] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_term, 3, 0, 0), - [253] = {.entry = {.count = 1, .reusable = false}}, REDUCE(sym_term, 3, 0, 0), - [255] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_variable, 3, 0, 0), - [257] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_axiom, 5, 0, 2), - [259] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_definition, 6, 0, 2), - [261] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_definition, 7, 0, 2), - [263] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_fixity, 4, 0, 0), - [265] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_preprocess, 2, 0, 0), - [267] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_axiom, 4, 0, 2), - [269] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_section, 5, 0, 0), - [271] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_definition, 5, 0, 2), - [273] = {.entry = {.count = 1, .reusable = true}}, SHIFT(100), - [275] = {.entry = {.count = 1, .reusable = true}}, SHIFT(110), - [277] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_let, 5, 0, 0), - [279] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_binex, 3, 0, 0), - [281] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_labs, 4, 0, 0), - [283] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_expr, 1, 0, 0), - [285] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_pabs, 4, 0, 0), - [287] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_labs_repeat1, 2, 0, 0), SHIFT_REPEAT(170), - [290] = {.entry = {.count = 1, .reusable = false}}, REDUCE(aux_sym_labs_repeat1, 2, 0, 0), - [292] = {.entry = {.count = 1, .reusable = true}}, REDUCE(aux_sym_labs_repeat1, 2, 0, 0), - [294] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_arrow, 3, 0, 0), - [296] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_labs, 5, 0, 0), - [298] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_pabs, 5, 0, 0), - [300] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_app_term, 1, 0, 0), - [302] = {.entry = {.count = 1, .reusable = true}}, SHIFT(170), - [304] = {.entry = {.count = 1, .reusable = true}}, SHIFT(34), - [306] = {.entry = {.count = 1, .reusable = true}}, SHIFT(30), - [308] = {.entry = {.count = 1, .reusable = true}}, SHIFT(20), - [310] = {.entry = {.count = 1, .reusable = true}}, SHIFT(11), - [312] = {.entry = {.count = 1, .reusable = true}}, SHIFT(25), - [314] = {.entry = {.count = 1, .reusable = true}}, SHIFT(6), - [316] = {.entry = {.count = 1, .reusable = true}}, SHIFT(21), - [318] = {.entry = {.count = 1, .reusable = false}}, SHIFT(36), - [320] = {.entry = {.count = 1, .reusable = true}}, SHIFT(16), - [322] = {.entry = {.count = 1, .reusable = true}}, SHIFT(31), - [324] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_param_block, 5, 0, 4), - [326] = {.entry = {.count = 1, .reusable = false}}, REDUCE(sym_param_block, 5, 0, 4), - [328] = {.entry = {.count = 1, .reusable = true}}, SHIFT(39), - [330] = {.entry = {.count = 1, .reusable = true}}, SHIFT(7), - [332] = {.entry = {.count = 1, .reusable = true}}, SHIFT(17), - [334] = {.entry = {.count = 1, .reusable = true}}, SHIFT(26), - [336] = {.entry = {.count = 1, .reusable = true}}, SHIFT(12), - [338] = {.entry = {.count = 1, .reusable = true}}, SHIFT(35), - [340] = {.entry = {.count = 1, .reusable = true}}, SHIFT(37), - [342] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_ascription, 2, 0, 1), - [344] = {.entry = {.count = 1, .reusable = true}}, SHIFT(36), - [346] = {.entry = {.count = 1, .reusable = true}}, SHIFT(55), - [348] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_binex, 1, 0, 0), - [350] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_let_repeat1, 2, 0, 0), SHIFT_REPEAT(206), - [353] = {.entry = {.count = 1, .reusable = true}}, REDUCE(aux_sym_let_repeat1, 2, 0, 0), - [355] = {.entry = {.count = 1, .reusable = true}}, SHIFT(139), - [357] = {.entry = {.count = 1, .reusable = true}}, SHIFT(22), - [359] = {.entry = {.count = 1, .reusable = true}}, SHIFT(9), - [361] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_variable_binding_repeat1, 2, 0, 0), SHIFT_REPEAT(139), - [364] = {.entry = {.count = 1, .reusable = true}}, REDUCE(aux_sym_variable_binding_repeat1, 2, 0, 0), - [366] = {.entry = {.count = 1, .reusable = false}}, SHIFT(58), - [368] = {.entry = {.count = 1, .reusable = false}}, REDUCE(sym_binex, 1, 0, 0), - [370] = {.entry = {.count = 1, .reusable = true}}, SHIFT(74), - [372] = {.entry = {.count = 1, .reusable = true}}, SHIFT(150), - [374] = {.entry = {.count = 1, .reusable = true}}, SHIFT(68), - [376] = {.entry = {.count = 1, .reusable = true}}, SHIFT(206), - [378] = {.entry = {.count = 1, .reusable = true}}, SHIFT(13), - [380] = {.entry = {.count = 1, .reusable = true}}, REDUCE(aux_sym_variable_repeat1, 2, 0, 0), - [382] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_variable_repeat1, 2, 0, 0), SHIFT_REPEAT(150), - [385] = {.entry = {.count = 1, .reusable = false}}, SHIFT(56), - [387] = {.entry = {.count = 1, .reusable = true}}, SHIFT(148), - [389] = {.entry = {.count = 1, .reusable = true}}, SHIFT(8), - [391] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_param_block_repeat1, 2, 0, 0), SHIFT_REPEAT(148), - [394] = {.entry = {.count = 1, .reusable = true}}, REDUCE(aux_sym_param_block_repeat1, 2, 0, 0), - [396] = {.entry = {.count = 1, .reusable = true}}, SHIFT(19), - [398] = {.entry = {.count = 1, .reusable = true}}, SHIFT(137), - [400] = {.entry = {.count = 1, .reusable = true}}, SHIFT(57), - [402] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_binding, 6, 0, 0), - [404] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_binding, 5, 0, 0), - [406] = {.entry = {.count = 1, .reusable = true}}, SHIFT(40), - [408] = {.entry = {.count = 1, .reusable = true}}, SHIFT(24), - [410] = {.entry = {.count = 1, .reusable = true}}, SHIFT(131), - [412] = {.entry = {.count = 1, .reusable = true}}, SHIFT(27), - [414] = {.entry = {.count = 1, .reusable = true}}, SHIFT(29), - [416] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_variable_binding, 5, 0, 3), - [418] = {.entry = {.count = 1, .reusable = true}}, SHIFT(147), - [420] = {.entry = {.count = 1, .reusable = true}}, SHIFT(32), - [422] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_binding, 7, 0, 0), - [424] = {.entry = {.count = 1, .reusable = true}}, SHIFT(123), - [426] = {.entry = {.count = 1, .reusable = true}}, SHIFT(134), - [428] = {.entry = {.count = 1, .reusable = true}}, SHIFT(14), - [430] = {.entry = {.count = 1, .reusable = true}}, SHIFT(128), - [432] = {.entry = {.count = 1, .reusable = true}}, SHIFT(102), - [434] = {.entry = {.count = 1, .reusable = true}}, SHIFT(84), - [436] = {.entry = {.count = 1, .reusable = true}}, SHIFT(88), - [438] = {.entry = {.count = 1, .reusable = true}}, SHIFT(71), - [440] = {.entry = {.count = 1, .reusable = true}}, SHIFT(94), - [442] = {.entry = {.count = 1, .reusable = true}}, SHIFT(45), - [444] = {.entry = {.count = 1, .reusable = true}}, SHIFT(23), - [446] = {.entry = {.count = 1, .reusable = true}}, SHIFT(85), - [448] = {.entry = {.count = 1, .reusable = true}}, SHIFT(70), - [450] = {.entry = {.count = 1, .reusable = true}}, SHIFT(93), - [452] = {.entry = {.count = 1, .reusable = true}}, SHIFT(18), - [454] = {.entry = {.count = 1, .reusable = true}}, SHIFT(103), - [456] = {.entry = {.count = 1, .reusable = true}}, SHIFT(95), - [458] = {.entry = {.count = 1, .reusable = true}}, SHIFT(162), - [460] = {.entry = {.count = 1, .reusable = true}}, SHIFT(202), - [462] = {.entry = {.count = 1, .reusable = true}}, SHIFT(28), - [464] = {.entry = {.count = 1, .reusable = true}}, SHIFT(10), - [466] = {.entry = {.count = 1, .reusable = true}}, SHIFT(112), - [468] = {.entry = {.count = 1, .reusable = true}}, SHIFT(113), - [470] = {.entry = {.count = 1, .reusable = true}}, SHIFT(15), - [472] = {.entry = {.count = 1, .reusable = true}}, SHIFT(33), - [474] = {.entry = {.count = 1, .reusable = true}}, SHIFT(169), - [476] = {.entry = {.count = 1, .reusable = true}}, SHIFT(83), - [478] = {.entry = {.count = 1, .reusable = true}}, SHIFT(214), - [480] = {.entry = {.count = 1, .reusable = true}}, SHIFT(215), - [482] = {.entry = {.count = 1, .reusable = true}}, SHIFT(122), - [484] = {.entry = {.count = 1, .reusable = true}}, SHIFT(172), - [486] = {.entry = {.count = 1, .reusable = true}}, SHIFT(120), - [488] = {.entry = {.count = 1, .reusable = true}}, SHIFT(63), - [490] = {.entry = {.count = 1, .reusable = false}}, SHIFT_EXTRA(), - [492] = {.entry = {.count = 1, .reusable = false}}, SHIFT(73), - [494] = {.entry = {.count = 1, .reusable = true}}, SHIFT(69), - [496] = {.entry = {.count = 1, .reusable = true}}, SHIFT(75), - [498] = {.entry = {.count = 1, .reusable = true}}, SHIFT(222), - [500] = {.entry = {.count = 1, .reusable = true}}, SHIFT(66), - [502] = {.entry = {.count = 1, .reusable = true}}, SHIFT(78), - [504] = {.entry = {.count = 1, .reusable = true}}, SHIFT(72), - [506] = {.entry = {.count = 1, .reusable = true}}, SHIFT(79), - [508] = {.entry = {.count = 1, .reusable = true}}, ACCEPT_INPUT(), - [510] = {.entry = {.count = 1, .reusable = true}}, SHIFT(226), - [512] = {.entry = {.count = 1, .reusable = false}}, SHIFT(92), - [514] = {.entry = {.count = 1, .reusable = true}}, SHIFT(81), - [516] = {.entry = {.count = 1, .reusable = true}}, SHIFT(163), - [518] = {.entry = {.count = 1, .reusable = true}}, SHIFT(91), - [520] = {.entry = {.count = 1, .reusable = true}}, SHIFT(38), - [522] = {.entry = {.count = 1, .reusable = true}}, SHIFT(46), - [524] = {.entry = {.count = 1, .reusable = true}}, SHIFT(82), - [526] = {.entry = {.count = 1, .reusable = true}}, SHIFT(210), + [23] = {.entry = {.count = 1, .reusable = true}}, SHIFT(42), + [25] = {.entry = {.count = 1, .reusable = true}}, SHIFT(40), + [27] = {.entry = {.count = 1, .reusable = true}}, SHIFT(111), + [29] = {.entry = {.count = 1, .reusable = false}}, SHIFT(111), + [31] = {.entry = {.count = 1, .reusable = false}}, SHIFT(127), + [33] = {.entry = {.count = 1, .reusable = true}}, SHIFT(115), + [35] = {.entry = {.count = 1, .reusable = false}}, SHIFT(115), + [37] = {.entry = {.count = 1, .reusable = false}}, SHIFT(116), + [39] = {.entry = {.count = 1, .reusable = true}}, SHIFT(160), + [41] = {.entry = {.count = 1, .reusable = false}}, SHIFT(66), + [43] = {.entry = {.count = 1, .reusable = true}}, SHIFT(2), + [45] = {.entry = {.count = 1, .reusable = true}}, SHIFT(67), + [47] = {.entry = {.count = 1, .reusable = true}}, SHIFT(52), + [49] = {.entry = {.count = 1, .reusable = true}}, SHIFT(112), + [51] = {.entry = {.count = 1, .reusable = false}}, SHIFT(112), + [53] = {.entry = {.count = 1, .reusable = false}}, SHIFT(118), + [55] = {.entry = {.count = 1, .reusable = true}}, SHIFT(113), + [57] = {.entry = {.count = 1, .reusable = false}}, SHIFT(113), + [59] = {.entry = {.count = 1, .reusable = true}}, SHIFT(170), + [61] = {.entry = {.count = 1, .reusable = true}}, SHIFT(162), + [63] = {.entry = {.count = 1, .reusable = true}}, SHIFT(114), + [65] = {.entry = {.count = 1, .reusable = true}}, SHIFT(128), + [67] = {.entry = {.count = 1, .reusable = true}}, SHIFT(129), + [69] = {.entry = {.count = 1, .reusable = true}}, SHIFT(134), + [71] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_program_repeat1, 2, 0, 0), SHIFT_REPEAT(170), + [74] = {.entry = {.count = 1, .reusable = true}}, REDUCE(aux_sym_program_repeat1, 2, 0, 0), + [76] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_program_repeat1, 2, 0, 0), SHIFT_REPEAT(162), + [79] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_program_repeat1, 2, 0, 0), SHIFT_REPEAT(114), + [82] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_program_repeat1, 2, 0, 0), SHIFT_REPEAT(128), + [85] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_program_repeat1, 2, 0, 0), SHIFT_REPEAT(129), + [88] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_program_repeat1, 2, 0, 0), SHIFT_REPEAT(134), + [91] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_app_repeat1, 2, 0, 0), SHIFT_REPEAT(41), + [94] = {.entry = {.count = 1, .reusable = true}}, REDUCE(aux_sym_app_repeat1, 2, 0, 0), + [96] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_app_repeat1, 2, 0, 0), SHIFT_REPEAT(3), + [99] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_app_repeat1, 2, 0, 0), SHIFT_REPEAT(42), + [102] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_app_repeat1, 2, 0, 0), SHIFT_REPEAT(40), + [105] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_program_repeat1, 2, 0, 0), SHIFT_REPEAT(133), + [108] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_program_repeat1, 2, 0, 0), SHIFT_REPEAT(145), + [111] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_program_repeat1, 2, 0, 0), SHIFT_REPEAT(110), + [114] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_program_repeat1, 2, 0, 0), SHIFT_REPEAT(125), + [117] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_program_repeat1, 2, 0, 0), SHIFT_REPEAT(117), + [120] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_program_repeat1, 2, 0, 0), SHIFT_REPEAT(169), + [123] = {.entry = {.count = 1, .reusable = true}}, SHIFT(41), + [125] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_app, 1, 0, 0), + [127] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_program, 1, 0, 0), + [129] = {.entry = {.count = 1, .reusable = false}}, REDUCE(sym_app, 1, 0, 0), + [131] = {.entry = {.count = 2, .reusable = false}}, REDUCE(aux_sym_app_repeat1, 2, 0, 0), SHIFT_REPEAT(66), + [134] = {.entry = {.count = 1, .reusable = false}}, REDUCE(aux_sym_app_repeat1, 2, 0, 0), + [136] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_app_repeat1, 2, 0, 0), SHIFT_REPEAT(2), + [139] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_app_repeat1, 2, 0, 0), SHIFT_REPEAT(67), + [142] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_app_repeat1, 2, 0, 0), SHIFT_REPEAT(52), + [145] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_sort, 1, 0, 0), + [147] = {.entry = {.count = 1, .reusable = true}}, SHIFT(43), + [149] = {.entry = {.count = 1, .reusable = true}}, SHIFT(66), + [151] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_square, 1, 0, 0), + [153] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_term, 1, 0, 0), + [155] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_sort, 2, 0, 0), + [157] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_op_section, 3, 0, 0), + [159] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_term, 3, 0, 0), + [161] = {.entry = {.count = 1, .reusable = false}}, REDUCE(sym_sort, 1, 0, 0), + [163] = {.entry = {.count = 1, .reusable = true}}, SHIFT(71), + [165] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_definition, 7, 0, 2), + [167] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_fixity, 4, 0, 0), + [169] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_preprocess, 2, 0, 0), + [171] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_variable, 3, 0, 0), + [173] = {.entry = {.count = 1, .reusable = false}}, REDUCE(sym_square, 1, 0, 0), + [175] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_axiom, 5, 0, 2), + [177] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_axiom, 4, 0, 2), + [179] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_section, 5, 0, 0), + [181] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_definition, 6, 0, 2), + [183] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_definition, 5, 0, 2), + [185] = {.entry = {.count = 1, .reusable = false}}, REDUCE(sym_term, 1, 0, 0), + [187] = {.entry = {.count = 1, .reusable = false}}, REDUCE(sym_op_section, 3, 0, 0), + [189] = {.entry = {.count = 1, .reusable = false}}, REDUCE(sym_term, 3, 0, 0), + [191] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_labs_repeat1, 2, 0, 0), SHIFT_REPEAT(120), + [194] = {.entry = {.count = 1, .reusable = false}}, REDUCE(aux_sym_labs_repeat1, 2, 0, 0), + [196] = {.entry = {.count = 1, .reusable = true}}, REDUCE(aux_sym_labs_repeat1, 2, 0, 0), + [198] = {.entry = {.count = 1, .reusable = false}}, REDUCE(sym_sort, 2, 0, 0), + [200] = {.entry = {.count = 1, .reusable = true}}, SHIFT(120), + [202] = {.entry = {.count = 1, .reusable = false}}, SHIFT(4), + [204] = {.entry = {.count = 1, .reusable = true}}, SHIFT(17), + [206] = {.entry = {.count = 1, .reusable = true}}, SHIFT(8), + [208] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_app_term, 1, 0, 0), + [210] = {.entry = {.count = 1, .reusable = true}}, SHIFT(6), + [212] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_labs, 4, 0, 0), + [214] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_expr, 1, 0, 0), + [216] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_pabs, 4, 0, 0), + [218] = {.entry = {.count = 1, .reusable = true}}, SHIFT(37), + [220] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_binex, 1, 0, 0), + [222] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_let, 5, 0, 0), + [224] = {.entry = {.count = 1, .reusable = true}}, SHIFT(15), + [226] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_param_block, 5, 0, 4), + [228] = {.entry = {.count = 1, .reusable = false}}, REDUCE(sym_param_block, 5, 0, 4), + [230] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_binex, 3, 0, 0), + [232] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_arrow, 3, 0, 0), + [234] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_labs_alt, 6, 0, 4), + [236] = {.entry = {.count = 1, .reusable = true}}, SHIFT(23), + [238] = {.entry = {.count = 1, .reusable = true}}, SHIFT(24), + [240] = {.entry = {.count = 1, .reusable = true}}, SHIFT(4), + [242] = {.entry = {.count = 1, .reusable = true}}, SHIFT(12), + [244] = {.entry = {.count = 1, .reusable = true}}, SHIFT(10), + [246] = {.entry = {.count = 1, .reusable = true}}, SHIFT(20), + [248] = {.entry = {.count = 1, .reusable = true}}, REDUCE(aux_sym_variable_repeat1, 2, 0, 0), + [250] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_variable_repeat1, 2, 0, 0), SHIFT_REPEAT(106), + [253] = {.entry = {.count = 1, .reusable = true}}, SHIFT(97), + [255] = {.entry = {.count = 1, .reusable = true}}, SHIFT(7), + [257] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_variable_binding_repeat1, 2, 0, 0), SHIFT_REPEAT(97), + [260] = {.entry = {.count = 1, .reusable = true}}, REDUCE(aux_sym_variable_binding_repeat1, 2, 0, 0), + [262] = {.entry = {.count = 1, .reusable = true}}, SHIFT(26), + [264] = {.entry = {.count = 1, .reusable = true}}, SHIFT(171), + [266] = {.entry = {.count = 1, .reusable = true}}, SHIFT(14), + [268] = {.entry = {.count = 1, .reusable = true}}, SHIFT(53), + [270] = {.entry = {.count = 1, .reusable = true}}, SHIFT(106), + [272] = {.entry = {.count = 1, .reusable = true}}, SHIFT(50), + [274] = {.entry = {.count = 1, .reusable = true}}, SHIFT(21), + [276] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_let_repeat1, 2, 0, 0), SHIFT_REPEAT(171), + [279] = {.entry = {.count = 1, .reusable = true}}, REDUCE(aux_sym_let_repeat1, 2, 0, 0), + [281] = {.entry = {.count = 1, .reusable = true}}, SHIFT(107), + [283] = {.entry = {.count = 1, .reusable = true}}, SHIFT(5), + [285] = {.entry = {.count = 1, .reusable = true}}, SHIFT(13), + [287] = {.entry = {.count = 1, .reusable = true}}, SHIFT(96), + [289] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_param_block_repeat1, 2, 0, 0), SHIFT_REPEAT(107), + [292] = {.entry = {.count = 1, .reusable = true}}, REDUCE(aux_sym_param_block_repeat1, 2, 0, 0), + [294] = {.entry = {.count = 1, .reusable = true}}, SHIFT(9), + [296] = {.entry = {.count = 1, .reusable = true}}, SHIFT(39), + [298] = {.entry = {.count = 1, .reusable = true}}, SHIFT(75), + [300] = {.entry = {.count = 1, .reusable = true}}, SHIFT(104), + [302] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_variable_binding, 5, 0, 3), + [304] = {.entry = {.count = 1, .reusable = true}}, SHIFT(108), + [306] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_binding, 5, 0, 0), + [308] = {.entry = {.count = 1, .reusable = true}}, SHIFT(19), + [310] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_binding, 6, 0, 0), + [312] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_binding, 7, 0, 0), + [314] = {.entry = {.count = 1, .reusable = true}}, SHIFT(92), + [316] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_ascription, 2, 0, 1), + [318] = {.entry = {.count = 1, .reusable = true}}, SHIFT(105), + [320] = {.entry = {.count = 1, .reusable = true}}, SHIFT(93), + [322] = {.entry = {.count = 1, .reusable = true}}, SHIFT(86), + [324] = {.entry = {.count = 1, .reusable = true}}, SHIFT(121), + [326] = {.entry = {.count = 1, .reusable = true}}, SHIFT(58), + [328] = {.entry = {.count = 1, .reusable = true}}, SHIFT(27), + [330] = {.entry = {.count = 1, .reusable = false}}, SHIFT_EXTRA(), + [332] = {.entry = {.count = 1, .reusable = false}}, SHIFT(49), + [334] = {.entry = {.count = 1, .reusable = true}}, SHIFT(123), + [336] = {.entry = {.count = 1, .reusable = true}}, SHIFT(51), + [338] = {.entry = {.count = 1, .reusable = true}}, SHIFT(55), + [340] = {.entry = {.count = 1, .reusable = true}}, SHIFT(56), + [342] = {.entry = {.count = 1, .reusable = true}}, ACCEPT_INPUT(), + [344] = {.entry = {.count = 1, .reusable = true}}, SHIFT(59), + [346] = {.entry = {.count = 1, .reusable = true}}, SHIFT(60), + [348] = {.entry = {.count = 1, .reusable = true}}, SHIFT(68), + [350] = {.entry = {.count = 1, .reusable = true}}, SHIFT(69), + [352] = {.entry = {.count = 1, .reusable = true}}, SHIFT(155), + [354] = {.entry = {.count = 1, .reusable = true}}, SHIFT(124), + [356] = {.entry = {.count = 1, .reusable = true}}, SHIFT(64), + [358] = {.entry = {.count = 1, .reusable = true}}, SHIFT(65), + [360] = {.entry = {.count = 1, .reusable = true}}, SHIFT(22), + [362] = {.entry = {.count = 1, .reusable = true}}, SHIFT(16), + [364] = {.entry = {.count = 1, .reusable = true}}, SHIFT(136), + [366] = {.entry = {.count = 1, .reusable = true}}, SHIFT(11), + [368] = {.entry = {.count = 1, .reusable = true}}, SHIFT(138), + [370] = {.entry = {.count = 1, .reusable = true}}, SHIFT(62), + [372] = {.entry = {.count = 1, .reusable = true}}, SHIFT(166), + [374] = {.entry = {.count = 1, .reusable = true}}, SHIFT(119), + [376] = {.entry = {.count = 1, .reusable = true}}, SHIFT(54), + [378] = {.entry = {.count = 1, .reusable = true}}, SHIFT(57), + [380] = {.entry = {.count = 1, .reusable = true}}, SHIFT(44), + [382] = {.entry = {.count = 1, .reusable = true}}, SHIFT(45), + [384] = {.entry = {.count = 1, .reusable = true}}, SHIFT(151), + [386] = {.entry = {.count = 1, .reusable = true}}, SHIFT(18), + [388] = {.entry = {.count = 1, .reusable = true}}, SHIFT(80), + [390] = {.entry = {.count = 1, .reusable = true}}, SHIFT(173), + [392] = {.entry = {.count = 1, .reusable = true}}, SHIFT(48), + [394] = {.entry = {.count = 1, .reusable = true}}, SHIFT(47), + [396] = {.entry = {.count = 1, .reusable = true}}, SHIFT(25), + [398] = {.entry = {.count = 1, .reusable = false}}, SHIFT(63), + [400] = {.entry = {.count = 1, .reusable = true}}, SHIFT(30), + [402] = {.entry = {.count = 1, .reusable = true}}, SHIFT(81), + [404] = {.entry = {.count = 1, .reusable = true}}, SHIFT(82), + [406] = {.entry = {.count = 1, .reusable = true}}, SHIFT(61), }; #ifdef __cplusplus diff --git a/test/corpus/labs.txt b/test/corpus/labs.txt index 0ad4470..4c07757 100644 --- a/test/corpus/labs.txt +++ b/test/corpus/labs.txt @@ -2,7 +2,8 @@ Lambda Abstraction ================== -def foo := fun (A : ★) (x : A) : A => x; +def foo := fun (A B : ★) (x : A) (y : B) => x; +def bar := [A B : ★][x : A][y : B] x; ---------- @@ -13,6 +14,7 @@ def foo := fun (A : ★) (x : A) : A => x; (app_term (labs (param_block + (identifier) (identifier) (expr (app_term @@ -29,7 +31,8 @@ def foo := fun (A : ★) (x : A) : A => x; (app (term (identifier))))))) - (ascription + (param_block + (identifier) (expr (app_term (binex @@ -41,4 +44,44 @@ def foo := fun (A : ★) (x : A) : A => x; (binex (app (term - (identifier))))))))))) + (identifier)))))))))) + (definition + (identifier) + (expr + (app_term + (labs_alt + (identifier) + (identifier) + (expr + (app_term + (binex + (app + (term + (sort + (star))))))) + (expr + (app_term + (labs_alt + (identifier) + (expr + (app_term + (binex + (app + (term + (identifier)))))) + (expr + (app_term + (labs_alt + (identifier) + (expr + (app_term + (binex + (app + (term + (identifier)))))) + (expr + (app_term + (binex + (app + (term + (identifier)))))))))))))))))