3 "type": "add_expression",
11 "type": "add_expression",
15 "type": "and_expression",
19 "type": "application_expression",
23 "type": "boolean_literal",
27 "type": "bytes_literal",
31 "type": "comparison_expression",
35 "type": "concat_expression",
39 "type": "constructor_expression",
43 "type": "derived_ref",
47 "type": "equality_expression",
51 "type": "field_access_expression",
55 "type": "float_literal",
59 "type": "integer_literal",
63 "type": "list_expression",
67 "type": "mul_expression",
71 "type": "negation_expression",
75 "type": "not_expression",
79 "type": "or_expression",
83 "type": "parenthesized_expression",
87 "type": "pipe_expression",
91 "type": "record_expression",
95 "type": "record_update_expression",
103 "type": "string_literal",
107 "type": "temporal_expression",
111 "type": "variable_expression",
118 "type": "and_expression",
126 "type": "add_expression",
130 "type": "and_expression",
134 "type": "application_expression",
138 "type": "boolean_literal",
142 "type": "bytes_literal",
146 "type": "comparison_expression",
150 "type": "concat_expression",
154 "type": "constructor_expression",
158 "type": "derived_ref",
162 "type": "equality_expression",
166 "type": "field_access_expression",
170 "type": "float_literal",
174 "type": "integer_literal",
178 "type": "list_expression",
182 "type": "mul_expression",
186 "type": "negation_expression",
190 "type": "not_expression",
194 "type": "or_expression",
198 "type": "parenthesized_expression",
202 "type": "pipe_expression",
206 "type": "record_expression",
210 "type": "record_update_expression",
214 "type": "source_ref",
218 "type": "string_literal",
222 "type": "temporal_expression",
226 "type": "variable_expression",
233 "type": "application_expression",
241 "type": "application_expression",
245 "type": "boolean_literal",
249 "type": "bytes_literal",
253 "type": "constructor_expression",
257 "type": "derived_ref",
261 "type": "field_access_expression",
265 "type": "float_literal",
269 "type": "integer_literal",
273 "type": "list_expression",
277 "type": "parenthesized_expression",
281 "type": "record_expression",
285 "type": "record_update_expression",
289 "type": "source_ref",
293 "type": "string_literal",
297 "type": "temporal_expression",
301 "type": "variable_expression",
308 "type": "atomic_expression",
316 "type": "add_expression",
320 "type": "and_expression",
324 "type": "application_expression",
328 "type": "atomic_expression",
332 "type": "boolean_literal",
336 "type": "bytes_literal",
340 "type": "case_expression",
344 "type": "comparison_expression",
348 "type": "concat_expression",
352 "type": "constructor_expression",
356 "type": "derived_ref",
360 "type": "do_expression",
364 "type": "equality_expression",
368 "type": "field_access_expression",
372 "type": "float_literal",
376 "type": "replace_set_expression",
380 "type": "if_expression",
384 "type": "integer_literal",
388 "type": "lambda_expression",
392 "type": "let_in_expression",
396 "type": "list_expression",
400 "type": "mul_expression",
404 "type": "negation_expression",
408 "type": "not_expression",
412 "type": "or_expression",
416 "type": "parenthesized_expression",
420 "type": "pipe_expression",
424 "type": "record_expression",
428 "type": "record_update_expression",
432 "type": "set_expression",
436 "type": "source_ref",
440 "type": "string_literal",
444 "type": "temporal_expression",
448 "type": "variable_expression",
452 "type": "yield_expression",
460 "type": "bind_statement",
468 "type": "constructor_pattern",
472 "type": "list_pattern",
476 "type": "parenthesized_pattern",
480 "type": "record_pattern",
484 "type": "variable_pattern",
488 "type": "wildcard_pattern",
498 "type": "add_expression",
502 "type": "and_expression",
506 "type": "application_expression",
510 "type": "atomic_expression",
514 "type": "boolean_literal",
518 "type": "bytes_literal",
522 "type": "case_expression",
526 "type": "comparison_expression",
530 "type": "concat_expression",
534 "type": "constructor_expression",
538 "type": "derived_ref",
542 "type": "do_expression",
546 "type": "equality_expression",
550 "type": "field_access_expression",
554 "type": "float_literal",
558 "type": "replace_set_expression",
562 "type": "if_expression",
566 "type": "integer_literal",
570 "type": "lambda_expression",
574 "type": "let_in_expression",
578 "type": "list_expression",
582 "type": "mul_expression",
586 "type": "negation_expression",
590 "type": "not_expression",
594 "type": "or_expression",
598 "type": "parenthesized_expression",
602 "type": "pipe_expression",
606 "type": "record_expression",
610 "type": "record_update_expression",
614 "type": "set_expression",
618 "type": "source_ref",
622 "type": "string_literal",
626 "type": "temporal_expression",
630 "type": "variable_expression",
634 "type": "yield_expression",
642 "type": "boolean_literal",
647 "type": "bytes_literal",
655 "type": "escape_sequence",
659 "type": "string_content",
674 "type": "add_expression",
678 "type": "and_expression",
682 "type": "application_expression",
686 "type": "atomic_expression",
690 "type": "boolean_literal",
694 "type": "bytes_literal",
698 "type": "case_expression",
702 "type": "comparison_expression",
706 "type": "concat_expression",
710 "type": "constructor_expression",
714 "type": "derived_ref",
718 "type": "do_expression",
722 "type": "equality_expression",
726 "type": "field_access_expression",
730 "type": "float_literal",
734 "type": "replace_set_expression",
738 "type": "if_expression",
742 "type": "integer_literal",
746 "type": "lambda_expression",
750 "type": "let_in_expression",
754 "type": "list_expression",
758 "type": "mul_expression",
762 "type": "negation_expression",
766 "type": "not_expression",
770 "type": "or_expression",
774 "type": "parenthesized_expression",
778 "type": "pipe_expression",
782 "type": "record_expression",
786 "type": "record_update_expression",
790 "type": "set_expression",
794 "type": "source_ref",
798 "type": "string_literal",
802 "type": "temporal_expression",
806 "type": "variable_expression",
810 "type": "yield_expression",
820 "type": "constructor_pattern",
824 "type": "list_pattern",
828 "type": "literal_pattern",
832 "type": "parenthesized_pattern",
836 "type": "record_pattern",
840 "type": "variable_pattern",
844 "type": "wildcard_pattern",
852 "type": "case_expression",
860 "type": "add_expression",
864 "type": "and_expression",
868 "type": "application_expression",
872 "type": "atomic_expression",
876 "type": "boolean_literal",
880 "type": "bytes_literal",
884 "type": "case_expression",
888 "type": "comparison_expression",
892 "type": "concat_expression",
896 "type": "constructor_expression",
900 "type": "derived_ref",
904 "type": "do_expression",
908 "type": "equality_expression",
912 "type": "field_access_expression",
916 "type": "float_literal",
920 "type": "replace_set_expression",
924 "type": "if_expression",
928 "type": "integer_literal",
932 "type": "lambda_expression",
936 "type": "let_in_expression",
940 "type": "list_expression",
944 "type": "mul_expression",
948 "type": "negation_expression",
952 "type": "not_expression",
956 "type": "or_expression",
960 "type": "parenthesized_expression",
964 "type": "pipe_expression",
968 "type": "record_expression",
972 "type": "record_update_expression",
976 "type": "set_expression",
980 "type": "source_ref",
984 "type": "string_literal",
988 "type": "temporal_expression",
992 "type": "variable_expression",
996 "type": "yield_expression",
1014 "type": "comparison_expression",
1022 "type": "add_expression",
1026 "type": "and_expression",
1030 "type": "application_expression",
1034 "type": "boolean_literal",
1038 "type": "bytes_literal",
1042 "type": "comparison_expression",
1046 "type": "concat_expression",
1050 "type": "constructor_expression",
1054 "type": "derived_ref",
1058 "type": "equality_expression",
1062 "type": "field_access_expression",
1066 "type": "float_literal",
1070 "type": "integer_literal",
1074 "type": "list_expression",
1078 "type": "mul_expression",
1082 "type": "negation_expression",
1086 "type": "not_expression",
1090 "type": "or_expression",
1094 "type": "parenthesized_expression",
1098 "type": "pipe_expression",
1102 "type": "record_expression",
1106 "type": "record_update_expression",
1110 "type": "source_ref",
1114 "type": "string_literal",
1118 "type": "temporal_expression",
1122 "type": "variable_expression",
1129 "type": "concat_expression",
1137 "type": "add_expression",
1141 "type": "and_expression",
1145 "type": "application_expression",
1149 "type": "boolean_literal",
1153 "type": "bytes_literal",
1157 "type": "comparison_expression",
1161 "type": "concat_expression",
1165 "type": "constructor_expression",
1169 "type": "derived_ref",
1173 "type": "equality_expression",
1177 "type": "field_access_expression",
1181 "type": "float_literal",
1185 "type": "integer_literal",
1189 "type": "list_expression",
1193 "type": "mul_expression",
1197 "type": "negation_expression",
1201 "type": "not_expression",
1205 "type": "or_expression",
1209 "type": "parenthesized_expression",
1213 "type": "pipe_expression",
1217 "type": "record_expression",
1221 "type": "record_update_expression",
1225 "type": "source_ref",
1229 "type": "string_literal",
1233 "type": "temporal_expression",
1237 "type": "variable_expression",
1244 "type": "constraint",
1252 "type": "named_type",
1256 "type": "parenthesized_type",
1260 "type": "record_type",
1264 "type": "relation_type",
1268 "type": "type_hole",
1272 "type": "type_variable",
1276 "type": "upper_identifier",
1280 "type": "variant_type",
1287 "type": "constructor_def",
1295 "type": "record_type_body",
1305 "type": "upper_identifier",
1313 "type": "constructor_expression",
1321 "type": "upper_identifier",
1328 "type": "constructor_pattern",
1336 "type": "upper_identifier",
1346 "type": "list_pattern",
1350 "type": "literal_pattern",
1354 "type": "parenthesized_pattern",
1358 "type": "record_pattern",
1362 "type": "variable_pattern",
1366 "type": "wildcard_pattern",
1374 "type": "data_declaration",
1382 "type": "upper_identifier",
1392 "type": "lower_identifier",
1403 "type": "constructor_def",
1407 "type": "deriving_clause",
1414 "type": "derived_declaration",
1422 "type": "add_expression",
1426 "type": "and_expression",
1430 "type": "application_expression",
1434 "type": "atomic_expression",
1438 "type": "boolean_literal",
1442 "type": "bytes_literal",
1446 "type": "case_expression",
1450 "type": "comparison_expression",
1454 "type": "concat_expression",
1458 "type": "constructor_expression",
1462 "type": "derived_ref",
1466 "type": "do_expression",
1470 "type": "equality_expression",
1474 "type": "field_access_expression",
1478 "type": "float_literal",
1482 "type": "replace_set_expression",
1486 "type": "if_expression",
1490 "type": "integer_literal",
1494 "type": "lambda_expression",
1498 "type": "let_in_expression",
1502 "type": "list_expression",
1506 "type": "mul_expression",
1510 "type": "negation_expression",
1514 "type": "not_expression",
1518 "type": "or_expression",
1522 "type": "parenthesized_expression",
1526 "type": "pipe_expression",
1530 "type": "record_expression",
1534 "type": "record_update_expression",
1538 "type": "set_expression",
1542 "type": "source_ref",
1546 "type": "string_literal",
1550 "type": "temporal_expression",
1554 "type": "variable_expression",
1558 "type": "yield_expression",
1569 "type": "derived_ref",
1576 "type": "deriving_clause",
1584 "type": "upper_identifier",
1591 "type": "do_expression",
1599 "type": "add_expression",
1603 "type": "and_expression",
1607 "type": "application_expression",
1611 "type": "atomic_expression",
1615 "type": "bind_statement",
1619 "type": "boolean_literal",
1623 "type": "bytes_literal",
1627 "type": "case_expression",
1631 "type": "comparison_expression",
1635 "type": "concat_expression",
1639 "type": "constructor_expression",
1643 "type": "derived_ref",
1647 "type": "do_expression",
1651 "type": "equality_expression",
1655 "type": "field_access_expression",
1659 "type": "float_literal",
1663 "type": "replace_set_expression",
1667 "type": "if_expression",
1671 "type": "integer_literal",
1675 "type": "lambda_expression",
1679 "type": "let_in_expression",
1683 "type": "let_statement",
1687 "type": "list_expression",
1691 "type": "mul_expression",
1695 "type": "negation_expression",
1699 "type": "not_expression",
1703 "type": "or_expression",
1707 "type": "parenthesized_expression",
1711 "type": "pipe_expression",
1715 "type": "record_expression",
1719 "type": "record_update_expression",
1723 "type": "set_expression",
1727 "type": "source_ref",
1731 "type": "string_literal",
1735 "type": "temporal_expression",
1739 "type": "variable_expression",
1743 "type": "where_statement",
1747 "type": "yield_expression",
1762 "type": "lower_identifier",
1766 "type": "source_ref",
1773 "type": "equality_expression",
1781 "type": "add_expression",
1785 "type": "and_expression",
1789 "type": "application_expression",
1793 "type": "boolean_literal",
1797 "type": "bytes_literal",
1801 "type": "comparison_expression",
1805 "type": "concat_expression",
1809 "type": "constructor_expression",
1813 "type": "derived_ref",
1817 "type": "equality_expression",
1821 "type": "field_access_expression",
1825 "type": "float_literal",
1829 "type": "integer_literal",
1833 "type": "list_expression",
1837 "type": "mul_expression",
1841 "type": "negation_expression",
1845 "type": "not_expression",
1849 "type": "or_expression",
1853 "type": "parenthesized_expression",
1857 "type": "pipe_expression",
1861 "type": "record_expression",
1865 "type": "record_update_expression",
1869 "type": "source_ref",
1873 "type": "string_literal",
1877 "type": "temporal_expression",
1881 "type": "variable_expression",
1888 "type": "export_declaration",
1896 "type": "data_declaration",
1900 "type": "derived_declaration",
1904 "type": "fun_declaration",
1908 "type": "impl_declaration",
1912 "type": "migrate_declaration",
1916 "type": "route_composite_declaration",
1920 "type": "route_declaration",
1924 "type": "source_declaration",
1928 "type": "subset_constraint",
1932 "type": "trait_declaration",
1936 "type": "type_alias_declaration",
1940 "type": "view_declaration",
1947 "type": "field_access_expression",
1955 "type": "boolean_literal",
1959 "type": "bytes_literal",
1963 "type": "constructor_expression",
1967 "type": "derived_ref",
1971 "type": "field_access_expression",
1975 "type": "float_literal",
1979 "type": "integer_literal",
1983 "type": "list_expression",
1987 "type": "lower_identifier",
1991 "type": "parenthesized_expression",
1995 "type": "record_expression",
1999 "type": "record_update_expression",
2003 "type": "source_ref",
2007 "type": "string_literal",
2011 "type": "temporal_expression",
2015 "type": "variable_expression",
2022 "type": "field_pattern",
2030 "type": "lower_identifier",
2040 "type": "constructor_pattern",
2044 "type": "list_pattern",
2048 "type": "literal_pattern",
2052 "type": "parenthesized_pattern",
2056 "type": "record_pattern",
2060 "type": "variable_pattern",
2064 "type": "wildcard_pattern",
2075 "type": "lower_identifier",
2082 "type": "replace_set_expression",
2090 "type": "source_ref",
2100 "type": "add_expression",
2104 "type": "and_expression",
2108 "type": "application_expression",
2112 "type": "atomic_expression",
2116 "type": "boolean_literal",
2120 "type": "bytes_literal",
2124 "type": "case_expression",
2128 "type": "comparison_expression",
2132 "type": "concat_expression",
2136 "type": "constructor_expression",
2140 "type": "derived_ref",
2144 "type": "do_expression",
2148 "type": "equality_expression",
2152 "type": "field_access_expression",
2156 "type": "float_literal",
2160 "type": "replace_set_expression",
2164 "type": "if_expression",
2168 "type": "integer_literal",
2172 "type": "lambda_expression",
2176 "type": "let_in_expression",
2180 "type": "list_expression",
2184 "type": "mul_expression",
2188 "type": "negation_expression",
2192 "type": "not_expression",
2196 "type": "or_expression",
2200 "type": "parenthesized_expression",
2204 "type": "pipe_expression",
2208 "type": "record_expression",
2212 "type": "record_update_expression",
2216 "type": "set_expression",
2220 "type": "source_ref",
2224 "type": "string_literal",
2228 "type": "temporal_expression",
2232 "type": "variable_expression",
2236 "type": "yield_expression",
2244 "type": "fun_declaration",
2252 "type": "add_expression",
2256 "type": "and_expression",
2260 "type": "application_expression",
2264 "type": "atomic_expression",
2268 "type": "boolean_literal",
2272 "type": "bytes_literal",
2276 "type": "case_expression",
2280 "type": "comparison_expression",
2284 "type": "concat_expression",
2288 "type": "constructor_expression",
2292 "type": "derived_ref",
2296 "type": "do_expression",
2300 "type": "equality_expression",
2304 "type": "field_access_expression",
2308 "type": "float_literal",
2312 "type": "replace_set_expression",
2316 "type": "if_expression",
2320 "type": "integer_literal",
2324 "type": "lambda_expression",
2328 "type": "let_in_expression",
2332 "type": "list_expression",
2336 "type": "mul_expression",
2340 "type": "negation_expression",
2344 "type": "not_expression",
2348 "type": "or_expression",
2352 "type": "parenthesized_expression",
2356 "type": "pipe_expression",
2360 "type": "record_expression",
2364 "type": "record_update_expression",
2368 "type": "set_expression",
2372 "type": "source_ref",
2376 "type": "string_literal",
2380 "type": "temporal_expression",
2384 "type": "variable_expression",
2388 "type": "yield_expression",
2398 "type": "lower_identifier",
2408 "type": "type_scheme",
2416 "type": "function_type",
2424 "type": "named_type",
2428 "type": "parenthesized_type",
2432 "type": "record_type",
2436 "type": "relation_type",
2440 "type": "type_application",
2444 "type": "type_hole",
2448 "type": "type_variable",
2452 "type": "variant_type",
2462 "type": "function_type",
2466 "type": "named_type",
2470 "type": "parenthesized_type",
2474 "type": "record_type",
2478 "type": "relation_type",
2482 "type": "type_application",
2486 "type": "type_hole",
2490 "type": "type_variable",
2494 "type": "variant_type",
2502 "type": "http_method",
2507 "type": "if_expression",
2515 "type": "add_expression",
2519 "type": "and_expression",
2523 "type": "application_expression",
2527 "type": "atomic_expression",
2531 "type": "boolean_literal",
2535 "type": "bytes_literal",
2539 "type": "case_expression",
2543 "type": "comparison_expression",
2547 "type": "concat_expression",
2551 "type": "constructor_expression",
2555 "type": "derived_ref",
2559 "type": "do_expression",
2563 "type": "equality_expression",
2567 "type": "field_access_expression",
2571 "type": "float_literal",
2575 "type": "replace_set_expression",
2579 "type": "if_expression",
2583 "type": "integer_literal",
2587 "type": "lambda_expression",
2591 "type": "let_in_expression",
2595 "type": "list_expression",
2599 "type": "mul_expression",
2603 "type": "negation_expression",
2607 "type": "not_expression",
2611 "type": "or_expression",
2615 "type": "parenthesized_expression",
2619 "type": "pipe_expression",
2623 "type": "record_expression",
2627 "type": "record_update_expression",
2631 "type": "set_expression",
2635 "type": "source_ref",
2639 "type": "string_literal",
2643 "type": "temporal_expression",
2647 "type": "variable_expression",
2651 "type": "yield_expression",
2661 "type": "add_expression",
2665 "type": "and_expression",
2669 "type": "application_expression",
2673 "type": "atomic_expression",
2677 "type": "boolean_literal",
2681 "type": "bytes_literal",
2685 "type": "case_expression",
2689 "type": "comparison_expression",
2693 "type": "concat_expression",
2697 "type": "constructor_expression",
2701 "type": "derived_ref",
2705 "type": "do_expression",
2709 "type": "equality_expression",
2713 "type": "field_access_expression",
2717 "type": "float_literal",
2721 "type": "replace_set_expression",
2725 "type": "if_expression",
2729 "type": "integer_literal",
2733 "type": "lambda_expression",
2737 "type": "let_in_expression",
2741 "type": "list_expression",
2745 "type": "mul_expression",
2749 "type": "negation_expression",
2753 "type": "not_expression",
2757 "type": "or_expression",
2761 "type": "parenthesized_expression",
2765 "type": "pipe_expression",
2769 "type": "record_expression",
2773 "type": "record_update_expression",
2777 "type": "set_expression",
2781 "type": "source_ref",
2785 "type": "string_literal",
2789 "type": "temporal_expression",
2793 "type": "variable_expression",
2797 "type": "yield_expression",
2807 "type": "add_expression",
2811 "type": "and_expression",
2815 "type": "application_expression",
2819 "type": "atomic_expression",
2823 "type": "boolean_literal",
2827 "type": "bytes_literal",
2831 "type": "case_expression",
2835 "type": "comparison_expression",
2839 "type": "concat_expression",
2843 "type": "constructor_expression",
2847 "type": "derived_ref",
2851 "type": "do_expression",
2855 "type": "equality_expression",
2859 "type": "field_access_expression",
2863 "type": "float_literal",
2867 "type": "replace_set_expression",
2871 "type": "if_expression",
2875 "type": "integer_literal",
2879 "type": "lambda_expression",
2883 "type": "let_in_expression",
2887 "type": "list_expression",
2891 "type": "mul_expression",
2895 "type": "negation_expression",
2899 "type": "not_expression",
2903 "type": "or_expression",
2907 "type": "parenthesized_expression",
2911 "type": "pipe_expression",
2915 "type": "record_expression",
2919 "type": "record_update_expression",
2923 "type": "set_expression",
2927 "type": "source_ref",
2931 "type": "string_literal",
2935 "type": "temporal_expression",
2939 "type": "variable_expression",
2943 "type": "yield_expression",
2951 "type": "impl_associated_type",
2959 "type": "function_type",
2963 "type": "named_type",
2967 "type": "parenthesized_type",
2971 "type": "record_type",
2975 "type": "relation_type",
2979 "type": "type_application",
2983 "type": "type_hole",
2987 "type": "type_variable",
2991 "type": "upper_identifier",
2995 "type": "variant_type",
3002 "type": "impl_declaration",
3010 "type": "named_type",
3014 "type": "parenthesized_type",
3018 "type": "record_type",
3022 "type": "relation_type",
3026 "type": "type_hole",
3030 "type": "type_variable",
3034 "type": "variant_type",
3044 "type": "upper_identifier",
3055 "type": "constraint",
3059 "type": "impl_associated_type",
3063 "type": "impl_method",
3070 "type": "impl_method",
3078 "type": "add_expression",
3082 "type": "and_expression",
3086 "type": "application_expression",
3090 "type": "atomic_expression",
3094 "type": "boolean_literal",
3098 "type": "bytes_literal",
3102 "type": "case_expression",
3106 "type": "comparison_expression",
3110 "type": "concat_expression",
3114 "type": "constructor_expression",
3118 "type": "derived_ref",
3122 "type": "do_expression",
3126 "type": "equality_expression",
3130 "type": "field_access_expression",
3134 "type": "float_literal",
3138 "type": "replace_set_expression",
3142 "type": "if_expression",
3146 "type": "integer_literal",
3150 "type": "lambda_expression",
3154 "type": "let_in_expression",
3158 "type": "list_expression",
3162 "type": "mul_expression",
3166 "type": "negation_expression",
3170 "type": "not_expression",
3174 "type": "or_expression",
3178 "type": "parenthesized_expression",
3182 "type": "pipe_expression",
3186 "type": "record_expression",
3190 "type": "record_update_expression",
3194 "type": "set_expression",
3198 "type": "source_ref",
3202 "type": "string_literal",
3206 "type": "temporal_expression",
3210 "type": "variable_expression",
3214 "type": "yield_expression",
3224 "type": "lower_identifier",
3234 "type": "list_pattern",
3238 "type": "literal_pattern",
3242 "type": "parenthesized_pattern",
3246 "type": "record_pattern",
3250 "type": "variable_pattern",
3254 "type": "wildcard_pattern",
3262 "type": "import_declaration",
3270 "type": "import_path",
3281 "type": "import_item",
3288 "type": "import_item",
3296 "type": "lower_identifier",
3300 "type": "upper_identifier",
3307 "type": "import_path",
3315 "type": "lower_identifier",
3322 "type": "lambda_expression",
3330 "type": "add_expression",
3334 "type": "and_expression",
3338 "type": "application_expression",
3342 "type": "atomic_expression",
3346 "type": "boolean_literal",
3350 "type": "bytes_literal",
3354 "type": "case_expression",
3358 "type": "comparison_expression",
3362 "type": "concat_expression",
3366 "type": "constructor_expression",
3370 "type": "derived_ref",
3374 "type": "do_expression",
3378 "type": "equality_expression",
3382 "type": "field_access_expression",
3386 "type": "float_literal",
3390 "type": "replace_set_expression",
3394 "type": "if_expression",
3398 "type": "integer_literal",
3402 "type": "lambda_expression",
3406 "type": "let_in_expression",
3410 "type": "list_expression",
3414 "type": "mul_expression",
3418 "type": "negation_expression",
3422 "type": "not_expression",
3426 "type": "or_expression",
3430 "type": "parenthesized_expression",
3434 "type": "pipe_expression",
3438 "type": "record_expression",
3442 "type": "record_update_expression",
3446 "type": "set_expression",
3450 "type": "source_ref",
3454 "type": "string_literal",
3458 "type": "temporal_expression",
3462 "type": "variable_expression",
3466 "type": "yield_expression",
3477 "type": "list_pattern",
3481 "type": "literal_pattern",
3485 "type": "parenthesized_pattern",
3489 "type": "record_pattern",
3493 "type": "variable_pattern",
3497 "type": "wildcard_pattern",
3504 "type": "let_in_expression",
3512 "type": "add_expression",
3516 "type": "and_expression",
3520 "type": "application_expression",
3524 "type": "atomic_expression",
3528 "type": "boolean_literal",
3532 "type": "bytes_literal",
3536 "type": "case_expression",
3540 "type": "comparison_expression",
3544 "type": "concat_expression",
3548 "type": "constructor_expression",
3552 "type": "constructor_pattern",
3556 "type": "derived_ref",
3560 "type": "do_expression",
3564 "type": "equality_expression",
3568 "type": "field_access_expression",
3572 "type": "float_literal",
3576 "type": "replace_set_expression",
3580 "type": "if_expression",
3584 "type": "integer_literal",
3588 "type": "lambda_expression",
3592 "type": "let_in_expression",
3596 "type": "list_expression",
3600 "type": "list_pattern",
3604 "type": "literal_pattern",
3608 "type": "mul_expression",
3612 "type": "negation_expression",
3616 "type": "not_expression",
3620 "type": "or_expression",
3624 "type": "parenthesized_expression",
3628 "type": "parenthesized_pattern",
3632 "type": "pipe_expression",
3636 "type": "record_expression",
3640 "type": "record_pattern",
3644 "type": "record_update_expression",
3648 "type": "set_expression",
3652 "type": "source_ref",
3656 "type": "string_literal",
3660 "type": "temporal_expression",
3664 "type": "variable_expression",
3668 "type": "variable_pattern",
3672 "type": "wildcard_pattern",
3676 "type": "yield_expression",
3683 "type": "let_statement",
3691 "type": "constructor_pattern",
3695 "type": "list_pattern",
3699 "type": "literal_pattern",
3703 "type": "parenthesized_pattern",
3707 "type": "record_pattern",
3711 "type": "variable_pattern",
3715 "type": "wildcard_pattern",
3725 "type": "add_expression",
3729 "type": "and_expression",
3733 "type": "application_expression",
3737 "type": "atomic_expression",
3741 "type": "boolean_literal",
3745 "type": "bytes_literal",
3749 "type": "case_expression",
3753 "type": "comparison_expression",
3757 "type": "concat_expression",
3761 "type": "constructor_expression",
3765 "type": "derived_ref",
3769 "type": "do_expression",
3773 "type": "equality_expression",
3777 "type": "field_access_expression",
3781 "type": "float_literal",
3785 "type": "replace_set_expression",
3789 "type": "if_expression",
3793 "type": "integer_literal",
3797 "type": "lambda_expression",
3801 "type": "let_in_expression",
3805 "type": "list_expression",
3809 "type": "mul_expression",
3813 "type": "negation_expression",
3817 "type": "not_expression",
3821 "type": "or_expression",
3825 "type": "parenthesized_expression",
3829 "type": "pipe_expression",
3833 "type": "record_expression",
3837 "type": "record_update_expression",
3841 "type": "set_expression",
3845 "type": "source_ref",
3849 "type": "string_literal",
3853 "type": "temporal_expression",
3857 "type": "variable_expression",
3861 "type": "yield_expression",
3869 "type": "list_expression",
3877 "type": "add_expression",
3881 "type": "and_expression",
3885 "type": "application_expression",
3889 "type": "atomic_expression",
3893 "type": "boolean_literal",
3897 "type": "bytes_literal",
3901 "type": "case_expression",
3905 "type": "comparison_expression",
3909 "type": "concat_expression",
3913 "type": "constructor_expression",
3917 "type": "derived_ref",
3921 "type": "do_expression",
3925 "type": "equality_expression",
3929 "type": "field_access_expression",
3933 "type": "float_literal",
3937 "type": "replace_set_expression",
3941 "type": "if_expression",
3945 "type": "integer_literal",
3949 "type": "lambda_expression",
3953 "type": "let_in_expression",
3957 "type": "list_expression",
3961 "type": "mul_expression",
3965 "type": "negation_expression",
3969 "type": "not_expression",
3973 "type": "or_expression",
3977 "type": "parenthesized_expression",
3981 "type": "pipe_expression",
3985 "type": "record_expression",
3989 "type": "record_update_expression",
3993 "type": "set_expression",
3997 "type": "source_ref",
4001 "type": "string_literal",
4005 "type": "temporal_expression",
4009 "type": "variable_expression",
4013 "type": "yield_expression",
4020 "type": "list_pattern",
4028 "type": "constructor_pattern",
4032 "type": "list_pattern",
4036 "type": "literal_pattern",
4040 "type": "parenthesized_pattern",
4044 "type": "record_pattern",
4048 "type": "variable_pattern",
4052 "type": "wildcard_pattern",
4059 "type": "literal_pattern",
4067 "type": "boolean_literal",
4071 "type": "bytes_literal",
4075 "type": "float_literal",
4079 "type": "integer_literal",
4083 "type": "string_literal",
4090 "type": "migrate_declaration",
4098 "type": "function_type",
4102 "type": "named_type",
4106 "type": "parenthesized_type",
4110 "type": "record_type",
4114 "type": "relation_type",
4118 "type": "type_application",
4122 "type": "type_hole",
4126 "type": "type_variable",
4130 "type": "variant_type",
4140 "type": "source_ref",
4150 "type": "function_type",
4154 "type": "named_type",
4158 "type": "parenthesized_type",
4162 "type": "record_type",
4166 "type": "relation_type",
4170 "type": "type_application",
4174 "type": "type_hole",
4178 "type": "type_variable",
4182 "type": "variant_type",
4192 "type": "add_expression",
4196 "type": "and_expression",
4200 "type": "application_expression",
4204 "type": "atomic_expression",
4208 "type": "boolean_literal",
4212 "type": "bytes_literal",
4216 "type": "case_expression",
4220 "type": "comparison_expression",
4224 "type": "concat_expression",
4228 "type": "constructor_expression",
4232 "type": "derived_ref",
4236 "type": "do_expression",
4240 "type": "equality_expression",
4244 "type": "field_access_expression",
4248 "type": "float_literal",
4252 "type": "replace_set_expression",
4256 "type": "if_expression",
4260 "type": "integer_literal",
4264 "type": "lambda_expression",
4268 "type": "let_in_expression",
4272 "type": "list_expression",
4276 "type": "mul_expression",
4280 "type": "negation_expression",
4284 "type": "not_expression",
4288 "type": "or_expression",
4292 "type": "parenthesized_expression",
4296 "type": "pipe_expression",
4300 "type": "record_expression",
4304 "type": "record_update_expression",
4308 "type": "set_expression",
4312 "type": "source_ref",
4316 "type": "string_literal",
4320 "type": "temporal_expression",
4324 "type": "variable_expression",
4328 "type": "yield_expression",
4336 "type": "module_declaration",
4344 "type": "upper_identifier",
4352 "type": "mul_expression",
4360 "type": "add_expression",
4364 "type": "and_expression",
4368 "type": "application_expression",
4372 "type": "boolean_literal",
4376 "type": "bytes_literal",
4380 "type": "comparison_expression",
4384 "type": "concat_expression",
4388 "type": "constructor_expression",
4392 "type": "derived_ref",
4396 "type": "equality_expression",
4400 "type": "field_access_expression",
4404 "type": "float_literal",
4408 "type": "integer_literal",
4412 "type": "list_expression",
4416 "type": "mul_expression",
4420 "type": "negation_expression",
4424 "type": "not_expression",
4428 "type": "or_expression",
4432 "type": "parenthesized_expression",
4436 "type": "pipe_expression",
4440 "type": "record_expression",
4444 "type": "record_update_expression",
4448 "type": "source_ref",
4452 "type": "string_literal",
4456 "type": "temporal_expression",
4460 "type": "variable_expression",
4467 "type": "named_type",
4475 "type": "upper_identifier",
4482 "type": "negation_expression",
4490 "type": "application_expression",
4494 "type": "boolean_literal",
4498 "type": "bytes_literal",
4502 "type": "constructor_expression",
4506 "type": "derived_ref",
4510 "type": "field_access_expression",
4514 "type": "float_literal",
4518 "type": "integer_literal",
4522 "type": "list_expression",
4526 "type": "parenthesized_expression",
4530 "type": "record_expression",
4534 "type": "record_update_expression",
4538 "type": "source_ref",
4542 "type": "string_literal",
4546 "type": "temporal_expression",
4550 "type": "variable_expression",
4557 "type": "not_expression",
4565 "type": "application_expression",
4569 "type": "boolean_literal",
4573 "type": "bytes_literal",
4577 "type": "constructor_expression",
4581 "type": "derived_ref",
4585 "type": "field_access_expression",
4589 "type": "float_literal",
4593 "type": "integer_literal",
4597 "type": "list_expression",
4601 "type": "parenthesized_expression",
4605 "type": "record_expression",
4609 "type": "record_update_expression",
4613 "type": "source_ref",
4617 "type": "string_literal",
4621 "type": "temporal_expression",
4625 "type": "variable_expression",
4632 "type": "or_expression",
4640 "type": "add_expression",
4644 "type": "and_expression",
4648 "type": "application_expression",
4652 "type": "boolean_literal",
4656 "type": "bytes_literal",
4660 "type": "comparison_expression",
4664 "type": "concat_expression",
4668 "type": "constructor_expression",
4672 "type": "derived_ref",
4676 "type": "equality_expression",
4680 "type": "field_access_expression",
4684 "type": "float_literal",
4688 "type": "integer_literal",
4692 "type": "list_expression",
4696 "type": "mul_expression",
4700 "type": "negation_expression",
4704 "type": "not_expression",
4708 "type": "or_expression",
4712 "type": "parenthesized_expression",
4716 "type": "pipe_expression",
4720 "type": "record_expression",
4724 "type": "record_update_expression",
4728 "type": "source_ref",
4732 "type": "string_literal",
4736 "type": "temporal_expression",
4740 "type": "variable_expression",
4747 "type": "parenthesized_expression",
4755 "type": "add_expression",
4759 "type": "and_expression",
4763 "type": "application_expression",
4767 "type": "atomic_expression",
4771 "type": "boolean_literal",
4775 "type": "bytes_literal",
4779 "type": "case_expression",
4783 "type": "comparison_expression",
4787 "type": "concat_expression",
4791 "type": "constructor_expression",
4795 "type": "derived_ref",
4799 "type": "do_expression",
4803 "type": "equality_expression",
4807 "type": "field_access_expression",
4811 "type": "float_literal",
4815 "type": "replace_set_expression",
4819 "type": "if_expression",
4823 "type": "integer_literal",
4827 "type": "lambda_expression",
4831 "type": "let_in_expression",
4835 "type": "list_expression",
4839 "type": "mul_expression",
4843 "type": "negation_expression",
4847 "type": "not_expression",
4851 "type": "or_expression",
4855 "type": "parenthesized_expression",
4859 "type": "pipe_expression",
4863 "type": "record_expression",
4867 "type": "record_update_expression",
4871 "type": "set_expression",
4875 "type": "source_ref",
4879 "type": "string_literal",
4883 "type": "temporal_expression",
4887 "type": "variable_expression",
4891 "type": "yield_expression",
4898 "type": "parenthesized_pattern",
4906 "type": "constructor_pattern",
4910 "type": "list_pattern",
4914 "type": "literal_pattern",
4918 "type": "parenthesized_pattern",
4922 "type": "record_pattern",
4926 "type": "variable_pattern",
4930 "type": "wildcard_pattern",
4937 "type": "parenthesized_type",
4945 "type": "function_type",
4949 "type": "named_type",
4953 "type": "parenthesized_type",
4957 "type": "record_type",
4961 "type": "relation_type",
4965 "type": "type_application",
4969 "type": "type_hole",
4973 "type": "type_variable",
4977 "type": "variant_type",
4984 "type": "pipe_expression",
4992 "type": "add_expression",
4996 "type": "and_expression",
5000 "type": "application_expression",
5004 "type": "boolean_literal",
5008 "type": "bytes_literal",
5012 "type": "comparison_expression",
5016 "type": "concat_expression",
5020 "type": "constructor_expression",
5024 "type": "derived_ref",
5028 "type": "equality_expression",
5032 "type": "field_access_expression",
5036 "type": "float_literal",
5040 "type": "integer_literal",
5044 "type": "list_expression",
5048 "type": "mul_expression",
5052 "type": "negation_expression",
5056 "type": "not_expression",
5060 "type": "or_expression",
5064 "type": "parenthesized_expression",
5068 "type": "pipe_expression",
5072 "type": "record_expression",
5076 "type": "record_update_expression",
5080 "type": "source_ref",
5084 "type": "string_literal",
5088 "type": "temporal_expression",
5092 "type": "variable_expression",
5099 "type": "record_expression",
5107 "type": "record_field",
5114 "type": "record_field",
5122 "type": "lower_identifier",
5132 "type": "add_expression",
5136 "type": "and_expression",
5140 "type": "application_expression",
5144 "type": "atomic_expression",
5148 "type": "boolean_literal",
5152 "type": "bytes_literal",
5156 "type": "case_expression",
5160 "type": "comparison_expression",
5164 "type": "concat_expression",
5168 "type": "constructor_expression",
5172 "type": "derived_ref",
5176 "type": "do_expression",
5180 "type": "equality_expression",
5184 "type": "field_access_expression",
5188 "type": "float_literal",
5192 "type": "replace_set_expression",
5196 "type": "if_expression",
5200 "type": "integer_literal",
5204 "type": "lambda_expression",
5208 "type": "let_in_expression",
5212 "type": "list_expression",
5216 "type": "mul_expression",
5220 "type": "negation_expression",
5224 "type": "not_expression",
5228 "type": "or_expression",
5232 "type": "parenthesized_expression",
5236 "type": "pipe_expression",
5240 "type": "record_expression",
5244 "type": "record_update_expression",
5248 "type": "set_expression",
5252 "type": "source_ref",
5256 "type": "string_literal",
5260 "type": "temporal_expression",
5264 "type": "variable_expression",
5268 "type": "yield_expression",
5276 "type": "record_pattern",
5284 "type": "field_pattern",
5291 "type": "record_type",
5303 "type": "lower_identifier",
5307 "type": "type_field",
5314 "type": "record_type_body",
5322 "type": "type_field",
5329 "type": "record_update_expression",
5337 "type": "add_expression",
5341 "type": "and_expression",
5345 "type": "application_expression",
5349 "type": "atomic_expression",
5353 "type": "boolean_literal",
5357 "type": "bytes_literal",
5361 "type": "case_expression",
5365 "type": "comparison_expression",
5369 "type": "concat_expression",
5373 "type": "constructor_expression",
5377 "type": "derived_ref",
5381 "type": "do_expression",
5385 "type": "equality_expression",
5389 "type": "field_access_expression",
5393 "type": "float_literal",
5397 "type": "replace_set_expression",
5401 "type": "if_expression",
5405 "type": "integer_literal",
5409 "type": "lambda_expression",
5413 "type": "let_in_expression",
5417 "type": "list_expression",
5421 "type": "mul_expression",
5425 "type": "negation_expression",
5429 "type": "not_expression",
5433 "type": "or_expression",
5437 "type": "parenthesized_expression",
5441 "type": "pipe_expression",
5445 "type": "record_expression",
5449 "type": "record_update_expression",
5453 "type": "set_expression",
5457 "type": "source_ref",
5461 "type": "string_literal",
5465 "type": "temporal_expression",
5469 "type": "variable_expression",
5473 "type": "yield_expression",
5484 "type": "update_field",
5491 "type": "relation_type",
5499 "type": "function_type",
5503 "type": "named_type",
5507 "type": "parenthesized_type",
5511 "type": "record_type",
5515 "type": "relation_type",
5519 "type": "type_application",
5523 "type": "type_hole",
5527 "type": "type_variable",
5531 "type": "variant_type",
5538 "type": "route_composite_declaration",
5546 "type": "upper_identifier",
5557 "type": "upper_identifier",
5564 "type": "route_declaration",
5572 "type": "upper_identifier",
5583 "type": "route_entry",
5587 "type": "route_path_group",
5594 "type": "route_entry",
5602 "type": "record_type_body",
5612 "type": "upper_identifier",
5622 "type": "http_method",
5632 "type": "lower_identifier",
5642 "type": "record_type_body",
5652 "type": "function_type",
5656 "type": "named_type",
5660 "type": "parenthesized_type",
5664 "type": "record_type",
5668 "type": "relation_type",
5672 "type": "type_application",
5676 "type": "type_hole",
5680 "type": "type_variable",
5684 "type": "variant_type",
5694 "type": "function_type",
5698 "type": "named_type",
5702 "type": "parenthesized_type",
5706 "type": "record_type",
5710 "type": "relation_type",
5714 "type": "type_application",
5718 "type": "type_hole",
5722 "type": "type_variable",
5726 "type": "variant_type",
5737 "type": "record_type_body",
5744 "type": "route_path_group",
5752 "type": "lower_identifier",
5762 "type": "function_type",
5766 "type": "named_type",
5770 "type": "parenthesized_type",
5774 "type": "record_type",
5778 "type": "relation_type",
5782 "type": "type_application",
5786 "type": "type_hole",
5790 "type": "type_variable",
5794 "type": "variant_type",
5805 "type": "route_entry",
5809 "type": "route_path_group",
5816 "type": "set_expression",
5824 "type": "source_ref",
5834 "type": "add_expression",
5838 "type": "and_expression",
5842 "type": "application_expression",
5846 "type": "atomic_expression",
5850 "type": "boolean_literal",
5854 "type": "bytes_literal",
5858 "type": "case_expression",
5862 "type": "comparison_expression",
5866 "type": "concat_expression",
5870 "type": "constructor_expression",
5874 "type": "derived_ref",
5878 "type": "do_expression",
5882 "type": "equality_expression",
5886 "type": "field_access_expression",
5890 "type": "float_literal",
5894 "type": "replace_set_expression",
5898 "type": "if_expression",
5902 "type": "integer_literal",
5906 "type": "lambda_expression",
5910 "type": "let_in_expression",
5914 "type": "list_expression",
5918 "type": "mul_expression",
5922 "type": "negation_expression",
5926 "type": "not_expression",
5930 "type": "or_expression",
5934 "type": "parenthesized_expression",
5938 "type": "pipe_expression",
5942 "type": "record_expression",
5946 "type": "record_update_expression",
5950 "type": "set_expression",
5954 "type": "source_ref",
5958 "type": "string_literal",
5962 "type": "temporal_expression",
5966 "type": "variable_expression",
5970 "type": "yield_expression",
5978 "type": "source_declaration",
5986 "type": "function_type",
5990 "type": "named_type",
5994 "type": "parenthesized_type",
5998 "type": "record_type",
6002 "type": "relation_type",
6006 "type": "type_application",
6010 "type": "type_hole",
6014 "type": "type_variable",
6018 "type": "variant_type",
6029 "type": "source_ref",
6036 "type": "source_file",
6045 "type": "data_declaration",
6049 "type": "derived_declaration",
6053 "type": "export_declaration",
6057 "type": "fun_declaration",
6061 "type": "impl_declaration",
6065 "type": "import_declaration",
6069 "type": "migrate_declaration",
6073 "type": "module_declaration",
6077 "type": "route_composite_declaration",
6081 "type": "route_declaration",
6085 "type": "source_declaration",
6089 "type": "subset_constraint",
6093 "type": "trait_declaration",
6097 "type": "type_alias_declaration",
6101 "type": "view_declaration",
6108 "type": "string_literal",
6116 "type": "escape_sequence",
6120 "type": "string_content",
6127 "type": "subset_constraint",
6135 "type": "lower_identifier",
6139 "type": "source_ref",
6146 "type": "supertrait",
6154 "type": "named_type",
6158 "type": "parenthesized_type",
6162 "type": "record_type",
6166 "type": "relation_type",
6170 "type": "type_hole",
6174 "type": "type_variable",
6178 "type": "upper_identifier",
6182 "type": "variant_type",
6189 "type": "temporal_expression",
6197 "type": "add_expression",
6201 "type": "and_expression",
6205 "type": "application_expression",
6209 "type": "atomic_expression",
6213 "type": "boolean_literal",
6217 "type": "bytes_literal",
6221 "type": "case_expression",
6225 "type": "comparison_expression",
6229 "type": "concat_expression",
6233 "type": "constructor_expression",
6237 "type": "derived_ref",
6241 "type": "do_expression",
6245 "type": "equality_expression",
6249 "type": "field_access_expression",
6253 "type": "float_literal",
6257 "type": "replace_set_expression",
6261 "type": "if_expression",
6265 "type": "integer_literal",
6269 "type": "lambda_expression",
6273 "type": "let_in_expression",
6277 "type": "list_expression",
6281 "type": "mul_expression",
6285 "type": "negation_expression",
6289 "type": "not_expression",
6293 "type": "or_expression",
6297 "type": "parenthesized_expression",
6301 "type": "pipe_expression",
6305 "type": "record_expression",
6309 "type": "record_update_expression",
6313 "type": "set_expression",
6317 "type": "source_ref",
6321 "type": "string_literal",
6325 "type": "temporal_expression",
6329 "type": "variable_expression",
6333 "type": "yield_expression",
6340 "type": "trait_associated_type",
6348 "type": "lower_identifier",
6352 "type": "upper_identifier",
6359 "type": "trait_declaration",
6367 "type": "upper_identifier",
6389 "type": "function_type",
6393 "type": "lower_identifier",
6397 "type": "named_type",
6401 "type": "parenthesized_type",
6405 "type": "record_type",
6409 "type": "relation_type",
6413 "type": "type_application",
6417 "type": "type_hole",
6421 "type": "type_variable",
6425 "type": "variant_type",
6436 "type": "supertrait",
6440 "type": "trait_associated_type",
6444 "type": "trait_default_body",
6448 "type": "trait_method",
6455 "type": "trait_default_body",
6463 "type": "add_expression",
6467 "type": "and_expression",
6471 "type": "application_expression",
6475 "type": "atomic_expression",
6479 "type": "boolean_literal",
6483 "type": "bytes_literal",
6487 "type": "case_expression",
6491 "type": "comparison_expression",
6495 "type": "concat_expression",
6499 "type": "constructor_expression",
6503 "type": "derived_ref",
6507 "type": "do_expression",
6511 "type": "equality_expression",
6515 "type": "field_access_expression",
6519 "type": "float_literal",
6523 "type": "replace_set_expression",
6527 "type": "if_expression",
6531 "type": "integer_literal",
6535 "type": "lambda_expression",
6539 "type": "let_in_expression",
6543 "type": "list_expression",
6547 "type": "list_pattern",
6551 "type": "literal_pattern",
6555 "type": "lower_identifier",
6559 "type": "mul_expression",
6563 "type": "negation_expression",
6567 "type": "not_expression",
6571 "type": "or_expression",
6575 "type": "parenthesized_expression",
6579 "type": "parenthesized_pattern",
6583 "type": "pipe_expression",
6587 "type": "record_expression",
6591 "type": "record_pattern",
6595 "type": "record_update_expression",
6599 "type": "set_expression",
6603 "type": "source_ref",
6607 "type": "string_literal",
6611 "type": "temporal_expression",
6615 "type": "variable_expression",
6619 "type": "variable_pattern",
6623 "type": "wildcard_pattern",
6627 "type": "yield_expression",
6634 "type": "trait_method",
6642 "type": "lower_identifier",
6652 "type": "type_scheme",
6663 "type": "add_expression",
6667 "type": "and_expression",
6671 "type": "application_expression",
6675 "type": "atomic_expression",
6679 "type": "boolean_literal",
6683 "type": "bytes_literal",
6687 "type": "case_expression",
6691 "type": "comparison_expression",
6695 "type": "concat_expression",
6699 "type": "constructor_expression",
6703 "type": "derived_ref",
6707 "type": "do_expression",
6711 "type": "equality_expression",
6715 "type": "field_access_expression",
6719 "type": "float_literal",
6723 "type": "replace_set_expression",
6727 "type": "if_expression",
6731 "type": "integer_literal",
6735 "type": "lambda_expression",
6739 "type": "let_in_expression",
6743 "type": "list_expression",
6747 "type": "list_pattern",
6751 "type": "literal_pattern",
6755 "type": "mul_expression",
6759 "type": "negation_expression",
6763 "type": "not_expression",
6767 "type": "or_expression",
6771 "type": "parenthesized_expression",
6775 "type": "parenthesized_pattern",
6779 "type": "pipe_expression",
6783 "type": "record_expression",
6787 "type": "record_pattern",
6791 "type": "record_update_expression",
6795 "type": "set_expression",
6799 "type": "source_ref",
6803 "type": "string_literal",
6807 "type": "temporal_expression",
6811 "type": "variable_expression",
6815 "type": "variable_pattern",
6819 "type": "wildcard_pattern",
6823 "type": "yield_expression",
6830 "type": "type_alias_declaration",
6838 "type": "upper_identifier",
6848 "type": "lower_identifier",
6858 "type": "function_type",
6862 "type": "named_type",
6866 "type": "parenthesized_type",
6870 "type": "record_type",
6874 "type": "relation_type",
6878 "type": "type_application",
6882 "type": "type_hole",
6886 "type": "type_variable",
6890 "type": "variant_type",
6898 "type": "type_application",
6906 "type": "named_type",
6910 "type": "parenthesized_type",
6914 "type": "record_type",
6918 "type": "relation_type",
6922 "type": "type_application",
6926 "type": "type_hole",
6930 "type": "type_variable",
6934 "type": "variant_type",
6941 "type": "type_field",
6949 "type": "lower_identifier",
6959 "type": "function_type",
6963 "type": "named_type",
6967 "type": "parenthesized_type",
6971 "type": "record_type",
6975 "type": "relation_type",
6979 "type": "type_application",
6983 "type": "type_hole",
6987 "type": "type_variable",
6991 "type": "variant_type",
6999 "type": "type_hole",
7004 "type": "type_scheme",
7012 "type": "constraint",
7016 "type": "function_type",
7020 "type": "named_type",
7024 "type": "parenthesized_type",
7028 "type": "record_type",
7032 "type": "relation_type",
7036 "type": "type_application",
7040 "type": "type_hole",
7044 "type": "type_variable",
7048 "type": "variant_type",
7055 "type": "type_variable",
7063 "type": "lower_identifier",
7070 "type": "update_field",
7078 "type": "lower_identifier",
7088 "type": "add_expression",
7092 "type": "and_expression",
7096 "type": "application_expression",
7100 "type": "atomic_expression",
7104 "type": "boolean_literal",
7108 "type": "bytes_literal",
7112 "type": "case_expression",
7116 "type": "comparison_expression",
7120 "type": "concat_expression",
7124 "type": "constructor_expression",
7128 "type": "derived_ref",
7132 "type": "do_expression",
7136 "type": "equality_expression",
7140 "type": "field_access_expression",
7144 "type": "float_literal",
7148 "type": "replace_set_expression",
7152 "type": "if_expression",
7156 "type": "integer_literal",
7160 "type": "lambda_expression",
7164 "type": "let_in_expression",
7168 "type": "list_expression",
7172 "type": "mul_expression",
7176 "type": "negation_expression",
7180 "type": "not_expression",
7184 "type": "or_expression",
7188 "type": "parenthesized_expression",
7192 "type": "pipe_expression",
7196 "type": "record_expression",
7200 "type": "record_update_expression",
7204 "type": "set_expression",
7208 "type": "source_ref",
7212 "type": "string_literal",
7216 "type": "temporal_expression",
7220 "type": "variable_expression",
7224 "type": "yield_expression",
7232 "type": "variable_expression",
7240 "type": "lower_identifier",
7247 "type": "variable_pattern",
7255 "type": "lower_identifier",
7262 "type": "variant_constructor",
7270 "type": "record_type_body",
7274 "type": "upper_identifier",
7281 "type": "variant_type",
7289 "type": "lower_identifier",
7293 "type": "variant_constructor",
7300 "type": "view_declaration",
7308 "type": "add_expression",
7312 "type": "and_expression",
7316 "type": "application_expression",
7320 "type": "atomic_expression",
7324 "type": "boolean_literal",
7328 "type": "bytes_literal",
7332 "type": "case_expression",
7336 "type": "comparison_expression",
7340 "type": "concat_expression",
7344 "type": "constructor_expression",
7348 "type": "derived_ref",
7352 "type": "do_expression",
7356 "type": "equality_expression",
7360 "type": "field_access_expression",
7364 "type": "float_literal",
7368 "type": "replace_set_expression",
7372 "type": "if_expression",
7376 "type": "integer_literal",
7380 "type": "lambda_expression",
7384 "type": "let_in_expression",
7388 "type": "list_expression",
7392 "type": "mul_expression",
7396 "type": "negation_expression",
7400 "type": "not_expression",
7404 "type": "or_expression",
7408 "type": "parenthesized_expression",
7412 "type": "pipe_expression",
7416 "type": "record_expression",
7420 "type": "record_update_expression",
7424 "type": "set_expression",
7428 "type": "source_ref",
7432 "type": "string_literal",
7436 "type": "temporal_expression",
7440 "type": "variable_expression",
7444 "type": "yield_expression",
7455 "type": "source_ref",
7462 "type": "where_statement",
7470 "type": "add_expression",
7474 "type": "and_expression",
7478 "type": "application_expression",
7482 "type": "atomic_expression",
7486 "type": "boolean_literal",
7490 "type": "bytes_literal",
7494 "type": "case_expression",
7498 "type": "comparison_expression",
7502 "type": "concat_expression",
7506 "type": "constructor_expression",
7510 "type": "derived_ref",
7514 "type": "do_expression",
7518 "type": "equality_expression",
7522 "type": "field_access_expression",
7526 "type": "float_literal",
7530 "type": "replace_set_expression",
7534 "type": "if_expression",
7538 "type": "integer_literal",
7542 "type": "lambda_expression",
7546 "type": "let_in_expression",
7550 "type": "list_expression",
7554 "type": "mul_expression",
7558 "type": "negation_expression",
7562 "type": "not_expression",
7566 "type": "or_expression",
7570 "type": "parenthesized_expression",
7574 "type": "pipe_expression",
7578 "type": "record_expression",
7582 "type": "record_update_expression",
7586 "type": "set_expression",
7590 "type": "source_ref",
7594 "type": "string_literal",
7598 "type": "temporal_expression",
7602 "type": "variable_expression",
7606 "type": "yield_expression",
7614 "type": "wildcard_pattern",
7619 "type": "yield_expression",
7627 "type": "add_expression",
7631 "type": "and_expression",
7635 "type": "application_expression",
7639 "type": "atomic_expression",
7643 "type": "boolean_literal",
7647 "type": "bytes_literal",
7651 "type": "case_expression",
7655 "type": "comparison_expression",
7659 "type": "concat_expression",
7663 "type": "constructor_expression",
7667 "type": "derived_ref",
7671 "type": "do_expression",
7675 "type": "equality_expression",
7679 "type": "field_access_expression",
7683 "type": "float_literal",
7687 "type": "replace_set_expression",
7691 "type": "if_expression",
7695 "type": "integer_literal",
7699 "type": "lambda_expression",
7703 "type": "let_in_expression",
7707 "type": "list_expression",
7711 "type": "mul_expression",
7715 "type": "negation_expression",
7719 "type": "not_expression",
7723 "type": "or_expression",
7727 "type": "parenthesized_expression",
7731 "type": "pipe_expression",
7735 "type": "record_expression",
7739 "type": "record_update_expression",
7743 "type": "set_expression",
7747 "type": "source_ref",
7751 "type": "string_literal",
7755 "type": "temporal_expression",
7759 "type": "variable_expression",
7763 "type": "yield_expression",
7924 "type": "derived_ref",
7940 "type": "escape_sequence",
7952 "type": "float_literal",
7984 "type": "integer_literal",
7992 "type": "lower_identifier",
8024 "type": "source_ref",
8028 "type": "string_content",
8052 "type": "upper_identifier",
keysesc to close
- j k
- move down, up
- enter
- open
- esc
- back, or up a level
- 1 2 3 4
- readme, files, commits, refs
- /
- filter
- y
- copy the clone command
- c
- compare the chosen commit with another (or shift-click both)
- ?
- show or hide this list