ANFLexer.interp (5943B)
1 token literal names: 2 null 3 'def' 4 '(' 5 ',' 6 ')' 7 ':' 8 'true' 9 'false' 10 '+' 11 '-' 12 '*' 13 '/' 14 '>' 15 '<' 16 '==' 17 '<<' 18 '>>' 19 '&&' 20 '||' 21 '^^' 22 'let' 23 '=' 24 'in' 25 'if' 26 'then' 27 'else' 28 null 29 null 30 null 31 null 32 33 token symbolic names: 34 null 35 null 36 null 37 null 38 null 39 null 40 null 41 null 42 null 43 null 44 null 45 null 46 null 47 null 48 null 49 null 50 null 51 null 52 null 53 null 54 null 55 null 56 null 57 null 58 null 59 null 60 IDENT 61 NUMBER 62 STRING 63 WS 64 65 rule names: 66 T__0 67 T__1 68 T__2 69 T__3 70 T__4 71 T__5 72 T__6 73 T__7 74 T__8 75 T__9 76 T__10 77 T__11 78 T__12 79 T__13 80 T__14 81 T__15 82 T__16 83 T__17 84 T__18 85 T__19 86 T__20 87 T__21 88 T__22 89 T__23 90 T__24 91 IDENT 92 NUMBER 93 STRING 94 Letter 95 Digit 96 WS 97 98 channel names: 99 DEFAULT_TOKEN_CHANNEL 100 HIDDEN 101 102 mode names: 103 DEFAULT_MODE 104 105 atn: 106 [4, 0, 29, 173, 6, -1, 2, 0, 7, 0, 2, 1, 7, 1, 2, 2, 7, 2, 2, 3, 7, 3, 2, 4, 7, 4, 2, 5, 7, 5, 2, 6, 7, 6, 2, 7, 7, 7, 2, 8, 7, 8, 2, 9, 7, 9, 2, 10, 7, 10, 2, 11, 7, 11, 2, 12, 7, 12, 2, 13, 7, 13, 2, 14, 7, 14, 2, 15, 7, 15, 2, 16, 7, 16, 2, 17, 7, 17, 2, 18, 7, 18, 2, 19, 7, 19, 2, 20, 7, 20, 2, 21, 7, 21, 2, 22, 7, 22, 2, 23, 7, 23, 2, 24, 7, 24, 2, 25, 7, 25, 2, 26, 7, 26, 2, 27, 7, 27, 2, 28, 7, 28, 2, 29, 7, 29, 2, 30, 7, 30, 1, 0, 1, 0, 1, 0, 1, 0, 1, 1, 1, 1, 1, 2, 1, 2, 1, 3, 1, 3, 1, 4, 1, 4, 1, 5, 1, 5, 1, 5, 1, 5, 1, 5, 1, 6, 1, 6, 1, 6, 1, 6, 1, 6, 1, 6, 1, 7, 1, 7, 1, 8, 1, 8, 1, 9, 1, 9, 1, 10, 1, 10, 1, 11, 1, 11, 1, 12, 1, 12, 1, 13, 1, 13, 1, 13, 1, 14, 1, 14, 1, 14, 1, 15, 1, 15, 1, 15, 1, 16, 1, 16, 1, 16, 1, 17, 1, 17, 1, 17, 1, 18, 1, 18, 1, 18, 1, 19, 1, 19, 1, 19, 1, 19, 1, 20, 1, 20, 1, 21, 1, 21, 1, 21, 1, 22, 1, 22, 1, 22, 1, 23, 1, 23, 1, 23, 1, 23, 1, 23, 1, 24, 1, 24, 1, 24, 1, 24, 1, 24, 1, 25, 1, 25, 1, 25, 5, 25, 142, 8, 25, 10, 25, 12, 25, 145, 9, 25, 1, 26, 4, 26, 148, 8, 26, 11, 26, 12, 26, 149, 1, 27, 1, 27, 1, 27, 1, 27, 5, 27, 156, 8, 27, 10, 27, 12, 27, 159, 9, 27, 1, 27, 1, 27, 1, 28, 1, 28, 1, 29, 1, 29, 1, 30, 4, 30, 168, 8, 30, 11, 30, 12, 30, 169, 1, 30, 1, 30, 0, 0, 31, 1, 1, 3, 2, 5, 3, 7, 4, 9, 5, 11, 6, 13, 7, 15, 8, 17, 9, 19, 10, 21, 11, 23, 12, 25, 13, 27, 14, 29, 15, 31, 16, 33, 17, 35, 18, 37, 19, 39, 20, 41, 21, 43, 22, 45, 23, 47, 24, 49, 25, 51, 26, 53, 27, 55, 28, 57, 0, 59, 0, 61, 29, 1, 0, 3, 2, 0, 34, 34, 94, 94, 2, 0, 65, 90, 97, 122, 3, 0, 9, 10, 13, 13, 32, 32, 176, 0, 1, 1, 0, 0, 0, 0, 3, 1, 0, 0, 0, 0, 5, 1, 0, 0, 0, 0, 7, 1, 0, 0, 0, 0, 9, 1, 0, 0, 0, 0, 11, 1, 0, 0, 0, 0, 13, 1, 0, 0, 0, 0, 15, 1, 0, 0, 0, 0, 17, 1, 0, 0, 0, 0, 19, 1, 0, 0, 0, 0, 21, 1, 0, 0, 0, 0, 23, 1, 0, 0, 0, 0, 25, 1, 0, 0, 0, 0, 27, 1, 0, 0, 0, 0, 29, 1, 0, 0, 0, 0, 31, 1, 0, 0, 0, 0, 33, 1, 0, 0, 0, 0, 35, 1, 0, 0, 0, 0, 37, 1, 0, 0, 0, 0, 39, 1, 0, 0, 0, 0, 41, 1, 0, 0, 0, 0, 43, 1, 0, 0, 0, 0, 45, 1, 0, 0, 0, 0, 47, 1, 0, 0, 0, 0, 49, 1, 0, 0, 0, 0, 51, 1, 0, 0, 0, 0, 53, 1, 0, 0, 0, 0, 55, 1, 0, 0, 0, 0, 61, 1, 0, 0, 0, 1, 63, 1, 0, 0, 0, 3, 67, 1, 0, 0, 0, 5, 69, 1, 0, 0, 0, 7, 71, 1, 0, 0, 0, 9, 73, 1, 0, 0, 0, 11, 75, 1, 0, 0, 0, 13, 80, 1, 0, 0, 0, 15, 86, 1, 0, 0, 0, 17, 88, 1, 0, 0, 0, 19, 90, 1, 0, 0, 0, 21, 92, 1, 0, 0, 0, 23, 94, 1, 0, 0, 0, 25, 96, 1, 0, 0, 0, 27, 98, 1, 0, 0, 0, 29, 101, 1, 0, 0, 0, 31, 104, 1, 0, 0, 0, 33, 107, 1, 0, 0, 0, 35, 110, 1, 0, 0, 0, 37, 113, 1, 0, 0, 0, 39, 116, 1, 0, 0, 0, 41, 120, 1, 0, 0, 0, 43, 122, 1, 0, 0, 0, 45, 125, 1, 0, 0, 0, 47, 128, 1, 0, 0, 0, 49, 133, 1, 0, 0, 0, 51, 138, 1, 0, 0, 0, 53, 147, 1, 0, 0, 0, 55, 151, 1, 0, 0, 0, 57, 162, 1, 0, 0, 0, 59, 164, 1, 0, 0, 0, 61, 167, 1, 0, 0, 0, 63, 64, 5, 100, 0, 0, 64, 65, 5, 101, 0, 0, 65, 66, 5, 102, 0, 0, 66, 2, 1, 0, 0, 0, 67, 68, 5, 40, 0, 0, 68, 4, 1, 0, 0, 0, 69, 70, 5, 44, 0, 0, 70, 6, 1, 0, 0, 0, 71, 72, 5, 41, 0, 0, 72, 8, 1, 0, 0, 0, 73, 74, 5, 58, 0, 0, 74, 10, 1, 0, 0, 0, 75, 76, 5, 116, 0, 0, 76, 77, 5, 114, 0, 0, 77, 78, 5, 117, 0, 0, 78, 79, 5, 101, 0, 0, 79, 12, 1, 0, 0, 0, 80, 81, 5, 102, 0, 0, 81, 82, 5, 97, 0, 0, 82, 83, 5, 108, 0, 0, 83, 84, 5, 115, 0, 0, 84, 85, 5, 101, 0, 0, 85, 14, 1, 0, 0, 0, 86, 87, 5, 43, 0, 0, 87, 16, 1, 0, 0, 0, 88, 89, 5, 45, 0, 0, 89, 18, 1, 0, 0, 0, 90, 91, 5, 42, 0, 0, 91, 20, 1, 0, 0, 0, 92, 93, 5, 47, 0, 0, 93, 22, 1, 0, 0, 0, 94, 95, 5, 62, 0, 0, 95, 24, 1, 0, 0, 0, 96, 97, 5, 60, 0, 0, 97, 26, 1, 0, 0, 0, 98, 99, 5, 61, 0, 0, 99, 100, 5, 61, 0, 0, 100, 28, 1, 0, 0, 0, 101, 102, 5, 60, 0, 0, 102, 103, 5, 60, 0, 0, 103, 30, 1, 0, 0, 0, 104, 105, 5, 62, 0, 0, 105, 106, 5, 62, 0, 0, 106, 32, 1, 0, 0, 0, 107, 108, 5, 38, 0, 0, 108, 109, 5, 38, 0, 0, 109, 34, 1, 0, 0, 0, 110, 111, 5, 124, 0, 0, 111, 112, 5, 124, 0, 0, 112, 36, 1, 0, 0, 0, 113, 114, 5, 94, 0, 0, 114, 115, 5, 94, 0, 0, 115, 38, 1, 0, 0, 0, 116, 117, 5, 108, 0, 0, 117, 118, 5, 101, 0, 0, 118, 119, 5, 116, 0, 0, 119, 40, 1, 0, 0, 0, 120, 121, 5, 61, 0, 0, 121, 42, 1, 0, 0, 0, 122, 123, 5, 105, 0, 0, 123, 124, 5, 110, 0, 0, 124, 44, 1, 0, 0, 0, 125, 126, 5, 105, 0, 0, 126, 127, 5, 102, 0, 0, 127, 46, 1, 0, 0, 0, 128, 129, 5, 116, 0, 0, 129, 130, 5, 104, 0, 0, 130, 131, 5, 101, 0, 0, 131, 132, 5, 110, 0, 0, 132, 48, 1, 0, 0, 0, 133, 134, 5, 101, 0, 0, 134, 135, 5, 108, 0, 0, 135, 136, 5, 115, 0, 0, 136, 137, 5, 101, 0, 0, 137, 50, 1, 0, 0, 0, 138, 143, 3, 57, 28, 0, 139, 142, 3, 57, 28, 0, 140, 142, 3, 59, 29, 0, 141, 139, 1, 0, 0, 0, 141, 140, 1, 0, 0, 0, 142, 145, 1, 0, 0, 0, 143, 141, 1, 0, 0, 0, 143, 144, 1, 0, 0, 0, 144, 52, 1, 0, 0, 0, 145, 143, 1, 0, 0, 0, 146, 148, 3, 59, 29, 0, 147, 146, 1, 0, 0, 0, 148, 149, 1, 0, 0, 0, 149, 147, 1, 0, 0, 0, 149, 150, 1, 0, 0, 0, 150, 54, 1, 0, 0, 0, 151, 157, 5, 34, 0, 0, 152, 156, 7, 0, 0, 0, 153, 154, 5, 92, 0, 0, 154, 156, 9, 0, 0, 0, 155, 152, 1, 0, 0, 0, 155, 153, 1, 0, 0, 0, 156, 159, 1, 0, 0, 0, 157, 155, 1, 0, 0, 0, 157, 158, 1, 0, 0, 0, 158, 160, 1, 0, 0, 0, 159, 157, 1, 0, 0, 0, 160, 161, 5, 34, 0, 0, 161, 56, 1, 0, 0, 0, 162, 163, 7, 1, 0, 0, 163, 58, 1, 0, 0, 0, 164, 165, 2, 48, 57, 0, 165, 60, 1, 0, 0, 0, 166, 168, 7, 2, 0, 0, 167, 166, 1, 0, 0, 0, 168, 169, 1, 0, 0, 0, 169, 167, 1, 0, 0, 0, 169, 170, 1, 0, 0, 0, 170, 171, 1, 0, 0, 0, 171, 172, 6, 30, 0, 0, 172, 62, 1, 0, 0, 0, 7, 0, 141, 143, 149, 155, 157, 169, 1, 6, 0, 0]