on master help sign in
8091 lines 166 kB history raw
1[
2 {
3 "type": "add_expression",
4 "named": true,
5 "fields": {},
6 "children": {
7 "multiple": true,
8 "required": true,
9 "types": [
10 {
11 "type": "add_expression",
12 "named": true
13 },
14 {
15 "type": "and_expression",
16 "named": true
17 },
18 {
19 "type": "application_expression",
20 "named": true
21 },
22 {
23 "type": "boolean_literal",
24 "named": true
25 },
26 {
27 "type": "bytes_literal",
28 "named": true
29 },
30 {
31 "type": "comparison_expression",
32 "named": true
33 },
34 {
35 "type": "concat_expression",
36 "named": true
37 },
38 {
39 "type": "constructor_expression",
40 "named": true
41 },
42 {
43 "type": "derived_ref",
44 "named": true
45 },
46 {
47 "type": "equality_expression",
48 "named": true
49 },
50 {
51 "type": "field_access_expression",
52 "named": true
53 },
54 {
55 "type": "float_literal",
56 "named": true
57 },
58 {
59 "type": "integer_literal",
60 "named": true
61 },
62 {
63 "type": "list_expression",
64 "named": true
65 },
66 {
67 "type": "mul_expression",
68 "named": true
69 },
70 {
71 "type": "negation_expression",
72 "named": true
73 },
74 {
75 "type": "not_expression",
76 "named": true
77 },
78 {
79 "type": "or_expression",
80 "named": true
81 },
82 {
83 "type": "parenthesized_expression",
84 "named": true
85 },
86 {
87 "type": "pipe_expression",
88 "named": true
89 },
90 {
91 "type": "record_expression",
92 "named": true
93 },
94 {
95 "type": "record_update_expression",
96 "named": true
97 },
98 {
99 "type": "source_ref",
100 "named": true
101 },
102 {
103 "type": "string_literal",
104 "named": true
105 },
106 {
107 "type": "temporal_expression",
108 "named": true
109 },
110 {
111 "type": "variable_expression",
112 "named": true
113 }
114 ]
115 }
116 },
117 {
118 "type": "and_expression",
119 "named": true,
120 "fields": {},
121 "children": {
122 "multiple": true,
123 "required": true,
124 "types": [
125 {
126 "type": "add_expression",
127 "named": true
128 },
129 {
130 "type": "and_expression",
131 "named": true
132 },
133 {
134 "type": "application_expression",
135 "named": true
136 },
137 {
138 "type": "boolean_literal",
139 "named": true
140 },
141 {
142 "type": "bytes_literal",
143 "named": true
144 },
145 {
146 "type": "comparison_expression",
147 "named": true
148 },
149 {
150 "type": "concat_expression",
151 "named": true
152 },
153 {
154 "type": "constructor_expression",
155 "named": true
156 },
157 {
158 "type": "derived_ref",
159 "named": true
160 },
161 {
162 "type": "equality_expression",
163 "named": true
164 },
165 {
166 "type": "field_access_expression",
167 "named": true
168 },
169 {
170 "type": "float_literal",
171 "named": true
172 },
173 {
174 "type": "integer_literal",
175 "named": true
176 },
177 {
178 "type": "list_expression",
179 "named": true
180 },
181 {
182 "type": "mul_expression",
183 "named": true
184 },
185 {
186 "type": "negation_expression",
187 "named": true
188 },
189 {
190 "type": "not_expression",
191 "named": true
192 },
193 {
194 "type": "or_expression",
195 "named": true
196 },
197 {
198 "type": "parenthesized_expression",
199 "named": true
200 },
201 {
202 "type": "pipe_expression",
203 "named": true
204 },
205 {
206 "type": "record_expression",
207 "named": true
208 },
209 {
210 "type": "record_update_expression",
211 "named": true
212 },
213 {
214 "type": "source_ref",
215 "named": true
216 },
217 {
218 "type": "string_literal",
219 "named": true
220 },
221 {
222 "type": "temporal_expression",
223 "named": true
224 },
225 {
226 "type": "variable_expression",
227 "named": true
228 }
229 ]
230 }
231 },
232 {
233 "type": "application_expression",
234 "named": true,
235 "fields": {},
236 "children": {
237 "multiple": true,
238 "required": true,
239 "types": [
240 {
241 "type": "application_expression",
242 "named": true
243 },
244 {
245 "type": "boolean_literal",
246 "named": true
247 },
248 {
249 "type": "bytes_literal",
250 "named": true
251 },
252 {
253 "type": "constructor_expression",
254 "named": true
255 },
256 {
257 "type": "derived_ref",
258 "named": true
259 },
260 {
261 "type": "field_access_expression",
262 "named": true
263 },
264 {
265 "type": "float_literal",
266 "named": true
267 },
268 {
269 "type": "integer_literal",
270 "named": true
271 },
272 {
273 "type": "list_expression",
274 "named": true
275 },
276 {
277 "type": "parenthesized_expression",
278 "named": true
279 },
280 {
281 "type": "record_expression",
282 "named": true
283 },
284 {
285 "type": "record_update_expression",
286 "named": true
287 },
288 {
289 "type": "source_ref",
290 "named": true
291 },
292 {
293 "type": "string_literal",
294 "named": true
295 },
296 {
297 "type": "temporal_expression",
298 "named": true
299 },
300 {
301 "type": "variable_expression",
302 "named": true
303 }
304 ]
305 }
306 },
307 {
308 "type": "atomic_expression",
309 "named": true,
310 "fields": {
311 "body": {
312 "multiple": false,
313 "required": true,
314 "types": [
315 {
316 "type": "add_expression",
317 "named": true
318 },
319 {
320 "type": "and_expression",
321 "named": true
322 },
323 {
324 "type": "application_expression",
325 "named": true
326 },
327 {
328 "type": "atomic_expression",
329 "named": true
330 },
331 {
332 "type": "boolean_literal",
333 "named": true
334 },
335 {
336 "type": "bytes_literal",
337 "named": true
338 },
339 {
340 "type": "case_expression",
341 "named": true
342 },
343 {
344 "type": "comparison_expression",
345 "named": true
346 },
347 {
348 "type": "concat_expression",
349 "named": true
350 },
351 {
352 "type": "constructor_expression",
353 "named": true
354 },
355 {
356 "type": "derived_ref",
357 "named": true
358 },
359 {
360 "type": "do_expression",
361 "named": true
362 },
363 {
364 "type": "equality_expression",
365 "named": true
366 },
367 {
368 "type": "field_access_expression",
369 "named": true
370 },
371 {
372 "type": "float_literal",
373 "named": true
374 },
375 {
376 "type": "replace_set_expression",
377 "named": true
378 },
379 {
380 "type": "if_expression",
381 "named": true
382 },
383 {
384 "type": "integer_literal",
385 "named": true
386 },
387 {
388 "type": "lambda_expression",
389 "named": true
390 },
391 {
392 "type": "let_in_expression",
393 "named": true
394 },
395 {
396 "type": "list_expression",
397 "named": true
398 },
399 {
400 "type": "mul_expression",
401 "named": true
402 },
403 {
404 "type": "negation_expression",
405 "named": true
406 },
407 {
408 "type": "not_expression",
409 "named": true
410 },
411 {
412 "type": "or_expression",
413 "named": true
414 },
415 {
416 "type": "parenthesized_expression",
417 "named": true
418 },
419 {
420 "type": "pipe_expression",
421 "named": true
422 },
423 {
424 "type": "record_expression",
425 "named": true
426 },
427 {
428 "type": "record_update_expression",
429 "named": true
430 },
431 {
432 "type": "set_expression",
433 "named": true
434 },
435 {
436 "type": "source_ref",
437 "named": true
438 },
439 {
440 "type": "string_literal",
441 "named": true
442 },
443 {
444 "type": "temporal_expression",
445 "named": true
446 },
447 {
448 "type": "variable_expression",
449 "named": true
450 },
451 {
452 "type": "yield_expression",
453 "named": true
454 }
455 ]
456 }
457 }
458 },
459 {
460 "type": "bind_statement",
461 "named": true,
462 "fields": {
463 "pattern": {
464 "multiple": false,
465 "required": true,
466 "types": [
467 {
468 "type": "constructor_pattern",
469 "named": true
470 },
471 {
472 "type": "list_pattern",
473 "named": true
474 },
475 {
476 "type": "parenthesized_pattern",
477 "named": true
478 },
479 {
480 "type": "record_pattern",
481 "named": true
482 },
483 {
484 "type": "variable_pattern",
485 "named": true
486 },
487 {
488 "type": "wildcard_pattern",
489 "named": true
490 }
491 ]
492 },
493 "value": {
494 "multiple": false,
495 "required": true,
496 "types": [
497 {
498 "type": "add_expression",
499 "named": true
500 },
501 {
502 "type": "and_expression",
503 "named": true
504 },
505 {
506 "type": "application_expression",
507 "named": true
508 },
509 {
510 "type": "atomic_expression",
511 "named": true
512 },
513 {
514 "type": "boolean_literal",
515 "named": true
516 },
517 {
518 "type": "bytes_literal",
519 "named": true
520 },
521 {
522 "type": "case_expression",
523 "named": true
524 },
525 {
526 "type": "comparison_expression",
527 "named": true
528 },
529 {
530 "type": "concat_expression",
531 "named": true
532 },
533 {
534 "type": "constructor_expression",
535 "named": true
536 },
537 {
538 "type": "derived_ref",
539 "named": true
540 },
541 {
542 "type": "do_expression",
543 "named": true
544 },
545 {
546 "type": "equality_expression",
547 "named": true
548 },
549 {
550 "type": "field_access_expression",
551 "named": true
552 },
553 {
554 "type": "float_literal",
555 "named": true
556 },
557 {
558 "type": "replace_set_expression",
559 "named": true
560 },
561 {
562 "type": "if_expression",
563 "named": true
564 },
565 {
566 "type": "integer_literal",
567 "named": true
568 },
569 {
570 "type": "lambda_expression",
571 "named": true
572 },
573 {
574 "type": "let_in_expression",
575 "named": true
576 },
577 {
578 "type": "list_expression",
579 "named": true
580 },
581 {
582 "type": "mul_expression",
583 "named": true
584 },
585 {
586 "type": "negation_expression",
587 "named": true
588 },
589 {
590 "type": "not_expression",
591 "named": true
592 },
593 {
594 "type": "or_expression",
595 "named": true
596 },
597 {
598 "type": "parenthesized_expression",
599 "named": true
600 },
601 {
602 "type": "pipe_expression",
603 "named": true
604 },
605 {
606 "type": "record_expression",
607 "named": true
608 },
609 {
610 "type": "record_update_expression",
611 "named": true
612 },
613 {
614 "type": "set_expression",
615 "named": true
616 },
617 {
618 "type": "source_ref",
619 "named": true
620 },
621 {
622 "type": "string_literal",
623 "named": true
624 },
625 {
626 "type": "temporal_expression",
627 "named": true
628 },
629 {
630 "type": "variable_expression",
631 "named": true
632 },
633 {
634 "type": "yield_expression",
635 "named": true
636 }
637 ]
638 }
639 }
640 },
641 {
642 "type": "boolean_literal",
643 "named": true,
644 "fields": {}
645 },
646 {
647 "type": "bytes_literal",
648 "named": true,
649 "fields": {},
650 "children": {
651 "multiple": true,
652 "required": false,
653 "types": [
654 {
655 "type": "escape_sequence",
656 "named": true
657 },
658 {
659 "type": "string_content",
660 "named": true
661 }
662 ]
663 }
664 },
665 {
666 "type": "case_arm",
667 "named": true,
668 "fields": {
669 "body": {
670 "multiple": false,
671 "required": true,
672 "types": [
673 {
674 "type": "add_expression",
675 "named": true
676 },
677 {
678 "type": "and_expression",
679 "named": true
680 },
681 {
682 "type": "application_expression",
683 "named": true
684 },
685 {
686 "type": "atomic_expression",
687 "named": true
688 },
689 {
690 "type": "boolean_literal",
691 "named": true
692 },
693 {
694 "type": "bytes_literal",
695 "named": true
696 },
697 {
698 "type": "case_expression",
699 "named": true
700 },
701 {
702 "type": "comparison_expression",
703 "named": true
704 },
705 {
706 "type": "concat_expression",
707 "named": true
708 },
709 {
710 "type": "constructor_expression",
711 "named": true
712 },
713 {
714 "type": "derived_ref",
715 "named": true
716 },
717 {
718 "type": "do_expression",
719 "named": true
720 },
721 {
722 "type": "equality_expression",
723 "named": true
724 },
725 {
726 "type": "field_access_expression",
727 "named": true
728 },
729 {
730 "type": "float_literal",
731 "named": true
732 },
733 {
734 "type": "replace_set_expression",
735 "named": true
736 },
737 {
738 "type": "if_expression",
739 "named": true
740 },
741 {
742 "type": "integer_literal",
743 "named": true
744 },
745 {
746 "type": "lambda_expression",
747 "named": true
748 },
749 {
750 "type": "let_in_expression",
751 "named": true
752 },
753 {
754 "type": "list_expression",
755 "named": true
756 },
757 {
758 "type": "mul_expression",
759 "named": true
760 },
761 {
762 "type": "negation_expression",
763 "named": true
764 },
765 {
766 "type": "not_expression",
767 "named": true
768 },
769 {
770 "type": "or_expression",
771 "named": true
772 },
773 {
774 "type": "parenthesized_expression",
775 "named": true
776 },
777 {
778 "type": "pipe_expression",
779 "named": true
780 },
781 {
782 "type": "record_expression",
783 "named": true
784 },
785 {
786 "type": "record_update_expression",
787 "named": true
788 },
789 {
790 "type": "set_expression",
791 "named": true
792 },
793 {
794 "type": "source_ref",
795 "named": true
796 },
797 {
798 "type": "string_literal",
799 "named": true
800 },
801 {
802 "type": "temporal_expression",
803 "named": true
804 },
805 {
806 "type": "variable_expression",
807 "named": true
808 },
809 {
810 "type": "yield_expression",
811 "named": true
812 }
813 ]
814 },
815 "pattern": {
816 "multiple": false,
817 "required": true,
818 "types": [
819 {
820 "type": "constructor_pattern",
821 "named": true
822 },
823 {
824 "type": "list_pattern",
825 "named": true
826 },
827 {
828 "type": "literal_pattern",
829 "named": true
830 },
831 {
832 "type": "parenthesized_pattern",
833 "named": true
834 },
835 {
836 "type": "record_pattern",
837 "named": true
838 },
839 {
840 "type": "variable_pattern",
841 "named": true
842 },
843 {
844 "type": "wildcard_pattern",
845 "named": true
846 }
847 ]
848 }
849 }
850 },
851 {
852 "type": "case_expression",
853 "named": true,
854 "fields": {
855 "scrutinee": {
856 "multiple": false,
857 "required": true,
858 "types": [
859 {
860 "type": "add_expression",
861 "named": true
862 },
863 {
864 "type": "and_expression",
865 "named": true
866 },
867 {
868 "type": "application_expression",
869 "named": true
870 },
871 {
872 "type": "atomic_expression",
873 "named": true
874 },
875 {
876 "type": "boolean_literal",
877 "named": true
878 },
879 {
880 "type": "bytes_literal",
881 "named": true
882 },
883 {
884 "type": "case_expression",
885 "named": true
886 },
887 {
888 "type": "comparison_expression",
889 "named": true
890 },
891 {
892 "type": "concat_expression",
893 "named": true
894 },
895 {
896 "type": "constructor_expression",
897 "named": true
898 },
899 {
900 "type": "derived_ref",
901 "named": true
902 },
903 {
904 "type": "do_expression",
905 "named": true
906 },
907 {
908 "type": "equality_expression",
909 "named": true
910 },
911 {
912 "type": "field_access_expression",
913 "named": true
914 },
915 {
916 "type": "float_literal",
917 "named": true
918 },
919 {
920 "type": "replace_set_expression",
921 "named": true
922 },
923 {
924 "type": "if_expression",
925 "named": true
926 },
927 {
928 "type": "integer_literal",
929 "named": true
930 },
931 {
932 "type": "lambda_expression",
933 "named": true
934 },
935 {
936 "type": "let_in_expression",
937 "named": true
938 },
939 {
940 "type": "list_expression",
941 "named": true
942 },
943 {
944 "type": "mul_expression",
945 "named": true
946 },
947 {
948 "type": "negation_expression",
949 "named": true
950 },
951 {
952 "type": "not_expression",
953 "named": true
954 },
955 {
956 "type": "or_expression",
957 "named": true
958 },
959 {
960 "type": "parenthesized_expression",
961 "named": true
962 },
963 {
964 "type": "pipe_expression",
965 "named": true
966 },
967 {
968 "type": "record_expression",
969 "named": true
970 },
971 {
972 "type": "record_update_expression",
973 "named": true
974 },
975 {
976 "type": "set_expression",
977 "named": true
978 },
979 {
980 "type": "source_ref",
981 "named": true
982 },
983 {
984 "type": "string_literal",
985 "named": true
986 },
987 {
988 "type": "temporal_expression",
989 "named": true
990 },
991 {
992 "type": "variable_expression",
993 "named": true
994 },
995 {
996 "type": "yield_expression",
997 "named": true
998 }
999 ]
1001 },
1002 "children": {
1003 "multiple": true,
1004 "required": true,
1005 "types": [
1007 "type": "case_arm",
1008 "named": true
1012 },
1014 "type": "comparison_expression",
1015 "named": true,
1016 "fields": {},
1017 "children": {
1018 "multiple": true,
1019 "required": true,
1020 "types": [
1022 "type": "add_expression",
1023 "named": true
1024 },
1026 "type": "and_expression",
1027 "named": true
1028 },
1030 "type": "application_expression",
1031 "named": true
1032 },
1034 "type": "boolean_literal",
1035 "named": true
1036 },
1038 "type": "bytes_literal",
1039 "named": true
1040 },
1042 "type": "comparison_expression",
1043 "named": true
1044 },
1046 "type": "concat_expression",
1047 "named": true
1048 },
1050 "type": "constructor_expression",
1051 "named": true
1052 },
1054 "type": "derived_ref",
1055 "named": true
1056 },
1058 "type": "equality_expression",
1059 "named": true
1060 },
1062 "type": "field_access_expression",
1063 "named": true
1064 },
1066 "type": "float_literal",
1067 "named": true
1068 },
1070 "type": "integer_literal",
1071 "named": true
1072 },
1074 "type": "list_expression",
1075 "named": true
1076 },
1078 "type": "mul_expression",
1079 "named": true
1080 },
1082 "type": "negation_expression",
1083 "named": true
1084 },
1086 "type": "not_expression",
1087 "named": true
1088 },
1090 "type": "or_expression",
1091 "named": true
1092 },
1094 "type": "parenthesized_expression",
1095 "named": true
1096 },
1098 "type": "pipe_expression",
1099 "named": true
1100 },
1102 "type": "record_expression",
1103 "named": true
1104 },
1106 "type": "record_update_expression",
1107 "named": true
1108 },
1110 "type": "source_ref",
1111 "named": true
1112 },
1114 "type": "string_literal",
1115 "named": true
1116 },
1118 "type": "temporal_expression",
1119 "named": true
1120 },
1122 "type": "variable_expression",
1123 "named": true
1127 },
1129 "type": "concat_expression",
1130 "named": true,
1131 "fields": {},
1132 "children": {
1133 "multiple": true,
1134 "required": true,
1135 "types": [
1137 "type": "add_expression",
1138 "named": true
1139 },
1141 "type": "and_expression",
1142 "named": true
1143 },
1145 "type": "application_expression",
1146 "named": true
1147 },
1149 "type": "boolean_literal",
1150 "named": true
1151 },
1153 "type": "bytes_literal",
1154 "named": true
1155 },
1157 "type": "comparison_expression",
1158 "named": true
1159 },
1161 "type": "concat_expression",
1162 "named": true
1163 },
1165 "type": "constructor_expression",
1166 "named": true
1167 },
1169 "type": "derived_ref",
1170 "named": true
1171 },
1173 "type": "equality_expression",
1174 "named": true
1175 },
1177 "type": "field_access_expression",
1178 "named": true
1179 },
1181 "type": "float_literal",
1182 "named": true
1183 },
1185 "type": "integer_literal",
1186 "named": true
1187 },
1189 "type": "list_expression",
1190 "named": true
1191 },
1193 "type": "mul_expression",
1194 "named": true
1195 },
1197 "type": "negation_expression",
1198 "named": true
1199 },
1201 "type": "not_expression",
1202 "named": true
1203 },
1205 "type": "or_expression",
1206 "named": true
1207 },
1209 "type": "parenthesized_expression",
1210 "named": true
1211 },
1213 "type": "pipe_expression",
1214 "named": true
1215 },
1217 "type": "record_expression",
1218 "named": true
1219 },
1221 "type": "record_update_expression",
1222 "named": true
1223 },
1225 "type": "source_ref",
1226 "named": true
1227 },
1229 "type": "string_literal",
1230 "named": true
1231 },
1233 "type": "temporal_expression",
1234 "named": true
1235 },
1237 "type": "variable_expression",
1238 "named": true
1242 },
1244 "type": "constraint",
1245 "named": true,
1246 "fields": {},
1247 "children": {
1248 "multiple": true,
1249 "required": true,
1250 "types": [
1252 "type": "named_type",
1253 "named": true
1254 },
1256 "type": "parenthesized_type",
1257 "named": true
1258 },
1260 "type": "record_type",
1261 "named": true
1262 },
1264 "type": "relation_type",
1265 "named": true
1266 },
1268 "type": "type_hole",
1269 "named": true
1270 },
1272 "type": "type_variable",
1273 "named": true
1274 },
1276 "type": "upper_identifier",
1277 "named": true
1278 },
1280 "type": "variant_type",
1281 "named": true
1285 },
1287 "type": "constructor_def",
1288 "named": true,
1289 "fields": {
1290 "fields": {
1291 "multiple": false,
1292 "required": true,
1293 "types": [
1295 "type": "record_type_body",
1296 "named": true
1299 },
1300 "name": {
1301 "multiple": false,
1302 "required": true,
1303 "types": [
1305 "type": "upper_identifier",
1306 "named": true
1311 },
1313 "type": "constructor_expression",
1314 "named": true,
1315 "fields": {},
1316 "children": {
1317 "multiple": false,
1318 "required": true,
1319 "types": [
1321 "type": "upper_identifier",
1322 "named": true
1326 },
1328 "type": "constructor_pattern",
1329 "named": true,
1330 "fields": {
1331 "constructor": {
1332 "multiple": false,
1333 "required": true,
1334 "types": [
1336 "type": "upper_identifier",
1337 "named": true
1340 },
1341 "payload": {
1342 "multiple": false,
1343 "required": true,
1344 "types": [
1346 "type": "list_pattern",
1347 "named": true
1348 },
1350 "type": "literal_pattern",
1351 "named": true
1352 },
1354 "type": "parenthesized_pattern",
1355 "named": true
1356 },
1358 "type": "record_pattern",
1359 "named": true
1360 },
1362 "type": "variable_pattern",
1363 "named": true
1364 },
1366 "type": "wildcard_pattern",
1367 "named": true
1372 },
1374 "type": "data_declaration",
1375 "named": true,
1376 "fields": {
1377 "name": {
1378 "multiple": false,
1379 "required": true,
1380 "types": [
1382 "type": "upper_identifier",
1383 "named": true
1386 },
1387 "params": {
1388 "multiple": true,
1389 "required": false,
1390 "types": [
1392 "type": "lower_identifier",
1393 "named": true
1397 },
1398 "children": {
1399 "multiple": true,
1400 "required": true,
1401 "types": [
1403 "type": "constructor_def",
1404 "named": true
1405 },
1407 "type": "deriving_clause",
1408 "named": true
1412 },
1414 "type": "derived_declaration",
1415 "named": true,
1416 "fields": {
1417 "body": {
1418 "multiple": false,
1419 "required": true,
1420 "types": [
1422 "type": "add_expression",
1423 "named": true
1424 },
1426 "type": "and_expression",
1427 "named": true
1428 },
1430 "type": "application_expression",
1431 "named": true
1432 },
1434 "type": "atomic_expression",
1435 "named": true
1436 },
1438 "type": "boolean_literal",
1439 "named": true
1440 },
1442 "type": "bytes_literal",
1443 "named": true
1444 },
1446 "type": "case_expression",
1447 "named": true
1448 },
1450 "type": "comparison_expression",
1451 "named": true
1452 },
1454 "type": "concat_expression",
1455 "named": true
1456 },
1458 "type": "constructor_expression",
1459 "named": true
1460 },
1462 "type": "derived_ref",
1463 "named": true
1464 },
1466 "type": "do_expression",
1467 "named": true
1468 },
1470 "type": "equality_expression",
1471 "named": true
1472 },
1474 "type": "field_access_expression",
1475 "named": true
1476 },
1478 "type": "float_literal",
1479 "named": true
1480 },
1482 "type": "replace_set_expression",
1483 "named": true
1484 },
1486 "type": "if_expression",
1487 "named": true
1488 },
1490 "type": "integer_literal",
1491 "named": true
1492 },
1494 "type": "lambda_expression",
1495 "named": true
1496 },
1498 "type": "let_in_expression",
1499 "named": true
1500 },
1502 "type": "list_expression",
1503 "named": true
1504 },
1506 "type": "mul_expression",
1507 "named": true
1508 },
1510 "type": "negation_expression",
1511 "named": true
1512 },
1514 "type": "not_expression",
1515 "named": true
1516 },
1518 "type": "or_expression",
1519 "named": true
1520 },
1522 "type": "parenthesized_expression",
1523 "named": true
1524 },
1526 "type": "pipe_expression",
1527 "named": true
1528 },
1530 "type": "record_expression",
1531 "named": true
1532 },
1534 "type": "record_update_expression",
1535 "named": true
1536 },
1538 "type": "set_expression",
1539 "named": true
1540 },
1542 "type": "source_ref",
1543 "named": true
1544 },
1546 "type": "string_literal",
1547 "named": true
1548 },
1550 "type": "temporal_expression",
1551 "named": true
1552 },
1554 "type": "variable_expression",
1555 "named": true
1556 },
1558 "type": "yield_expression",
1559 "named": true
1563 },
1564 "children": {
1565 "multiple": false,
1566 "required": true,
1567 "types": [
1569 "type": "derived_ref",
1570 "named": true
1574 },
1576 "type": "deriving_clause",
1577 "named": true,
1578 "fields": {},
1579 "children": {
1580 "multiple": true,
1581 "required": true,
1582 "types": [
1584 "type": "upper_identifier",
1585 "named": true
1589 },
1591 "type": "do_expression",
1592 "named": true,
1593 "fields": {},
1594 "children": {
1595 "multiple": true,
1596 "required": true,
1597 "types": [
1599 "type": "add_expression",
1600 "named": true
1601 },
1603 "type": "and_expression",
1604 "named": true
1605 },
1607 "type": "application_expression",
1608 "named": true
1609 },
1611 "type": "atomic_expression",
1612 "named": true
1613 },
1615 "type": "bind_statement",
1616 "named": true
1617 },
1619 "type": "boolean_literal",
1620 "named": true
1621 },
1623 "type": "bytes_literal",
1624 "named": true
1625 },
1627 "type": "case_expression",
1628 "named": true
1629 },
1631 "type": "comparison_expression",
1632 "named": true
1633 },
1635 "type": "concat_expression",
1636 "named": true
1637 },
1639 "type": "constructor_expression",
1640 "named": true
1641 },
1643 "type": "derived_ref",
1644 "named": true
1645 },
1647 "type": "do_expression",
1648 "named": true
1649 },
1651 "type": "equality_expression",
1652 "named": true
1653 },
1655 "type": "field_access_expression",
1656 "named": true
1657 },
1659 "type": "float_literal",
1660 "named": true
1661 },
1663 "type": "replace_set_expression",
1664 "named": true
1665 },
1667 "type": "if_expression",
1668 "named": true
1669 },
1671 "type": "integer_literal",
1672 "named": true
1673 },
1675 "type": "lambda_expression",
1676 "named": true
1677 },
1679 "type": "let_in_expression",
1680 "named": true
1681 },
1683 "type": "let_statement",
1684 "named": true
1685 },
1687 "type": "list_expression",
1688 "named": true
1689 },
1691 "type": "mul_expression",
1692 "named": true
1693 },
1695 "type": "negation_expression",
1696 "named": true
1697 },
1699 "type": "not_expression",
1700 "named": true
1701 },
1703 "type": "or_expression",
1704 "named": true
1705 },
1707 "type": "parenthesized_expression",
1708 "named": true
1709 },
1711 "type": "pipe_expression",
1712 "named": true
1713 },
1715 "type": "record_expression",
1716 "named": true
1717 },
1719 "type": "record_update_expression",
1720 "named": true
1721 },
1723 "type": "set_expression",
1724 "named": true
1725 },
1727 "type": "source_ref",
1728 "named": true
1729 },
1731 "type": "string_literal",
1732 "named": true
1733 },
1735 "type": "temporal_expression",
1736 "named": true
1737 },
1739 "type": "variable_expression",
1740 "named": true
1741 },
1743 "type": "where_statement",
1744 "named": true
1745 },
1747 "type": "yield_expression",
1748 "named": true
1752 },
1754 "type": "effect",
1755 "named": true,
1756 "fields": {},
1757 "children": {
1758 "multiple": true,
1759 "required": true,
1760 "types": [
1762 "type": "lower_identifier",
1763 "named": true
1764 },
1766 "type": "source_ref",
1767 "named": true
1771 },
1773 "type": "equality_expression",
1774 "named": true,
1775 "fields": {},
1776 "children": {
1777 "multiple": true,
1778 "required": true,
1779 "types": [
1781 "type": "add_expression",
1782 "named": true
1783 },
1785 "type": "and_expression",
1786 "named": true
1787 },
1789 "type": "application_expression",
1790 "named": true
1791 },
1793 "type": "boolean_literal",
1794 "named": true
1795 },
1797 "type": "bytes_literal",
1798 "named": true
1799 },
1801 "type": "comparison_expression",
1802 "named": true
1803 },
1805 "type": "concat_expression",
1806 "named": true
1807 },
1809 "type": "constructor_expression",
1810 "named": true
1811 },
1813 "type": "derived_ref",
1814 "named": true
1815 },
1817 "type": "equality_expression",
1818 "named": true
1819 },
1821 "type": "field_access_expression",
1822 "named": true
1823 },
1825 "type": "float_literal",
1826 "named": true
1827 },
1829 "type": "integer_literal",
1830 "named": true
1831 },
1833 "type": "list_expression",
1834 "named": true
1835 },
1837 "type": "mul_expression",
1838 "named": true
1839 },
1841 "type": "negation_expression",
1842 "named": true
1843 },
1845 "type": "not_expression",
1846 "named": true
1847 },
1849 "type": "or_expression",
1850 "named": true
1851 },
1853 "type": "parenthesized_expression",
1854 "named": true
1855 },
1857 "type": "pipe_expression",
1858 "named": true
1859 },
1861 "type": "record_expression",
1862 "named": true
1863 },
1865 "type": "record_update_expression",
1866 "named": true
1867 },
1869 "type": "source_ref",
1870 "named": true
1871 },
1873 "type": "string_literal",
1874 "named": true
1875 },
1877 "type": "temporal_expression",
1878 "named": true
1879 },
1881 "type": "variable_expression",
1882 "named": true
1886 },
1888 "type": "export_declaration",
1889 "named": true,
1890 "fields": {},
1891 "children": {
1892 "multiple": false,
1893 "required": true,
1894 "types": [
1896 "type": "data_declaration",
1897 "named": true
1898 },
1900 "type": "derived_declaration",
1901 "named": true
1902 },
1904 "type": "fun_declaration",
1905 "named": true
1906 },
1908 "type": "impl_declaration",
1909 "named": true
1910 },
1912 "type": "migrate_declaration",
1913 "named": true
1914 },
1916 "type": "route_composite_declaration",
1917 "named": true
1918 },
1920 "type": "route_declaration",
1921 "named": true
1922 },
1924 "type": "source_declaration",
1925 "named": true
1926 },
1928 "type": "subset_constraint",
1929 "named": true
1930 },
1932 "type": "trait_declaration",
1933 "named": true
1934 },
1936 "type": "type_alias_declaration",
1937 "named": true
1938 },
1940 "type": "view_declaration",
1941 "named": true
1945 },
1947 "type": "field_access_expression",
1948 "named": true,
1949 "fields": {},
1950 "children": {
1951 "multiple": true,
1952 "required": true,
1953 "types": [
1955 "type": "boolean_literal",
1956 "named": true
1957 },
1959 "type": "bytes_literal",
1960 "named": true
1961 },
1963 "type": "constructor_expression",
1964 "named": true
1965 },
1967 "type": "derived_ref",
1968 "named": true
1969 },
1971 "type": "field_access_expression",
1972 "named": true
1973 },
1975 "type": "float_literal",
1976 "named": true
1977 },
1979 "type": "integer_literal",
1980 "named": true
1981 },
1983 "type": "list_expression",
1984 "named": true
1985 },
1987 "type": "lower_identifier",
1988 "named": true
1989 },
1991 "type": "parenthesized_expression",
1992 "named": true
1993 },
1995 "type": "record_expression",
1996 "named": true
1997 },
1999 "type": "record_update_expression",
2000 "named": true
2001 },
2003 "type": "source_ref",
2004 "named": true
2005 },
2007 "type": "string_literal",
2008 "named": true
2009 },
2011 "type": "temporal_expression",
2012 "named": true
2013 },
2015 "type": "variable_expression",
2016 "named": true
2020 },
2022 "type": "field_pattern",
2023 "named": true,
2024 "fields": {
2025 "name": {
2026 "multiple": false,
2027 "required": false,
2028 "types": [
2030 "type": "lower_identifier",
2031 "named": true
2034 },
2035 "pattern": {
2036 "multiple": false,
2037 "required": false,
2038 "types": [
2040 "type": "constructor_pattern",
2041 "named": true
2042 },
2044 "type": "list_pattern",
2045 "named": true
2046 },
2048 "type": "literal_pattern",
2049 "named": true
2050 },
2052 "type": "parenthesized_pattern",
2053 "named": true
2054 },
2056 "type": "record_pattern",
2057 "named": true
2058 },
2060 "type": "variable_pattern",
2061 "named": true
2062 },
2064 "type": "wildcard_pattern",
2065 "named": true
2069 },
2070 "children": {
2071 "multiple": false,
2072 "required": false,
2073 "types": [
2075 "type": "lower_identifier",
2076 "named": true
2080 },
2082 "type": "replace_set_expression",
2083 "named": true,
2084 "fields": {
2085 "target": {
2086 "multiple": false,
2087 "required": true,
2088 "types": [
2090 "type": "source_ref",
2091 "named": true
2094 },
2095 "value": {
2096 "multiple": false,
2097 "required": true,
2098 "types": [
2100 "type": "add_expression",
2101 "named": true
2102 },
2104 "type": "and_expression",
2105 "named": true
2106 },
2108 "type": "application_expression",
2109 "named": true
2110 },
2112 "type": "atomic_expression",
2113 "named": true
2114 },
2116 "type": "boolean_literal",
2117 "named": true
2118 },
2120 "type": "bytes_literal",
2121 "named": true
2122 },
2124 "type": "case_expression",
2125 "named": true
2126 },
2128 "type": "comparison_expression",
2129 "named": true
2130 },
2132 "type": "concat_expression",
2133 "named": true
2134 },
2136 "type": "constructor_expression",
2137 "named": true
2138 },
2140 "type": "derived_ref",
2141 "named": true
2142 },
2144 "type": "do_expression",
2145 "named": true
2146 },
2148 "type": "equality_expression",
2149 "named": true
2150 },
2152 "type": "field_access_expression",
2153 "named": true
2154 },
2156 "type": "float_literal",
2157 "named": true
2158 },
2160 "type": "replace_set_expression",
2161 "named": true
2162 },
2164 "type": "if_expression",
2165 "named": true
2166 },
2168 "type": "integer_literal",
2169 "named": true
2170 },
2172 "type": "lambda_expression",
2173 "named": true
2174 },
2176 "type": "let_in_expression",
2177 "named": true
2178 },
2180 "type": "list_expression",
2181 "named": true
2182 },
2184 "type": "mul_expression",
2185 "named": true
2186 },
2188 "type": "negation_expression",
2189 "named": true
2190 },
2192 "type": "not_expression",
2193 "named": true
2194 },
2196 "type": "or_expression",
2197 "named": true
2198 },
2200 "type": "parenthesized_expression",
2201 "named": true
2202 },
2204 "type": "pipe_expression",
2205 "named": true
2206 },
2208 "type": "record_expression",
2209 "named": true
2210 },
2212 "type": "record_update_expression",
2213 "named": true
2214 },
2216 "type": "set_expression",
2217 "named": true
2218 },
2220 "type": "source_ref",
2221 "named": true
2222 },
2224 "type": "string_literal",
2225 "named": true
2226 },
2228 "type": "temporal_expression",
2229 "named": true
2230 },
2232 "type": "variable_expression",
2233 "named": true
2234 },
2236 "type": "yield_expression",
2237 "named": true
2242 },
2244 "type": "fun_declaration",
2245 "named": true,
2246 "fields": {
2247 "body": {
2248 "multiple": false,
2249 "required": false,
2250 "types": [
2252 "type": "add_expression",
2253 "named": true
2254 },
2256 "type": "and_expression",
2257 "named": true
2258 },
2260 "type": "application_expression",
2261 "named": true
2262 },
2264 "type": "atomic_expression",
2265 "named": true
2266 },
2268 "type": "boolean_literal",
2269 "named": true
2270 },
2272 "type": "bytes_literal",
2273 "named": true
2274 },
2276 "type": "case_expression",
2277 "named": true
2278 },
2280 "type": "comparison_expression",
2281 "named": true
2282 },
2284 "type": "concat_expression",
2285 "named": true
2286 },
2288 "type": "constructor_expression",
2289 "named": true
2290 },
2292 "type": "derived_ref",
2293 "named": true
2294 },
2296 "type": "do_expression",
2297 "named": true
2298 },
2300 "type": "equality_expression",
2301 "named": true
2302 },
2304 "type": "field_access_expression",
2305 "named": true
2306 },
2308 "type": "float_literal",
2309 "named": true
2310 },
2312 "type": "replace_set_expression",
2313 "named": true
2314 },
2316 "type": "if_expression",
2317 "named": true
2318 },
2320 "type": "integer_literal",
2321 "named": true
2322 },
2324 "type": "lambda_expression",
2325 "named": true
2326 },
2328 "type": "let_in_expression",
2329 "named": true
2330 },
2332 "type": "list_expression",
2333 "named": true
2334 },
2336 "type": "mul_expression",
2337 "named": true
2338 },
2340 "type": "negation_expression",
2341 "named": true
2342 },
2344 "type": "not_expression",
2345 "named": true
2346 },
2348 "type": "or_expression",
2349 "named": true
2350 },
2352 "type": "parenthesized_expression",
2353 "named": true
2354 },
2356 "type": "pipe_expression",
2357 "named": true
2358 },
2360 "type": "record_expression",
2361 "named": true
2362 },
2364 "type": "record_update_expression",
2365 "named": true
2366 },
2368 "type": "set_expression",
2369 "named": true
2370 },
2372 "type": "source_ref",
2373 "named": true
2374 },
2376 "type": "string_literal",
2377 "named": true
2378 },
2380 "type": "temporal_expression",
2381 "named": true
2382 },
2384 "type": "variable_expression",
2385 "named": true
2386 },
2388 "type": "yield_expression",
2389 "named": true
2392 },
2393 "name": {
2394 "multiple": false,
2395 "required": true,
2396 "types": [
2398 "type": "lower_identifier",
2399 "named": true
2402 },
2403 "type": {
2404 "multiple": false,
2405 "required": false,
2406 "types": [
2408 "type": "type_scheme",
2409 "named": true
2414 },
2416 "type": "function_type",
2417 "named": true,
2418 "fields": {
2419 "param": {
2420 "multiple": false,
2421 "required": true,
2422 "types": [
2424 "type": "named_type",
2425 "named": true
2426 },
2428 "type": "parenthesized_type",
2429 "named": true
2430 },
2432 "type": "record_type",
2433 "named": true
2434 },
2436 "type": "relation_type",
2437 "named": true
2438 },
2440 "type": "type_application",
2441 "named": true
2442 },
2444 "type": "type_hole",
2445 "named": true
2446 },
2448 "type": "type_variable",
2449 "named": true
2450 },
2452 "type": "variant_type",
2453 "named": true
2456 },
2457 "result": {
2458 "multiple": false,
2459 "required": true,
2460 "types": [
2462 "type": "function_type",
2463 "named": true
2464 },
2466 "type": "named_type",
2467 "named": true
2468 },
2470 "type": "parenthesized_type",
2471 "named": true
2472 },
2474 "type": "record_type",
2475 "named": true
2476 },
2478 "type": "relation_type",
2479 "named": true
2480 },
2482 "type": "type_application",
2483 "named": true
2484 },
2486 "type": "type_hole",
2487 "named": true
2488 },
2490 "type": "type_variable",
2491 "named": true
2492 },
2494 "type": "variant_type",
2495 "named": true
2500 },
2502 "type": "http_method",
2503 "named": true,
2504 "fields": {}
2505 },
2507 "type": "if_expression",
2508 "named": true,
2509 "fields": {
2510 "condition": {
2511 "multiple": false,
2512 "required": true,
2513 "types": [
2515 "type": "add_expression",
2516 "named": true
2517 },
2519 "type": "and_expression",
2520 "named": true
2521 },
2523 "type": "application_expression",
2524 "named": true
2525 },
2527 "type": "atomic_expression",
2528 "named": true
2529 },
2531 "type": "boolean_literal",
2532 "named": true
2533 },
2535 "type": "bytes_literal",
2536 "named": true
2537 },
2539 "type": "case_expression",
2540 "named": true
2541 },
2543 "type": "comparison_expression",
2544 "named": true
2545 },
2547 "type": "concat_expression",
2548 "named": true
2549 },
2551 "type": "constructor_expression",
2552 "named": true
2553 },
2555 "type": "derived_ref",
2556 "named": true
2557 },
2559 "type": "do_expression",
2560 "named": true
2561 },
2563 "type": "equality_expression",
2564 "named": true
2565 },
2567 "type": "field_access_expression",
2568 "named": true
2569 },
2571 "type": "float_literal",
2572 "named": true
2573 },
2575 "type": "replace_set_expression",
2576 "named": true
2577 },
2579 "type": "if_expression",
2580 "named": true
2581 },
2583 "type": "integer_literal",
2584 "named": true
2585 },
2587 "type": "lambda_expression",
2588 "named": true
2589 },
2591 "type": "let_in_expression",
2592 "named": true
2593 },
2595 "type": "list_expression",
2596 "named": true
2597 },
2599 "type": "mul_expression",
2600 "named": true
2601 },
2603 "type": "negation_expression",
2604 "named": true
2605 },
2607 "type": "not_expression",
2608 "named": true
2609 },
2611 "type": "or_expression",
2612 "named": true
2613 },
2615 "type": "parenthesized_expression",
2616 "named": true
2617 },
2619 "type": "pipe_expression",
2620 "named": true
2621 },
2623 "type": "record_expression",
2624 "named": true
2625 },
2627 "type": "record_update_expression",
2628 "named": true
2629 },
2631 "type": "set_expression",
2632 "named": true
2633 },
2635 "type": "source_ref",
2636 "named": true
2637 },
2639 "type": "string_literal",
2640 "named": true
2641 },
2643 "type": "temporal_expression",
2644 "named": true
2645 },
2647 "type": "variable_expression",
2648 "named": true
2649 },
2651 "type": "yield_expression",
2652 "named": true
2655 },
2656 "else": {
2657 "multiple": false,
2658 "required": true,
2659 "types": [
2661 "type": "add_expression",
2662 "named": true
2663 },
2665 "type": "and_expression",
2666 "named": true
2667 },
2669 "type": "application_expression",
2670 "named": true
2671 },
2673 "type": "atomic_expression",
2674 "named": true
2675 },
2677 "type": "boolean_literal",
2678 "named": true
2679 },
2681 "type": "bytes_literal",
2682 "named": true
2683 },
2685 "type": "case_expression",
2686 "named": true
2687 },
2689 "type": "comparison_expression",
2690 "named": true
2691 },
2693 "type": "concat_expression",
2694 "named": true
2695 },
2697 "type": "constructor_expression",
2698 "named": true
2699 },
2701 "type": "derived_ref",
2702 "named": true
2703 },
2705 "type": "do_expression",
2706 "named": true
2707 },
2709 "type": "equality_expression",
2710 "named": true
2711 },
2713 "type": "field_access_expression",
2714 "named": true
2715 },
2717 "type": "float_literal",
2718 "named": true
2719 },
2721 "type": "replace_set_expression",
2722 "named": true
2723 },
2725 "type": "if_expression",
2726 "named": true
2727 },
2729 "type": "integer_literal",
2730 "named": true
2731 },
2733 "type": "lambda_expression",
2734 "named": true
2735 },
2737 "type": "let_in_expression",
2738 "named": true
2739 },
2741 "type": "list_expression",
2742 "named": true
2743 },
2745 "type": "mul_expression",
2746 "named": true
2747 },
2749 "type": "negation_expression",
2750 "named": true
2751 },
2753 "type": "not_expression",
2754 "named": true
2755 },
2757 "type": "or_expression",
2758 "named": true
2759 },
2761 "type": "parenthesized_expression",
2762 "named": true
2763 },
2765 "type": "pipe_expression",
2766 "named": true
2767 },
2769 "type": "record_expression",
2770 "named": true
2771 },
2773 "type": "record_update_expression",
2774 "named": true
2775 },
2777 "type": "set_expression",
2778 "named": true
2779 },
2781 "type": "source_ref",
2782 "named": true
2783 },
2785 "type": "string_literal",
2786 "named": true
2787 },
2789 "type": "temporal_expression",
2790 "named": true
2791 },
2793 "type": "variable_expression",
2794 "named": true
2795 },
2797 "type": "yield_expression",
2798 "named": true
2801 },
2802 "then": {
2803 "multiple": false,
2804 "required": true,
2805 "types": [
2807 "type": "add_expression",
2808 "named": true
2809 },
2811 "type": "and_expression",
2812 "named": true
2813 },
2815 "type": "application_expression",
2816 "named": true
2817 },
2819 "type": "atomic_expression",
2820 "named": true
2821 },
2823 "type": "boolean_literal",
2824 "named": true
2825 },
2827 "type": "bytes_literal",
2828 "named": true
2829 },
2831 "type": "case_expression",
2832 "named": true
2833 },
2835 "type": "comparison_expression",
2836 "named": true
2837 },
2839 "type": "concat_expression",
2840 "named": true
2841 },
2843 "type": "constructor_expression",
2844 "named": true
2845 },
2847 "type": "derived_ref",
2848 "named": true
2849 },
2851 "type": "do_expression",
2852 "named": true
2853 },
2855 "type": "equality_expression",
2856 "named": true
2857 },
2859 "type": "field_access_expression",
2860 "named": true
2861 },
2863 "type": "float_literal",
2864 "named": true
2865 },
2867 "type": "replace_set_expression",
2868 "named": true
2869 },
2871 "type": "if_expression",
2872 "named": true
2873 },
2875 "type": "integer_literal",
2876 "named": true
2877 },
2879 "type": "lambda_expression",
2880 "named": true
2881 },
2883 "type": "let_in_expression",
2884 "named": true
2885 },
2887 "type": "list_expression",
2888 "named": true
2889 },
2891 "type": "mul_expression",
2892 "named": true
2893 },
2895 "type": "negation_expression",
2896 "named": true
2897 },
2899 "type": "not_expression",
2900 "named": true
2901 },
2903 "type": "or_expression",
2904 "named": true
2905 },
2907 "type": "parenthesized_expression",
2908 "named": true
2909 },
2911 "type": "pipe_expression",
2912 "named": true
2913 },
2915 "type": "record_expression",
2916 "named": true
2917 },
2919 "type": "record_update_expression",
2920 "named": true
2921 },
2923 "type": "set_expression",
2924 "named": true
2925 },
2927 "type": "source_ref",
2928 "named": true
2929 },
2931 "type": "string_literal",
2932 "named": true
2933 },
2935 "type": "temporal_expression",
2936 "named": true
2937 },
2939 "type": "variable_expression",
2940 "named": true
2941 },
2943 "type": "yield_expression",
2944 "named": true
2949 },
2951 "type": "impl_associated_type",
2952 "named": true,
2953 "fields": {},
2954 "children": {
2955 "multiple": true,
2956 "required": true,
2957 "types": [
2959 "type": "function_type",
2960 "named": true
2961 },
2963 "type": "named_type",
2964 "named": true
2965 },
2967 "type": "parenthesized_type",
2968 "named": true
2969 },
2971 "type": "record_type",
2972 "named": true
2973 },
2975 "type": "relation_type",
2976 "named": true
2977 },
2979 "type": "type_application",
2980 "named": true
2981 },
2983 "type": "type_hole",
2984 "named": true
2985 },
2987 "type": "type_variable",
2988 "named": true
2989 },
2991 "type": "upper_identifier",
2992 "named": true
2993 },
2995 "type": "variant_type",
2996 "named": true
3000 },
3002 "type": "impl_declaration",
3003 "named": true,
3004 "fields": {
3005 "args": {
3006 "multiple": true,
3007 "required": true,
3008 "types": [
3010 "type": "named_type",
3011 "named": true
3012 },
3014 "type": "parenthesized_type",
3015 "named": true
3016 },
3018 "type": "record_type",
3019 "named": true
3020 },
3022 "type": "relation_type",
3023 "named": true
3024 },
3026 "type": "type_hole",
3027 "named": true
3028 },
3030 "type": "type_variable",
3031 "named": true
3032 },
3034 "type": "variant_type",
3035 "named": true
3038 },
3039 "trait": {
3040 "multiple": false,
3041 "required": true,
3042 "types": [
3044 "type": "upper_identifier",
3045 "named": true
3049 },
3050 "children": {
3051 "multiple": true,
3052 "required": true,
3053 "types": [
3055 "type": "constraint",
3056 "named": true
3057 },
3059 "type": "impl_associated_type",
3060 "named": true
3061 },
3063 "type": "impl_method",
3064 "named": true
3068 },
3070 "type": "impl_method",
3071 "named": true,
3072 "fields": {
3073 "body": {
3074 "multiple": false,
3075 "required": true,
3076 "types": [
3078 "type": "add_expression",
3079 "named": true
3080 },
3082 "type": "and_expression",
3083 "named": true
3084 },
3086 "type": "application_expression",
3087 "named": true
3088 },
3090 "type": "atomic_expression",
3091 "named": true
3092 },
3094 "type": "boolean_literal",
3095 "named": true
3096 },
3098 "type": "bytes_literal",
3099 "named": true
3100 },
3102 "type": "case_expression",
3103 "named": true
3104 },
3106 "type": "comparison_expression",
3107 "named": true
3108 },
3110 "type": "concat_expression",
3111 "named": true
3112 },
3114 "type": "constructor_expression",
3115 "named": true
3116 },
3118 "type": "derived_ref",
3119 "named": true
3120 },
3122 "type": "do_expression",
3123 "named": true
3124 },
3126 "type": "equality_expression",
3127 "named": true
3128 },
3130 "type": "field_access_expression",
3131 "named": true
3132 },
3134 "type": "float_literal",
3135 "named": true
3136 },
3138 "type": "replace_set_expression",
3139 "named": true
3140 },
3142 "type": "if_expression",
3143 "named": true
3144 },
3146 "type": "integer_literal",
3147 "named": true
3148 },
3150 "type": "lambda_expression",
3151 "named": true
3152 },
3154 "type": "let_in_expression",
3155 "named": true
3156 },
3158 "type": "list_expression",
3159 "named": true
3160 },
3162 "type": "mul_expression",
3163 "named": true
3164 },
3166 "type": "negation_expression",
3167 "named": true
3168 },
3170 "type": "not_expression",
3171 "named": true
3172 },
3174 "type": "or_expression",
3175 "named": true
3176 },
3178 "type": "parenthesized_expression",
3179 "named": true
3180 },
3182 "type": "pipe_expression",
3183 "named": true
3184 },
3186 "type": "record_expression",
3187 "named": true
3188 },
3190 "type": "record_update_expression",
3191 "named": true
3192 },
3194 "type": "set_expression",
3195 "named": true
3196 },
3198 "type": "source_ref",
3199 "named": true
3200 },
3202 "type": "string_literal",
3203 "named": true
3204 },
3206 "type": "temporal_expression",
3207 "named": true
3208 },
3210 "type": "variable_expression",
3211 "named": true
3212 },
3214 "type": "yield_expression",
3215 "named": true
3218 },
3219 "name": {
3220 "multiple": false,
3221 "required": true,
3222 "types": [
3224 "type": "lower_identifier",
3225 "named": true
3228 },
3229 "params": {
3230 "multiple": true,
3231 "required": false,
3232 "types": [
3234 "type": "list_pattern",
3235 "named": true
3236 },
3238 "type": "literal_pattern",
3239 "named": true
3240 },
3242 "type": "parenthesized_pattern",
3243 "named": true
3244 },
3246 "type": "record_pattern",
3247 "named": true
3248 },
3250 "type": "variable_pattern",
3251 "named": true
3252 },
3254 "type": "wildcard_pattern",
3255 "named": true
3260 },
3262 "type": "import_declaration",
3263 "named": true,
3264 "fields": {
3265 "path": {
3266 "multiple": false,
3267 "required": true,
3268 "types": [
3270 "type": "import_path",
3271 "named": true
3275 },
3276 "children": {
3277 "multiple": true,
3278 "required": false,
3279 "types": [
3281 "type": "import_item",
3282 "named": true
3286 },
3288 "type": "import_item",
3289 "named": true,
3290 "fields": {},
3291 "children": {
3292 "multiple": false,
3293 "required": true,
3294 "types": [
3296 "type": "lower_identifier",
3297 "named": true
3298 },
3300 "type": "upper_identifier",
3301 "named": true
3305 },
3307 "type": "import_path",
3308 "named": true,
3309 "fields": {},
3310 "children": {
3311 "multiple": true,
3312 "required": true,
3313 "types": [
3315 "type": "lower_identifier",
3316 "named": true
3320 },
3322 "type": "lambda_expression",
3323 "named": true,
3324 "fields": {
3325 "body": {
3326 "multiple": false,
3327 "required": true,
3328 "types": [
3330 "type": "add_expression",
3331 "named": true
3332 },
3334 "type": "and_expression",
3335 "named": true
3336 },
3338 "type": "application_expression",
3339 "named": true
3340 },
3342 "type": "atomic_expression",
3343 "named": true
3344 },
3346 "type": "boolean_literal",
3347 "named": true
3348 },
3350 "type": "bytes_literal",
3351 "named": true
3352 },
3354 "type": "case_expression",
3355 "named": true
3356 },
3358 "type": "comparison_expression",
3359 "named": true
3360 },
3362 "type": "concat_expression",
3363 "named": true
3364 },
3366 "type": "constructor_expression",
3367 "named": true
3368 },
3370 "type": "derived_ref",
3371 "named": true
3372 },
3374 "type": "do_expression",
3375 "named": true
3376 },
3378 "type": "equality_expression",
3379 "named": true
3380 },
3382 "type": "field_access_expression",
3383 "named": true
3384 },
3386 "type": "float_literal",
3387 "named": true
3388 },
3390 "type": "replace_set_expression",
3391 "named": true
3392 },
3394 "type": "if_expression",
3395 "named": true
3396 },
3398 "type": "integer_literal",
3399 "named": true
3400 },
3402 "type": "lambda_expression",
3403 "named": true
3404 },
3406 "type": "let_in_expression",
3407 "named": true
3408 },
3410 "type": "list_expression",
3411 "named": true
3412 },
3414 "type": "mul_expression",
3415 "named": true
3416 },
3418 "type": "negation_expression",
3419 "named": true
3420 },
3422 "type": "not_expression",
3423 "named": true
3424 },
3426 "type": "or_expression",
3427 "named": true
3428 },
3430 "type": "parenthesized_expression",
3431 "named": true
3432 },
3434 "type": "pipe_expression",
3435 "named": true
3436 },
3438 "type": "record_expression",
3439 "named": true
3440 },
3442 "type": "record_update_expression",
3443 "named": true
3444 },
3446 "type": "set_expression",
3447 "named": true
3448 },
3450 "type": "source_ref",
3451 "named": true
3452 },
3454 "type": "string_literal",
3455 "named": true
3456 },
3458 "type": "temporal_expression",
3459 "named": true
3460 },
3462 "type": "variable_expression",
3463 "named": true
3464 },
3466 "type": "yield_expression",
3467 "named": true
3471 },
3472 "children": {
3473 "multiple": true,
3474 "required": true,
3475 "types": [
3477 "type": "list_pattern",
3478 "named": true
3479 },
3481 "type": "literal_pattern",
3482 "named": true
3483 },
3485 "type": "parenthesized_pattern",
3486 "named": true
3487 },
3489 "type": "record_pattern",
3490 "named": true
3491 },
3493 "type": "variable_pattern",
3494 "named": true
3495 },
3497 "type": "wildcard_pattern",
3498 "named": true
3502 },
3504 "type": "let_in_expression",
3505 "named": true,
3506 "fields": {},
3507 "children": {
3508 "multiple": true,
3509 "required": true,
3510 "types": [
3512 "type": "add_expression",
3513 "named": true
3514 },
3516 "type": "and_expression",
3517 "named": true
3518 },
3520 "type": "application_expression",
3521 "named": true
3522 },
3524 "type": "atomic_expression",
3525 "named": true
3526 },
3528 "type": "boolean_literal",
3529 "named": true
3530 },
3532 "type": "bytes_literal",
3533 "named": true
3534 },
3536 "type": "case_expression",
3537 "named": true
3538 },
3540 "type": "comparison_expression",
3541 "named": true
3542 },
3544 "type": "concat_expression",
3545 "named": true
3546 },
3548 "type": "constructor_expression",
3549 "named": true
3550 },
3552 "type": "constructor_pattern",
3553 "named": true
3554 },
3556 "type": "derived_ref",
3557 "named": true
3558 },
3560 "type": "do_expression",
3561 "named": true
3562 },
3564 "type": "equality_expression",
3565 "named": true
3566 },
3568 "type": "field_access_expression",
3569 "named": true
3570 },
3572 "type": "float_literal",
3573 "named": true
3574 },
3576 "type": "replace_set_expression",
3577 "named": true
3578 },
3580 "type": "if_expression",
3581 "named": true
3582 },
3584 "type": "integer_literal",
3585 "named": true
3586 },
3588 "type": "lambda_expression",
3589 "named": true
3590 },
3592 "type": "let_in_expression",
3593 "named": true
3594 },
3596 "type": "list_expression",
3597 "named": true
3598 },
3600 "type": "list_pattern",
3601 "named": true
3602 },
3604 "type": "literal_pattern",
3605 "named": true
3606 },
3608 "type": "mul_expression",
3609 "named": true
3610 },
3612 "type": "negation_expression",
3613 "named": true
3614 },
3616 "type": "not_expression",
3617 "named": true
3618 },
3620 "type": "or_expression",
3621 "named": true
3622 },
3624 "type": "parenthesized_expression",
3625 "named": true
3626 },
3628 "type": "parenthesized_pattern",
3629 "named": true
3630 },
3632 "type": "pipe_expression",
3633 "named": true
3634 },
3636 "type": "record_expression",
3637 "named": true
3638 },
3640 "type": "record_pattern",
3641 "named": true
3642 },
3644 "type": "record_update_expression",
3645 "named": true
3646 },
3648 "type": "set_expression",
3649 "named": true
3650 },
3652 "type": "source_ref",
3653 "named": true
3654 },
3656 "type": "string_literal",
3657 "named": true
3658 },
3660 "type": "temporal_expression",
3661 "named": true
3662 },
3664 "type": "variable_expression",
3665 "named": true
3666 },
3668 "type": "variable_pattern",
3669 "named": true
3670 },
3672 "type": "wildcard_pattern",
3673 "named": true
3674 },
3676 "type": "yield_expression",
3677 "named": true
3681 },
3683 "type": "let_statement",
3684 "named": true,
3685 "fields": {
3686 "pattern": {
3687 "multiple": false,
3688 "required": true,
3689 "types": [
3691 "type": "constructor_pattern",
3692 "named": true
3693 },
3695 "type": "list_pattern",
3696 "named": true
3697 },
3699 "type": "literal_pattern",
3700 "named": true
3701 },
3703 "type": "parenthesized_pattern",
3704 "named": true
3705 },
3707 "type": "record_pattern",
3708 "named": true
3709 },
3711 "type": "variable_pattern",
3712 "named": true
3713 },
3715 "type": "wildcard_pattern",
3716 "named": true
3719 },
3720 "value": {
3721 "multiple": false,
3722 "required": true,
3723 "types": [
3725 "type": "add_expression",
3726 "named": true
3727 },
3729 "type": "and_expression",
3730 "named": true
3731 },
3733 "type": "application_expression",
3734 "named": true
3735 },
3737 "type": "atomic_expression",
3738 "named": true
3739 },
3741 "type": "boolean_literal",
3742 "named": true
3743 },
3745 "type": "bytes_literal",
3746 "named": true
3747 },
3749 "type": "case_expression",
3750 "named": true
3751 },
3753 "type": "comparison_expression",
3754 "named": true
3755 },
3757 "type": "concat_expression",
3758 "named": true
3759 },
3761 "type": "constructor_expression",
3762 "named": true
3763 },
3765 "type": "derived_ref",
3766 "named": true
3767 },
3769 "type": "do_expression",
3770 "named": true
3771 },
3773 "type": "equality_expression",
3774 "named": true
3775 },
3777 "type": "field_access_expression",
3778 "named": true
3779 },
3781 "type": "float_literal",
3782 "named": true
3783 },
3785 "type": "replace_set_expression",
3786 "named": true
3787 },
3789 "type": "if_expression",
3790 "named": true
3791 },
3793 "type": "integer_literal",
3794 "named": true
3795 },
3797 "type": "lambda_expression",
3798 "named": true
3799 },
3801 "type": "let_in_expression",
3802 "named": true
3803 },
3805 "type": "list_expression",
3806 "named": true
3807 },
3809 "type": "mul_expression",
3810 "named": true
3811 },
3813 "type": "negation_expression",
3814 "named": true
3815 },
3817 "type": "not_expression",
3818 "named": true
3819 },
3821 "type": "or_expression",
3822 "named": true
3823 },
3825 "type": "parenthesized_expression",
3826 "named": true
3827 },
3829 "type": "pipe_expression",
3830 "named": true
3831 },
3833 "type": "record_expression",
3834 "named": true
3835 },
3837 "type": "record_update_expression",
3838 "named": true
3839 },
3841 "type": "set_expression",
3842 "named": true
3843 },
3845 "type": "source_ref",
3846 "named": true
3847 },
3849 "type": "string_literal",
3850 "named": true
3851 },
3853 "type": "temporal_expression",
3854 "named": true
3855 },
3857 "type": "variable_expression",
3858 "named": true
3859 },
3861 "type": "yield_expression",
3862 "named": true
3867 },
3869 "type": "list_expression",
3870 "named": true,
3871 "fields": {},
3872 "children": {
3873 "multiple": true,
3874 "required": false,
3875 "types": [
3877 "type": "add_expression",
3878 "named": true
3879 },
3881 "type": "and_expression",
3882 "named": true
3883 },
3885 "type": "application_expression",
3886 "named": true
3887 },
3889 "type": "atomic_expression",
3890 "named": true
3891 },
3893 "type": "boolean_literal",
3894 "named": true
3895 },
3897 "type": "bytes_literal",
3898 "named": true
3899 },
3901 "type": "case_expression",
3902 "named": true
3903 },
3905 "type": "comparison_expression",
3906 "named": true
3907 },
3909 "type": "concat_expression",
3910 "named": true
3911 },
3913 "type": "constructor_expression",
3914 "named": true
3915 },
3917 "type": "derived_ref",
3918 "named": true
3919 },
3921 "type": "do_expression",
3922 "named": true
3923 },
3925 "type": "equality_expression",
3926 "named": true
3927 },
3929 "type": "field_access_expression",
3930 "named": true
3931 },
3933 "type": "float_literal",
3934 "named": true
3935 },
3937 "type": "replace_set_expression",
3938 "named": true
3939 },
3941 "type": "if_expression",
3942 "named": true
3943 },
3945 "type": "integer_literal",
3946 "named": true
3947 },
3949 "type": "lambda_expression",
3950 "named": true
3951 },
3953 "type": "let_in_expression",
3954 "named": true
3955 },
3957 "type": "list_expression",
3958 "named": true
3959 },
3961 "type": "mul_expression",
3962 "named": true
3963 },
3965 "type": "negation_expression",
3966 "named": true
3967 },
3969 "type": "not_expression",
3970 "named": true
3971 },
3973 "type": "or_expression",
3974 "named": true
3975 },
3977 "type": "parenthesized_expression",
3978 "named": true
3979 },
3981 "type": "pipe_expression",
3982 "named": true
3983 },
3985 "type": "record_expression",
3986 "named": true
3987 },
3989 "type": "record_update_expression",
3990 "named": true
3991 },
3993 "type": "set_expression",
3994 "named": true
3995 },
3997 "type": "source_ref",
3998 "named": true
3999 },
4001 "type": "string_literal",
4002 "named": true
4003 },
4005 "type": "temporal_expression",
4006 "named": true
4007 },
4009 "type": "variable_expression",
4010 "named": true
4011 },
4013 "type": "yield_expression",
4014 "named": true
4018 },
4020 "type": "list_pattern",
4021 "named": true,
4022 "fields": {},
4023 "children": {
4024 "multiple": true,
4025 "required": false,
4026 "types": [
4028 "type": "constructor_pattern",
4029 "named": true
4030 },
4032 "type": "list_pattern",
4033 "named": true
4034 },
4036 "type": "literal_pattern",
4037 "named": true
4038 },
4040 "type": "parenthesized_pattern",
4041 "named": true
4042 },
4044 "type": "record_pattern",
4045 "named": true
4046 },
4048 "type": "variable_pattern",
4049 "named": true
4050 },
4052 "type": "wildcard_pattern",
4053 "named": true
4057 },
4059 "type": "literal_pattern",
4060 "named": true,
4061 "fields": {},
4062 "children": {
4063 "multiple": false,
4064 "required": true,
4065 "types": [
4067 "type": "boolean_literal",
4068 "named": true
4069 },
4071 "type": "bytes_literal",
4072 "named": true
4073 },
4075 "type": "float_literal",
4076 "named": true
4077 },
4079 "type": "integer_literal",
4080 "named": true
4081 },
4083 "type": "string_literal",
4084 "named": true
4088 },
4090 "type": "migrate_declaration",
4091 "named": true,
4092 "fields": {
4093 "from": {
4094 "multiple": false,
4095 "required": true,
4096 "types": [
4098 "type": "function_type",
4099 "named": true
4100 },
4102 "type": "named_type",
4103 "named": true
4104 },
4106 "type": "parenthesized_type",
4107 "named": true
4108 },
4110 "type": "record_type",
4111 "named": true
4112 },
4114 "type": "relation_type",
4115 "named": true
4116 },
4118 "type": "type_application",
4119 "named": true
4120 },
4122 "type": "type_hole",
4123 "named": true
4124 },
4126 "type": "type_variable",
4127 "named": true
4128 },
4130 "type": "variant_type",
4131 "named": true
4134 },
4135 "relation": {
4136 "multiple": false,
4137 "required": true,
4138 "types": [
4140 "type": "source_ref",
4141 "named": true
4144 },
4145 "to": {
4146 "multiple": false,
4147 "required": true,
4148 "types": [
4150 "type": "function_type",
4151 "named": true
4152 },
4154 "type": "named_type",
4155 "named": true
4156 },
4158 "type": "parenthesized_type",
4159 "named": true
4160 },
4162 "type": "record_type",
4163 "named": true
4164 },
4166 "type": "relation_type",
4167 "named": true
4168 },
4170 "type": "type_application",
4171 "named": true
4172 },
4174 "type": "type_hole",
4175 "named": true
4176 },
4178 "type": "type_variable",
4179 "named": true
4180 },
4182 "type": "variant_type",
4183 "named": true
4186 },
4187 "using": {
4188 "multiple": false,
4189 "required": true,
4190 "types": [
4192 "type": "add_expression",
4193 "named": true
4194 },
4196 "type": "and_expression",
4197 "named": true
4198 },
4200 "type": "application_expression",
4201 "named": true
4202 },
4204 "type": "atomic_expression",
4205 "named": true
4206 },
4208 "type": "boolean_literal",
4209 "named": true
4210 },
4212 "type": "bytes_literal",
4213 "named": true
4214 },
4216 "type": "case_expression",
4217 "named": true
4218 },
4220 "type": "comparison_expression",
4221 "named": true
4222 },
4224 "type": "concat_expression",
4225 "named": true
4226 },
4228 "type": "constructor_expression",
4229 "named": true
4230 },
4232 "type": "derived_ref",
4233 "named": true
4234 },
4236 "type": "do_expression",
4237 "named": true
4238 },
4240 "type": "equality_expression",
4241 "named": true
4242 },
4244 "type": "field_access_expression",
4245 "named": true
4246 },
4248 "type": "float_literal",
4249 "named": true
4250 },
4252 "type": "replace_set_expression",
4253 "named": true
4254 },
4256 "type": "if_expression",
4257 "named": true
4258 },
4260 "type": "integer_literal",
4261 "named": true
4262 },
4264 "type": "lambda_expression",
4265 "named": true
4266 },
4268 "type": "let_in_expression",
4269 "named": true
4270 },
4272 "type": "list_expression",
4273 "named": true
4274 },
4276 "type": "mul_expression",
4277 "named": true
4278 },
4280 "type": "negation_expression",
4281 "named": true
4282 },
4284 "type": "not_expression",
4285 "named": true
4286 },
4288 "type": "or_expression",
4289 "named": true
4290 },
4292 "type": "parenthesized_expression",
4293 "named": true
4294 },
4296 "type": "pipe_expression",
4297 "named": true
4298 },
4300 "type": "record_expression",
4301 "named": true
4302 },
4304 "type": "record_update_expression",
4305 "named": true
4306 },
4308 "type": "set_expression",
4309 "named": true
4310 },
4312 "type": "source_ref",
4313 "named": true
4314 },
4316 "type": "string_literal",
4317 "named": true
4318 },
4320 "type": "temporal_expression",
4321 "named": true
4322 },
4324 "type": "variable_expression",
4325 "named": true
4326 },
4328 "type": "yield_expression",
4329 "named": true
4334 },
4336 "type": "module_declaration",
4337 "named": true,
4338 "fields": {
4339 "name": {
4340 "multiple": false,
4341 "required": true,
4342 "types": [
4344 "type": "upper_identifier",
4345 "named": true
4350 },
4352 "type": "mul_expression",
4353 "named": true,
4354 "fields": {},
4355 "children": {
4356 "multiple": true,
4357 "required": true,
4358 "types": [
4360 "type": "add_expression",
4361 "named": true
4362 },
4364 "type": "and_expression",
4365 "named": true
4366 },
4368 "type": "application_expression",
4369 "named": true
4370 },
4372 "type": "boolean_literal",
4373 "named": true
4374 },
4376 "type": "bytes_literal",
4377 "named": true
4378 },
4380 "type": "comparison_expression",
4381 "named": true
4382 },
4384 "type": "concat_expression",
4385 "named": true
4386 },
4388 "type": "constructor_expression",
4389 "named": true
4390 },
4392 "type": "derived_ref",
4393 "named": true
4394 },
4396 "type": "equality_expression",
4397 "named": true
4398 },
4400 "type": "field_access_expression",
4401 "named": true
4402 },
4404 "type": "float_literal",
4405 "named": true
4406 },
4408 "type": "integer_literal",
4409 "named": true
4410 },
4412 "type": "list_expression",
4413 "named": true
4414 },
4416 "type": "mul_expression",
4417 "named": true
4418 },
4420 "type": "negation_expression",
4421 "named": true
4422 },
4424 "type": "not_expression",
4425 "named": true
4426 },
4428 "type": "or_expression",
4429 "named": true
4430 },
4432 "type": "parenthesized_expression",
4433 "named": true
4434 },
4436 "type": "pipe_expression",
4437 "named": true
4438 },
4440 "type": "record_expression",
4441 "named": true
4442 },
4444 "type": "record_update_expression",
4445 "named": true
4446 },
4448 "type": "source_ref",
4449 "named": true
4450 },
4452 "type": "string_literal",
4453 "named": true
4454 },
4456 "type": "temporal_expression",
4457 "named": true
4458 },
4460 "type": "variable_expression",
4461 "named": true
4465 },
4467 "type": "named_type",
4468 "named": true,
4469 "fields": {},
4470 "children": {
4471 "multiple": false,
4472 "required": true,
4473 "types": [
4475 "type": "upper_identifier",
4476 "named": true
4480 },
4482 "type": "negation_expression",
4483 "named": true,
4484 "fields": {},
4485 "children": {
4486 "multiple": false,
4487 "required": true,
4488 "types": [
4490 "type": "application_expression",
4491 "named": true
4492 },
4494 "type": "boolean_literal",
4495 "named": true
4496 },
4498 "type": "bytes_literal",
4499 "named": true
4500 },
4502 "type": "constructor_expression",
4503 "named": true
4504 },
4506 "type": "derived_ref",
4507 "named": true
4508 },
4510 "type": "field_access_expression",
4511 "named": true
4512 },
4514 "type": "float_literal",
4515 "named": true
4516 },
4518 "type": "integer_literal",
4519 "named": true
4520 },
4522 "type": "list_expression",
4523 "named": true
4524 },
4526 "type": "parenthesized_expression",
4527 "named": true
4528 },
4530 "type": "record_expression",
4531 "named": true
4532 },
4534 "type": "record_update_expression",
4535 "named": true
4536 },
4538 "type": "source_ref",
4539 "named": true
4540 },
4542 "type": "string_literal",
4543 "named": true
4544 },
4546 "type": "temporal_expression",
4547 "named": true
4548 },
4550 "type": "variable_expression",
4551 "named": true
4555 },
4557 "type": "not_expression",
4558 "named": true,
4559 "fields": {},
4560 "children": {
4561 "multiple": false,
4562 "required": true,
4563 "types": [
4565 "type": "application_expression",
4566 "named": true
4567 },
4569 "type": "boolean_literal",
4570 "named": true
4571 },
4573 "type": "bytes_literal",
4574 "named": true
4575 },
4577 "type": "constructor_expression",
4578 "named": true
4579 },
4581 "type": "derived_ref",
4582 "named": true
4583 },
4585 "type": "field_access_expression",
4586 "named": true
4587 },
4589 "type": "float_literal",
4590 "named": true
4591 },
4593 "type": "integer_literal",
4594 "named": true
4595 },
4597 "type": "list_expression",
4598 "named": true
4599 },
4601 "type": "parenthesized_expression",
4602 "named": true
4603 },
4605 "type": "record_expression",
4606 "named": true
4607 },
4609 "type": "record_update_expression",
4610 "named": true
4611 },
4613 "type": "source_ref",
4614 "named": true
4615 },
4617 "type": "string_literal",
4618 "named": true
4619 },
4621 "type": "temporal_expression",
4622 "named": true
4623 },
4625 "type": "variable_expression",
4626 "named": true
4630 },
4632 "type": "or_expression",
4633 "named": true,
4634 "fields": {},
4635 "children": {
4636 "multiple": true,
4637 "required": true,
4638 "types": [
4640 "type": "add_expression",
4641 "named": true
4642 },
4644 "type": "and_expression",
4645 "named": true
4646 },
4648 "type": "application_expression",
4649 "named": true
4650 },
4652 "type": "boolean_literal",
4653 "named": true
4654 },
4656 "type": "bytes_literal",
4657 "named": true
4658 },
4660 "type": "comparison_expression",
4661 "named": true
4662 },
4664 "type": "concat_expression",
4665 "named": true
4666 },
4668 "type": "constructor_expression",
4669 "named": true
4670 },
4672 "type": "derived_ref",
4673 "named": true
4674 },
4676 "type": "equality_expression",
4677 "named": true
4678 },
4680 "type": "field_access_expression",
4681 "named": true
4682 },
4684 "type": "float_literal",
4685 "named": true
4686 },
4688 "type": "integer_literal",
4689 "named": true
4690 },
4692 "type": "list_expression",
4693 "named": true
4694 },
4696 "type": "mul_expression",
4697 "named": true
4698 },
4700 "type": "negation_expression",
4701 "named": true
4702 },
4704 "type": "not_expression",
4705 "named": true
4706 },
4708 "type": "or_expression",
4709 "named": true
4710 },
4712 "type": "parenthesized_expression",
4713 "named": true
4714 },
4716 "type": "pipe_expression",
4717 "named": true
4718 },
4720 "type": "record_expression",
4721 "named": true
4722 },
4724 "type": "record_update_expression",
4725 "named": true
4726 },
4728 "type": "source_ref",
4729 "named": true
4730 },
4732 "type": "string_literal",
4733 "named": true
4734 },
4736 "type": "temporal_expression",
4737 "named": true
4738 },
4740 "type": "variable_expression",
4741 "named": true
4745 },
4747 "type": "parenthesized_expression",
4748 "named": true,
4749 "fields": {},
4750 "children": {
4751 "multiple": false,
4752 "required": true,
4753 "types": [
4755 "type": "add_expression",
4756 "named": true
4757 },
4759 "type": "and_expression",
4760 "named": true
4761 },
4763 "type": "application_expression",
4764 "named": true
4765 },
4767 "type": "atomic_expression",
4768 "named": true
4769 },
4771 "type": "boolean_literal",
4772 "named": true
4773 },
4775 "type": "bytes_literal",
4776 "named": true
4777 },
4779 "type": "case_expression",
4780 "named": true
4781 },
4783 "type": "comparison_expression",
4784 "named": true
4785 },
4787 "type": "concat_expression",
4788 "named": true
4789 },
4791 "type": "constructor_expression",
4792 "named": true
4793 },
4795 "type": "derived_ref",
4796 "named": true
4797 },
4799 "type": "do_expression",
4800 "named": true
4801 },
4803 "type": "equality_expression",
4804 "named": true
4805 },
4807 "type": "field_access_expression",
4808 "named": true
4809 },
4811 "type": "float_literal",
4812 "named": true
4813 },
4815 "type": "replace_set_expression",
4816 "named": true
4817 },
4819 "type": "if_expression",
4820 "named": true
4821 },
4823 "type": "integer_literal",
4824 "named": true
4825 },
4827 "type": "lambda_expression",
4828 "named": true
4829 },
4831 "type": "let_in_expression",
4832 "named": true
4833 },
4835 "type": "list_expression",
4836 "named": true
4837 },
4839 "type": "mul_expression",
4840 "named": true
4841 },
4843 "type": "negation_expression",
4844 "named": true
4845 },
4847 "type": "not_expression",
4848 "named": true
4849 },
4851 "type": "or_expression",
4852 "named": true
4853 },
4855 "type": "parenthesized_expression",
4856 "named": true
4857 },
4859 "type": "pipe_expression",
4860 "named": true
4861 },
4863 "type": "record_expression",
4864 "named": true
4865 },
4867 "type": "record_update_expression",
4868 "named": true
4869 },
4871 "type": "set_expression",
4872 "named": true
4873 },
4875 "type": "source_ref",
4876 "named": true
4877 },
4879 "type": "string_literal",
4880 "named": true
4881 },
4883 "type": "temporal_expression",
4884 "named": true
4885 },
4887 "type": "variable_expression",
4888 "named": true
4889 },
4891 "type": "yield_expression",
4892 "named": true
4896 },
4898 "type": "parenthesized_pattern",
4899 "named": true,
4900 "fields": {},
4901 "children": {
4902 "multiple": false,
4903 "required": true,
4904 "types": [
4906 "type": "constructor_pattern",
4907 "named": true
4908 },
4910 "type": "list_pattern",
4911 "named": true
4912 },
4914 "type": "literal_pattern",
4915 "named": true
4916 },
4918 "type": "parenthesized_pattern",
4919 "named": true
4920 },
4922 "type": "record_pattern",
4923 "named": true
4924 },
4926 "type": "variable_pattern",
4927 "named": true
4928 },
4930 "type": "wildcard_pattern",
4931 "named": true
4935 },
4937 "type": "parenthesized_type",
4938 "named": true,
4939 "fields": {},
4940 "children": {
4941 "multiple": false,
4942 "required": true,
4943 "types": [
4945 "type": "function_type",
4946 "named": true
4947 },
4949 "type": "named_type",
4950 "named": true
4951 },
4953 "type": "parenthesized_type",
4954 "named": true
4955 },
4957 "type": "record_type",
4958 "named": true
4959 },
4961 "type": "relation_type",
4962 "named": true
4963 },
4965 "type": "type_application",
4966 "named": true
4967 },
4969 "type": "type_hole",
4970 "named": true
4971 },
4973 "type": "type_variable",
4974 "named": true
4975 },
4977 "type": "variant_type",
4978 "named": true
4982 },
4984 "type": "pipe_expression",
4985 "named": true,
4986 "fields": {},
4987 "children": {
4988 "multiple": true,
4989 "required": true,
4990 "types": [
4992 "type": "add_expression",
4993 "named": true
4994 },
4996 "type": "and_expression",
4997 "named": true
4998 },
5000 "type": "application_expression",
5001 "named": true
5002 },
5004 "type": "boolean_literal",
5005 "named": true
5006 },
5008 "type": "bytes_literal",
5009 "named": true
5010 },
5012 "type": "comparison_expression",
5013 "named": true
5014 },
5016 "type": "concat_expression",
5017 "named": true
5018 },
5020 "type": "constructor_expression",
5021 "named": true
5022 },
5024 "type": "derived_ref",
5025 "named": true
5026 },
5028 "type": "equality_expression",
5029 "named": true
5030 },
5032 "type": "field_access_expression",
5033 "named": true
5034 },
5036 "type": "float_literal",
5037 "named": true
5038 },
5040 "type": "integer_literal",
5041 "named": true
5042 },
5044 "type": "list_expression",
5045 "named": true
5046 },
5048 "type": "mul_expression",
5049 "named": true
5050 },
5052 "type": "negation_expression",
5053 "named": true
5054 },
5056 "type": "not_expression",
5057 "named": true
5058 },
5060 "type": "or_expression",
5061 "named": true
5062 },
5064 "type": "parenthesized_expression",
5065 "named": true
5066 },
5068 "type": "pipe_expression",
5069 "named": true
5070 },
5072 "type": "record_expression",
5073 "named": true
5074 },
5076 "type": "record_update_expression",
5077 "named": true
5078 },
5080 "type": "source_ref",
5081 "named": true
5082 },
5084 "type": "string_literal",
5085 "named": true
5086 },
5088 "type": "temporal_expression",
5089 "named": true
5090 },
5092 "type": "variable_expression",
5093 "named": true
5097 },
5099 "type": "record_expression",
5100 "named": true,
5101 "fields": {},
5102 "children": {
5103 "multiple": true,
5104 "required": false,
5105 "types": [
5107 "type": "record_field",
5108 "named": true
5112 },
5114 "type": "record_field",
5115 "named": true,
5116 "fields": {
5117 "name": {
5118 "multiple": false,
5119 "required": false,
5120 "types": [
5122 "type": "lower_identifier",
5123 "named": true
5126 },
5127 "value": {
5128 "multiple": false,
5129 "required": true,
5130 "types": [
5132 "type": "add_expression",
5133 "named": true
5134 },
5136 "type": "and_expression",
5137 "named": true
5138 },
5140 "type": "application_expression",
5141 "named": true
5142 },
5144 "type": "atomic_expression",
5145 "named": true
5146 },
5148 "type": "boolean_literal",
5149 "named": true
5150 },
5152 "type": "bytes_literal",
5153 "named": true
5154 },
5156 "type": "case_expression",
5157 "named": true
5158 },
5160 "type": "comparison_expression",
5161 "named": true
5162 },
5164 "type": "concat_expression",
5165 "named": true
5166 },
5168 "type": "constructor_expression",
5169 "named": true
5170 },
5172 "type": "derived_ref",
5173 "named": true
5174 },
5176 "type": "do_expression",
5177 "named": true
5178 },
5180 "type": "equality_expression",
5181 "named": true
5182 },
5184 "type": "field_access_expression",
5185 "named": true
5186 },
5188 "type": "float_literal",
5189 "named": true
5190 },
5192 "type": "replace_set_expression",
5193 "named": true
5194 },
5196 "type": "if_expression",
5197 "named": true
5198 },
5200 "type": "integer_literal",
5201 "named": true
5202 },
5204 "type": "lambda_expression",
5205 "named": true
5206 },
5208 "type": "let_in_expression",
5209 "named": true
5210 },
5212 "type": "list_expression",
5213 "named": true
5214 },
5216 "type": "mul_expression",
5217 "named": true
5218 },
5220 "type": "negation_expression",
5221 "named": true
5222 },
5224 "type": "not_expression",
5225 "named": true
5226 },
5228 "type": "or_expression",
5229 "named": true
5230 },
5232 "type": "parenthesized_expression",
5233 "named": true
5234 },
5236 "type": "pipe_expression",
5237 "named": true
5238 },
5240 "type": "record_expression",
5241 "named": true
5242 },
5244 "type": "record_update_expression",
5245 "named": true
5246 },
5248 "type": "set_expression",
5249 "named": true
5250 },
5252 "type": "source_ref",
5253 "named": true
5254 },
5256 "type": "string_literal",
5257 "named": true
5258 },
5260 "type": "temporal_expression",
5261 "named": true
5262 },
5264 "type": "variable_expression",
5265 "named": true
5266 },
5268 "type": "yield_expression",
5269 "named": true
5274 },
5276 "type": "record_pattern",
5277 "named": true,
5278 "fields": {},
5279 "children": {
5280 "multiple": true,
5281 "required": false,
5282 "types": [
5284 "type": "field_pattern",
5285 "named": true
5289 },
5291 "type": "record_type",
5292 "named": true,
5293 "fields": {},
5294 "children": {
5295 "multiple": true,
5296 "required": false,
5297 "types": [
5299 "type": "effect",
5300 "named": true
5301 },
5303 "type": "lower_identifier",
5304 "named": true
5305 },
5307 "type": "type_field",
5308 "named": true
5312 },
5314 "type": "record_type_body",
5315 "named": true,
5316 "fields": {},
5317 "children": {
5318 "multiple": true,
5319 "required": false,
5320 "types": [
5322 "type": "type_field",
5323 "named": true
5327 },
5329 "type": "record_update_expression",
5330 "named": true,
5331 "fields": {
5332 "base": {
5333 "multiple": false,
5334 "required": true,
5335 "types": [
5337 "type": "add_expression",
5338 "named": true
5339 },
5341 "type": "and_expression",
5342 "named": true
5343 },
5345 "type": "application_expression",
5346 "named": true
5347 },
5349 "type": "atomic_expression",
5350 "named": true
5351 },
5353 "type": "boolean_literal",
5354 "named": true
5355 },
5357 "type": "bytes_literal",
5358 "named": true
5359 },
5361 "type": "case_expression",
5362 "named": true
5363 },
5365 "type": "comparison_expression",
5366 "named": true
5367 },
5369 "type": "concat_expression",
5370 "named": true
5371 },
5373 "type": "constructor_expression",
5374 "named": true
5375 },
5377 "type": "derived_ref",
5378 "named": true
5379 },
5381 "type": "do_expression",
5382 "named": true
5383 },
5385 "type": "equality_expression",
5386 "named": true
5387 },
5389 "type": "field_access_expression",
5390 "named": true
5391 },
5393 "type": "float_literal",
5394 "named": true
5395 },
5397 "type": "replace_set_expression",
5398 "named": true
5399 },
5401 "type": "if_expression",
5402 "named": true
5403 },
5405 "type": "integer_literal",
5406 "named": true
5407 },
5409 "type": "lambda_expression",
5410 "named": true
5411 },
5413 "type": "let_in_expression",
5414 "named": true
5415 },
5417 "type": "list_expression",
5418 "named": true
5419 },
5421 "type": "mul_expression",
5422 "named": true
5423 },
5425 "type": "negation_expression",
5426 "named": true
5427 },
5429 "type": "not_expression",
5430 "named": true
5431 },
5433 "type": "or_expression",
5434 "named": true
5435 },
5437 "type": "parenthesized_expression",
5438 "named": true
5439 },
5441 "type": "pipe_expression",
5442 "named": true
5443 },
5445 "type": "record_expression",
5446 "named": true
5447 },
5449 "type": "record_update_expression",
5450 "named": true
5451 },
5453 "type": "set_expression",
5454 "named": true
5455 },
5457 "type": "source_ref",
5458 "named": true
5459 },
5461 "type": "string_literal",
5462 "named": true
5463 },
5465 "type": "temporal_expression",
5466 "named": true
5467 },
5469 "type": "variable_expression",
5470 "named": true
5471 },
5473 "type": "yield_expression",
5474 "named": true
5478 },
5479 "children": {
5480 "multiple": true,
5481 "required": true,
5482 "types": [
5484 "type": "update_field",
5485 "named": true
5489 },
5491 "type": "relation_type",
5492 "named": true,
5493 "fields": {},
5494 "children": {
5495 "multiple": false,
5496 "required": false,
5497 "types": [
5499 "type": "function_type",
5500 "named": true
5501 },
5503 "type": "named_type",
5504 "named": true
5505 },
5507 "type": "parenthesized_type",
5508 "named": true
5509 },
5511 "type": "record_type",
5512 "named": true
5513 },
5515 "type": "relation_type",
5516 "named": true
5517 },
5519 "type": "type_application",
5520 "named": true
5521 },
5523 "type": "type_hole",
5524 "named": true
5525 },
5527 "type": "type_variable",
5528 "named": true
5529 },
5531 "type": "variant_type",
5532 "named": true
5536 },
5538 "type": "route_composite_declaration",
5539 "named": true,
5540 "fields": {
5541 "name": {
5542 "multiple": false,
5543 "required": true,
5544 "types": [
5546 "type": "upper_identifier",
5547 "named": true
5551 },
5552 "children": {
5553 "multiple": true,
5554 "required": true,
5555 "types": [
5557 "type": "upper_identifier",
5558 "named": true
5562 },
5564 "type": "route_declaration",
5565 "named": true,
5566 "fields": {
5567 "name": {
5568 "multiple": false,
5569 "required": true,
5570 "types": [
5572 "type": "upper_identifier",
5573 "named": true
5577 },
5578 "children": {
5579 "multiple": true,
5580 "required": true,
5581 "types": [
5583 "type": "route_entry",
5584 "named": true
5585 },
5587 "type": "route_path_group",
5588 "named": true
5592 },
5594 "type": "route_entry",
5595 "named": true,
5596 "fields": {
5597 "body": {
5598 "multiple": true,
5599 "required": false,
5600 "types": [
5602 "type": "record_type_body",
5603 "named": true
5606 },
5607 "constructor": {
5608 "multiple": false,
5609 "required": true,
5610 "types": [
5612 "type": "upper_identifier",
5613 "named": true
5616 },
5617 "method": {
5618 "multiple": false,
5619 "required": true,
5620 "types": [
5622 "type": "http_method",
5623 "named": true
5626 },
5627 "name": {
5628 "multiple": true,
5629 "required": false,
5630 "types": [
5632 "type": "lower_identifier",
5633 "named": true
5636 },
5637 "query": {
5638 "multiple": true,
5639 "required": false,
5640 "types": [
5642 "type": "record_type_body",
5643 "named": true
5646 },
5647 "response": {
5648 "multiple": false,
5649 "required": true,
5650 "types": [
5652 "type": "function_type",
5653 "named": true
5654 },
5656 "type": "named_type",
5657 "named": true
5658 },
5660 "type": "parenthesized_type",
5661 "named": true
5662 },
5664 "type": "record_type",
5665 "named": true
5666 },
5668 "type": "relation_type",
5669 "named": true
5670 },
5672 "type": "type_application",
5673 "named": true
5674 },
5676 "type": "type_hole",
5677 "named": true
5678 },
5680 "type": "type_variable",
5681 "named": true
5682 },
5684 "type": "variant_type",
5685 "named": true
5688 },
5689 "type": {
5690 "multiple": true,
5691 "required": false,
5692 "types": [
5694 "type": "function_type",
5695 "named": true
5696 },
5698 "type": "named_type",
5699 "named": true
5700 },
5702 "type": "parenthesized_type",
5703 "named": true
5704 },
5706 "type": "record_type",
5707 "named": true
5708 },
5710 "type": "relation_type",
5711 "named": true
5712 },
5714 "type": "type_application",
5715 "named": true
5716 },
5718 "type": "type_hole",
5719 "named": true
5720 },
5722 "type": "type_variable",
5723 "named": true
5724 },
5726 "type": "variant_type",
5727 "named": true
5731 },
5732 "children": {
5733 "multiple": true,
5734 "required": false,
5735 "types": [
5737 "type": "record_type_body",
5738 "named": true
5742 },
5744 "type": "route_path_group",
5745 "named": true,
5746 "fields": {
5747 "name": {
5748 "multiple": true,
5749 "required": false,
5750 "types": [
5752 "type": "lower_identifier",
5753 "named": true
5756 },
5757 "type": {
5758 "multiple": true,
5759 "required": false,
5760 "types": [
5762 "type": "function_type",
5763 "named": true
5764 },
5766 "type": "named_type",
5767 "named": true
5768 },
5770 "type": "parenthesized_type",
5771 "named": true
5772 },
5774 "type": "record_type",
5775 "named": true
5776 },
5778 "type": "relation_type",
5779 "named": true
5780 },
5782 "type": "type_application",
5783 "named": true
5784 },
5786 "type": "type_hole",
5787 "named": true
5788 },
5790 "type": "type_variable",
5791 "named": true
5792 },
5794 "type": "variant_type",
5795 "named": true
5799 },
5800 "children": {
5801 "multiple": true,
5802 "required": true,
5803 "types": [
5805 "type": "route_entry",
5806 "named": true
5807 },
5809 "type": "route_path_group",
5810 "named": true
5814 },
5816 "type": "set_expression",
5817 "named": true,
5818 "fields": {
5819 "target": {
5820 "multiple": false,
5821 "required": true,
5822 "types": [
5824 "type": "source_ref",
5825 "named": true
5828 },
5829 "value": {
5830 "multiple": false,
5831 "required": true,
5832 "types": [
5834 "type": "add_expression",
5835 "named": true
5836 },
5838 "type": "and_expression",
5839 "named": true
5840 },
5842 "type": "application_expression",
5843 "named": true
5844 },
5846 "type": "atomic_expression",
5847 "named": true
5848 },
5850 "type": "boolean_literal",
5851 "named": true
5852 },
5854 "type": "bytes_literal",
5855 "named": true
5856 },
5858 "type": "case_expression",
5859 "named": true
5860 },
5862 "type": "comparison_expression",
5863 "named": true
5864 },
5866 "type": "concat_expression",
5867 "named": true
5868 },
5870 "type": "constructor_expression",
5871 "named": true
5872 },
5874 "type": "derived_ref",
5875 "named": true
5876 },
5878 "type": "do_expression",
5879 "named": true
5880 },
5882 "type": "equality_expression",
5883 "named": true
5884 },
5886 "type": "field_access_expression",
5887 "named": true
5888 },
5890 "type": "float_literal",
5891 "named": true
5892 },
5894 "type": "replace_set_expression",
5895 "named": true
5896 },
5898 "type": "if_expression",
5899 "named": true
5900 },
5902 "type": "integer_literal",
5903 "named": true
5904 },
5906 "type": "lambda_expression",
5907 "named": true
5908 },
5910 "type": "let_in_expression",
5911 "named": true
5912 },
5914 "type": "list_expression",
5915 "named": true
5916 },
5918 "type": "mul_expression",
5919 "named": true
5920 },
5922 "type": "negation_expression",
5923 "named": true
5924 },
5926 "type": "not_expression",
5927 "named": true
5928 },
5930 "type": "or_expression",
5931 "named": true
5932 },
5934 "type": "parenthesized_expression",
5935 "named": true
5936 },
5938 "type": "pipe_expression",
5939 "named": true
5940 },
5942 "type": "record_expression",
5943 "named": true
5944 },
5946 "type": "record_update_expression",
5947 "named": true
5948 },
5950 "type": "set_expression",
5951 "named": true
5952 },
5954 "type": "source_ref",
5955 "named": true
5956 },
5958 "type": "string_literal",
5959 "named": true
5960 },
5962 "type": "temporal_expression",
5963 "named": true
5964 },
5966 "type": "variable_expression",
5967 "named": true
5968 },
5970 "type": "yield_expression",
5971 "named": true
5976 },
5978 "type": "source_declaration",
5979 "named": true,
5980 "fields": {
5981 "type": {
5982 "multiple": false,
5983 "required": true,
5984 "types": [
5986 "type": "function_type",
5987 "named": true
5988 },
5990 "type": "named_type",
5991 "named": true
5992 },
5994 "type": "parenthesized_type",
5995 "named": true
5996 },
5998 "type": "record_type",
5999 "named": true
6000 },
6002 "type": "relation_type",
6003 "named": true
6004 },
6006 "type": "type_application",
6007 "named": true
6008 },
6010 "type": "type_hole",
6011 "named": true
6012 },
6014 "type": "type_variable",
6015 "named": true
6016 },
6018 "type": "variant_type",
6019 "named": true
6023 },
6024 "children": {
6025 "multiple": false,
6026 "required": true,
6027 "types": [
6029 "type": "source_ref",
6030 "named": true
6034 },
6036 "type": "source_file",
6037 "named": true,
6038 "root": true,
6039 "fields": {},
6040 "children": {
6041 "multiple": true,
6042 "required": false,
6043 "types": [
6045 "type": "data_declaration",
6046 "named": true
6047 },
6049 "type": "derived_declaration",
6050 "named": true
6051 },
6053 "type": "export_declaration",
6054 "named": true
6055 },
6057 "type": "fun_declaration",
6058 "named": true
6059 },
6061 "type": "impl_declaration",
6062 "named": true
6063 },
6065 "type": "import_declaration",
6066 "named": true
6067 },
6069 "type": "migrate_declaration",
6070 "named": true
6071 },
6073 "type": "module_declaration",
6074 "named": true
6075 },
6077 "type": "route_composite_declaration",
6078 "named": true
6079 },
6081 "type": "route_declaration",
6082 "named": true
6083 },
6085 "type": "source_declaration",
6086 "named": true
6087 },
6089 "type": "subset_constraint",
6090 "named": true
6091 },
6093 "type": "trait_declaration",
6094 "named": true
6095 },
6097 "type": "type_alias_declaration",
6098 "named": true
6099 },
6101 "type": "view_declaration",
6102 "named": true
6106 },
6108 "type": "string_literal",
6109 "named": true,
6110 "fields": {},
6111 "children": {
6112 "multiple": true,
6113 "required": false,
6114 "types": [
6116 "type": "escape_sequence",
6117 "named": true
6118 },
6120 "type": "string_content",
6121 "named": true
6125 },
6127 "type": "subset_constraint",
6128 "named": true,
6129 "fields": {},
6130 "children": {
6131 "multiple": true,
6132 "required": true,
6133 "types": [
6135 "type": "lower_identifier",
6136 "named": true
6137 },
6139 "type": "source_ref",
6140 "named": true
6144 },
6146 "type": "supertrait",
6147 "named": true,
6148 "fields": {},
6149 "children": {
6150 "multiple": true,
6151 "required": true,
6152 "types": [
6154 "type": "named_type",
6155 "named": true
6156 },
6158 "type": "parenthesized_type",
6159 "named": true
6160 },
6162 "type": "record_type",
6163 "named": true
6164 },
6166 "type": "relation_type",
6167 "named": true
6168 },
6170 "type": "type_hole",
6171 "named": true
6172 },
6174 "type": "type_variable",
6175 "named": true
6176 },
6178 "type": "upper_identifier",
6179 "named": true
6180 },
6182 "type": "variant_type",
6183 "named": true
6187 },
6189 "type": "temporal_expression",
6190 "named": true,
6191 "fields": {},
6192 "children": {
6193 "multiple": true,
6194 "required": true,
6195 "types": [
6197 "type": "add_expression",
6198 "named": true
6199 },
6201 "type": "and_expression",
6202 "named": true
6203 },
6205 "type": "application_expression",
6206 "named": true
6207 },
6209 "type": "atomic_expression",
6210 "named": true
6211 },
6213 "type": "boolean_literal",
6214 "named": true
6215 },
6217 "type": "bytes_literal",
6218 "named": true
6219 },
6221 "type": "case_expression",
6222 "named": true
6223 },
6225 "type": "comparison_expression",
6226 "named": true
6227 },
6229 "type": "concat_expression",
6230 "named": true
6231 },
6233 "type": "constructor_expression",
6234 "named": true
6235 },
6237 "type": "derived_ref",
6238 "named": true
6239 },
6241 "type": "do_expression",
6242 "named": true
6243 },
6245 "type": "equality_expression",
6246 "named": true
6247 },
6249 "type": "field_access_expression",
6250 "named": true
6251 },
6253 "type": "float_literal",
6254 "named": true
6255 },
6257 "type": "replace_set_expression",
6258 "named": true
6259 },
6261 "type": "if_expression",
6262 "named": true
6263 },
6265 "type": "integer_literal",
6266 "named": true
6267 },
6269 "type": "lambda_expression",
6270 "named": true
6271 },
6273 "type": "let_in_expression",
6274 "named": true
6275 },
6277 "type": "list_expression",
6278 "named": true
6279 },
6281 "type": "mul_expression",
6282 "named": true
6283 },
6285 "type": "negation_expression",
6286 "named": true
6287 },
6289 "type": "not_expression",
6290 "named": true
6291 },
6293 "type": "or_expression",
6294 "named": true
6295 },
6297 "type": "parenthesized_expression",
6298 "named": true
6299 },
6301 "type": "pipe_expression",
6302 "named": true
6303 },
6305 "type": "record_expression",
6306 "named": true
6307 },
6309 "type": "record_update_expression",
6310 "named": true
6311 },
6313 "type": "set_expression",
6314 "named": true
6315 },
6317 "type": "source_ref",
6318 "named": true
6319 },
6321 "type": "string_literal",
6322 "named": true
6323 },
6325 "type": "temporal_expression",
6326 "named": true
6327 },
6329 "type": "variable_expression",
6330 "named": true
6331 },
6333 "type": "yield_expression",
6334 "named": true
6338 },
6340 "type": "trait_associated_type",
6341 "named": true,
6342 "fields": {},
6343 "children": {
6344 "multiple": true,
6345 "required": true,
6346 "types": [
6348 "type": "lower_identifier",
6349 "named": true
6350 },
6352 "type": "upper_identifier",
6353 "named": true
6357 },
6359 "type": "trait_declaration",
6360 "named": true,
6361 "fields": {
6362 "name": {
6363 "multiple": false,
6364 "required": true,
6365 "types": [
6367 "type": "upper_identifier",
6368 "named": true
6371 },
6372 "params": {
6373 "multiple": true,
6374 "required": true,
6375 "types": [
6377 "type": "(",
6378 "named": false
6379 },
6381 "type": ")",
6382 "named": false
6383 },
6385 "type": ":",
6386 "named": false
6387 },
6389 "type": "function_type",
6390 "named": true
6391 },
6393 "type": "lower_identifier",
6394 "named": true
6395 },
6397 "type": "named_type",
6398 "named": true
6399 },
6401 "type": "parenthesized_type",
6402 "named": true
6403 },
6405 "type": "record_type",
6406 "named": true
6407 },
6409 "type": "relation_type",
6410 "named": true
6411 },
6413 "type": "type_application",
6414 "named": true
6415 },
6417 "type": "type_hole",
6418 "named": true
6419 },
6421 "type": "type_variable",
6422 "named": true
6423 },
6425 "type": "variant_type",
6426 "named": true
6430 },
6431 "children": {
6432 "multiple": true,
6433 "required": true,
6434 "types": [
6436 "type": "supertrait",
6437 "named": true
6438 },
6440 "type": "trait_associated_type",
6441 "named": true
6442 },
6444 "type": "trait_default_body",
6445 "named": true
6446 },
6448 "type": "trait_method",
6449 "named": true
6453 },
6455 "type": "trait_default_body",
6456 "named": true,
6457 "fields": {},
6458 "children": {
6459 "multiple": true,
6460 "required": true,
6461 "types": [
6463 "type": "add_expression",
6464 "named": true
6465 },
6467 "type": "and_expression",
6468 "named": true
6469 },
6471 "type": "application_expression",
6472 "named": true
6473 },
6475 "type": "atomic_expression",
6476 "named": true
6477 },
6479 "type": "boolean_literal",
6480 "named": true
6481 },
6483 "type": "bytes_literal",
6484 "named": true
6485 },
6487 "type": "case_expression",
6488 "named": true
6489 },
6491 "type": "comparison_expression",
6492 "named": true
6493 },
6495 "type": "concat_expression",
6496 "named": true
6497 },
6499 "type": "constructor_expression",
6500 "named": true
6501 },
6503 "type": "derived_ref",
6504 "named": true
6505 },
6507 "type": "do_expression",
6508 "named": true
6509 },
6511 "type": "equality_expression",
6512 "named": true
6513 },
6515 "type": "field_access_expression",
6516 "named": true
6517 },
6519 "type": "float_literal",
6520 "named": true
6521 },
6523 "type": "replace_set_expression",
6524 "named": true
6525 },
6527 "type": "if_expression",
6528 "named": true
6529 },
6531 "type": "integer_literal",
6532 "named": true
6533 },
6535 "type": "lambda_expression",
6536 "named": true
6537 },
6539 "type": "let_in_expression",
6540 "named": true
6541 },
6543 "type": "list_expression",
6544 "named": true
6545 },
6547 "type": "list_pattern",
6548 "named": true
6549 },
6551 "type": "literal_pattern",
6552 "named": true
6553 },
6555 "type": "lower_identifier",
6556 "named": true
6557 },
6559 "type": "mul_expression",
6560 "named": true
6561 },
6563 "type": "negation_expression",
6564 "named": true
6565 },
6567 "type": "not_expression",
6568 "named": true
6569 },
6571 "type": "or_expression",
6572 "named": true
6573 },
6575 "type": "parenthesized_expression",
6576 "named": true
6577 },
6579 "type": "parenthesized_pattern",
6580 "named": true
6581 },
6583 "type": "pipe_expression",
6584 "named": true
6585 },
6587 "type": "record_expression",
6588 "named": true
6589 },
6591 "type": "record_pattern",
6592 "named": true
6593 },
6595 "type": "record_update_expression",
6596 "named": true
6597 },
6599 "type": "set_expression",
6600 "named": true
6601 },
6603 "type": "source_ref",
6604 "named": true
6605 },
6607 "type": "string_literal",
6608 "named": true
6609 },
6611 "type": "temporal_expression",
6612 "named": true
6613 },
6615 "type": "variable_expression",
6616 "named": true
6617 },
6619 "type": "variable_pattern",
6620 "named": true
6621 },
6623 "type": "wildcard_pattern",
6624 "named": true
6625 },
6627 "type": "yield_expression",
6628 "named": true
6632 },
6634 "type": "trait_method",
6635 "named": true,
6636 "fields": {
6637 "name": {
6638 "multiple": false,
6639 "required": true,
6640 "types": [
6642 "type": "lower_identifier",
6643 "named": true
6646 },
6647 "type": {
6648 "multiple": false,
6649 "required": false,
6650 "types": [
6652 "type": "type_scheme",
6653 "named": true
6657 },
6658 "children": {
6659 "multiple": true,
6660 "required": false,
6661 "types": [
6663 "type": "add_expression",
6664 "named": true
6665 },
6667 "type": "and_expression",
6668 "named": true
6669 },
6671 "type": "application_expression",
6672 "named": true
6673 },
6675 "type": "atomic_expression",
6676 "named": true
6677 },
6679 "type": "boolean_literal",
6680 "named": true
6681 },
6683 "type": "bytes_literal",
6684 "named": true
6685 },
6687 "type": "case_expression",
6688 "named": true
6689 },
6691 "type": "comparison_expression",
6692 "named": true
6693 },
6695 "type": "concat_expression",
6696 "named": true
6697 },
6699 "type": "constructor_expression",
6700 "named": true
6701 },
6703 "type": "derived_ref",
6704 "named": true
6705 },
6707 "type": "do_expression",
6708 "named": true
6709 },
6711 "type": "equality_expression",
6712 "named": true
6713 },
6715 "type": "field_access_expression",
6716 "named": true
6717 },
6719 "type": "float_literal",
6720 "named": true
6721 },
6723 "type": "replace_set_expression",
6724 "named": true
6725 },
6727 "type": "if_expression",
6728 "named": true
6729 },
6731 "type": "integer_literal",
6732 "named": true
6733 },
6735 "type": "lambda_expression",
6736 "named": true
6737 },
6739 "type": "let_in_expression",
6740 "named": true
6741 },
6743 "type": "list_expression",
6744 "named": true
6745 },
6747 "type": "list_pattern",
6748 "named": true
6749 },
6751 "type": "literal_pattern",
6752 "named": true
6753 },
6755 "type": "mul_expression",
6756 "named": true
6757 },
6759 "type": "negation_expression",
6760 "named": true
6761 },
6763 "type": "not_expression",
6764 "named": true
6765 },
6767 "type": "or_expression",
6768 "named": true
6769 },
6771 "type": "parenthesized_expression",
6772 "named": true
6773 },
6775 "type": "parenthesized_pattern",
6776 "named": true
6777 },
6779 "type": "pipe_expression",
6780 "named": true
6781 },
6783 "type": "record_expression",
6784 "named": true
6785 },
6787 "type": "record_pattern",
6788 "named": true
6789 },
6791 "type": "record_update_expression",
6792 "named": true
6793 },
6795 "type": "set_expression",
6796 "named": true
6797 },
6799 "type": "source_ref",
6800 "named": true
6801 },
6803 "type": "string_literal",
6804 "named": true
6805 },
6807 "type": "temporal_expression",
6808 "named": true
6809 },
6811 "type": "variable_expression",
6812 "named": true
6813 },
6815 "type": "variable_pattern",
6816 "named": true
6817 },
6819 "type": "wildcard_pattern",
6820 "named": true
6821 },
6823 "type": "yield_expression",
6824 "named": true
6828 },
6830 "type": "type_alias_declaration",
6831 "named": true,
6832 "fields": {
6833 "name": {
6834 "multiple": false,
6835 "required": true,
6836 "types": [
6838 "type": "upper_identifier",
6839 "named": true
6842 },
6843 "params": {
6844 "multiple": true,
6845 "required": false,
6846 "types": [
6848 "type": "lower_identifier",
6849 "named": true
6852 },
6853 "type": {
6854 "multiple": false,
6855 "required": true,
6856 "types": [
6858 "type": "function_type",
6859 "named": true
6860 },
6862 "type": "named_type",
6863 "named": true
6864 },
6866 "type": "parenthesized_type",
6867 "named": true
6868 },
6870 "type": "record_type",
6871 "named": true
6872 },
6874 "type": "relation_type",
6875 "named": true
6876 },
6878 "type": "type_application",
6879 "named": true
6880 },
6882 "type": "type_hole",
6883 "named": true
6884 },
6886 "type": "type_variable",
6887 "named": true
6888 },
6890 "type": "variant_type",
6891 "named": true
6896 },
6898 "type": "type_application",
6899 "named": true,
6900 "fields": {},
6901 "children": {
6902 "multiple": true,
6903 "required": true,
6904 "types": [
6906 "type": "named_type",
6907 "named": true
6908 },
6910 "type": "parenthesized_type",
6911 "named": true
6912 },
6914 "type": "record_type",
6915 "named": true
6916 },
6918 "type": "relation_type",
6919 "named": true
6920 },
6922 "type": "type_application",
6923 "named": true
6924 },
6926 "type": "type_hole",
6927 "named": true
6928 },
6930 "type": "type_variable",
6931 "named": true
6932 },
6934 "type": "variant_type",
6935 "named": true
6939 },
6941 "type": "type_field",
6942 "named": true,
6943 "fields": {
6944 "name": {
6945 "multiple": false,
6946 "required": true,
6947 "types": [
6949 "type": "lower_identifier",
6950 "named": true
6953 },
6954 "type": {
6955 "multiple": false,
6956 "required": true,
6957 "types": [
6959 "type": "function_type",
6960 "named": true
6961 },
6963 "type": "named_type",
6964 "named": true
6965 },
6967 "type": "parenthesized_type",
6968 "named": true
6969 },
6971 "type": "record_type",
6972 "named": true
6973 },
6975 "type": "relation_type",
6976 "named": true
6977 },
6979 "type": "type_application",
6980 "named": true
6981 },
6983 "type": "type_hole",
6984 "named": true
6985 },
6987 "type": "type_variable",
6988 "named": true
6989 },
6991 "type": "variant_type",
6992 "named": true
6997 },
6999 "type": "type_hole",
7000 "named": true,
7001 "fields": {}
7002 },
7004 "type": "type_scheme",
7005 "named": true,
7006 "fields": {},
7007 "children": {
7008 "multiple": true,
7009 "required": true,
7010 "types": [
7012 "type": "constraint",
7013 "named": true
7014 },
7016 "type": "function_type",
7017 "named": true
7018 },
7020 "type": "named_type",
7021 "named": true
7022 },
7024 "type": "parenthesized_type",
7025 "named": true
7026 },
7028 "type": "record_type",
7029 "named": true
7030 },
7032 "type": "relation_type",
7033 "named": true
7034 },
7036 "type": "type_application",
7037 "named": true
7038 },
7040 "type": "type_hole",
7041 "named": true
7042 },
7044 "type": "type_variable",
7045 "named": true
7046 },
7048 "type": "variant_type",
7049 "named": true
7053 },
7055 "type": "type_variable",
7056 "named": true,
7057 "fields": {},
7058 "children": {
7059 "multiple": false,
7060 "required": true,
7061 "types": [
7063 "type": "lower_identifier",
7064 "named": true
7068 },
7070 "type": "update_field",
7071 "named": true,
7072 "fields": {
7073 "name": {
7074 "multiple": false,
7075 "required": true,
7076 "types": [
7078 "type": "lower_identifier",
7079 "named": true
7082 },
7083 "value": {
7084 "multiple": false,
7085 "required": true,
7086 "types": [
7088 "type": "add_expression",
7089 "named": true
7090 },
7092 "type": "and_expression",
7093 "named": true
7094 },
7096 "type": "application_expression",
7097 "named": true
7098 },
7100 "type": "atomic_expression",
7101 "named": true
7102 },
7104 "type": "boolean_literal",
7105 "named": true
7106 },
7108 "type": "bytes_literal",
7109 "named": true
7110 },
7112 "type": "case_expression",
7113 "named": true
7114 },
7116 "type": "comparison_expression",
7117 "named": true
7118 },
7120 "type": "concat_expression",
7121 "named": true
7122 },
7124 "type": "constructor_expression",
7125 "named": true
7126 },
7128 "type": "derived_ref",
7129 "named": true
7130 },
7132 "type": "do_expression",
7133 "named": true
7134 },
7136 "type": "equality_expression",
7137 "named": true
7138 },
7140 "type": "field_access_expression",
7141 "named": true
7142 },
7144 "type": "float_literal",
7145 "named": true
7146 },
7148 "type": "replace_set_expression",
7149 "named": true
7150 },
7152 "type": "if_expression",
7153 "named": true
7154 },
7156 "type": "integer_literal",
7157 "named": true
7158 },
7160 "type": "lambda_expression",
7161 "named": true
7162 },
7164 "type": "let_in_expression",
7165 "named": true
7166 },
7168 "type": "list_expression",
7169 "named": true
7170 },
7172 "type": "mul_expression",
7173 "named": true
7174 },
7176 "type": "negation_expression",
7177 "named": true
7178 },
7180 "type": "not_expression",
7181 "named": true
7182 },
7184 "type": "or_expression",
7185 "named": true
7186 },
7188 "type": "parenthesized_expression",
7189 "named": true
7190 },
7192 "type": "pipe_expression",
7193 "named": true
7194 },
7196 "type": "record_expression",
7197 "named": true
7198 },
7200 "type": "record_update_expression",
7201 "named": true
7202 },
7204 "type": "set_expression",
7205 "named": true
7206 },
7208 "type": "source_ref",
7209 "named": true
7210 },
7212 "type": "string_literal",
7213 "named": true
7214 },
7216 "type": "temporal_expression",
7217 "named": true
7218 },
7220 "type": "variable_expression",
7221 "named": true
7222 },
7224 "type": "yield_expression",
7225 "named": true
7230 },
7232 "type": "variable_expression",
7233 "named": true,
7234 "fields": {},
7235 "children": {
7236 "multiple": false,
7237 "required": true,
7238 "types": [
7240 "type": "lower_identifier",
7241 "named": true
7245 },
7247 "type": "variable_pattern",
7248 "named": true,
7249 "fields": {},
7250 "children": {
7251 "multiple": false,
7252 "required": true,
7253 "types": [
7255 "type": "lower_identifier",
7256 "named": true
7260 },
7262 "type": "variant_constructor",
7263 "named": true,
7264 "fields": {},
7265 "children": {
7266 "multiple": true,
7267 "required": true,
7268 "types": [
7270 "type": "record_type_body",
7271 "named": true
7272 },
7274 "type": "upper_identifier",
7275 "named": true
7279 },
7281 "type": "variant_type",
7282 "named": true,
7283 "fields": {},
7284 "children": {
7285 "multiple": true,
7286 "required": true,
7287 "types": [
7289 "type": "lower_identifier",
7290 "named": true
7291 },
7293 "type": "variant_constructor",
7294 "named": true
7298 },
7300 "type": "view_declaration",
7301 "named": true,
7302 "fields": {
7303 "body": {
7304 "multiple": false,
7305 "required": true,
7306 "types": [
7308 "type": "add_expression",
7309 "named": true
7310 },
7312 "type": "and_expression",
7313 "named": true
7314 },
7316 "type": "application_expression",
7317 "named": true
7318 },
7320 "type": "atomic_expression",
7321 "named": true
7322 },
7324 "type": "boolean_literal",
7325 "named": true
7326 },
7328 "type": "bytes_literal",
7329 "named": true
7330 },
7332 "type": "case_expression",
7333 "named": true
7334 },
7336 "type": "comparison_expression",
7337 "named": true
7338 },
7340 "type": "concat_expression",
7341 "named": true
7342 },
7344 "type": "constructor_expression",
7345 "named": true
7346 },
7348 "type": "derived_ref",
7349 "named": true
7350 },
7352 "type": "do_expression",
7353 "named": true
7354 },
7356 "type": "equality_expression",
7357 "named": true
7358 },
7360 "type": "field_access_expression",
7361 "named": true
7362 },
7364 "type": "float_literal",
7365 "named": true
7366 },
7368 "type": "replace_set_expression",
7369 "named": true
7370 },
7372 "type": "if_expression",
7373 "named": true
7374 },
7376 "type": "integer_literal",
7377 "named": true
7378 },
7380 "type": "lambda_expression",
7381 "named": true
7382 },
7384 "type": "let_in_expression",
7385 "named": true
7386 },
7388 "type": "list_expression",
7389 "named": true
7390 },
7392 "type": "mul_expression",
7393 "named": true
7394 },
7396 "type": "negation_expression",
7397 "named": true
7398 },
7400 "type": "not_expression",
7401 "named": true
7402 },
7404 "type": "or_expression",
7405 "named": true
7406 },
7408 "type": "parenthesized_expression",
7409 "named": true
7410 },
7412 "type": "pipe_expression",
7413 "named": true
7414 },
7416 "type": "record_expression",
7417 "named": true
7418 },
7420 "type": "record_update_expression",
7421 "named": true
7422 },
7424 "type": "set_expression",
7425 "named": true
7426 },
7428 "type": "source_ref",
7429 "named": true
7430 },
7432 "type": "string_literal",
7433 "named": true
7434 },
7436 "type": "temporal_expression",
7437 "named": true
7438 },
7440 "type": "variable_expression",
7441 "named": true
7442 },
7444 "type": "yield_expression",
7445 "named": true
7449 },
7450 "children": {
7451 "multiple": false,
7452 "required": true,
7453 "types": [
7455 "type": "source_ref",
7456 "named": true
7460 },
7462 "type": "where_statement",
7463 "named": true,
7464 "fields": {
7465 "condition": {
7466 "multiple": false,
7467 "required": true,
7468 "types": [
7470 "type": "add_expression",
7471 "named": true
7472 },
7474 "type": "and_expression",
7475 "named": true
7476 },
7478 "type": "application_expression",
7479 "named": true
7480 },
7482 "type": "atomic_expression",
7483 "named": true
7484 },
7486 "type": "boolean_literal",
7487 "named": true
7488 },
7490 "type": "bytes_literal",
7491 "named": true
7492 },
7494 "type": "case_expression",
7495 "named": true
7496 },
7498 "type": "comparison_expression",
7499 "named": true
7500 },
7502 "type": "concat_expression",
7503 "named": true
7504 },
7506 "type": "constructor_expression",
7507 "named": true
7508 },
7510 "type": "derived_ref",
7511 "named": true
7512 },
7514 "type": "do_expression",
7515 "named": true
7516 },
7518 "type": "equality_expression",
7519 "named": true
7520 },
7522 "type": "field_access_expression",
7523 "named": true
7524 },
7526 "type": "float_literal",
7527 "named": true
7528 },
7530 "type": "replace_set_expression",
7531 "named": true
7532 },
7534 "type": "if_expression",
7535 "named": true
7536 },
7538 "type": "integer_literal",
7539 "named": true
7540 },
7542 "type": "lambda_expression",
7543 "named": true
7544 },
7546 "type": "let_in_expression",
7547 "named": true
7548 },
7550 "type": "list_expression",
7551 "named": true
7552 },
7554 "type": "mul_expression",
7555 "named": true
7556 },
7558 "type": "negation_expression",
7559 "named": true
7560 },
7562 "type": "not_expression",
7563 "named": true
7564 },
7566 "type": "or_expression",
7567 "named": true
7568 },
7570 "type": "parenthesized_expression",
7571 "named": true
7572 },
7574 "type": "pipe_expression",
7575 "named": true
7576 },
7578 "type": "record_expression",
7579 "named": true
7580 },
7582 "type": "record_update_expression",
7583 "named": true
7584 },
7586 "type": "set_expression",
7587 "named": true
7588 },
7590 "type": "source_ref",
7591 "named": true
7592 },
7594 "type": "string_literal",
7595 "named": true
7596 },
7598 "type": "temporal_expression",
7599 "named": true
7600 },
7602 "type": "variable_expression",
7603 "named": true
7604 },
7606 "type": "yield_expression",
7607 "named": true
7612 },
7614 "type": "wildcard_pattern",
7615 "named": true,
7616 "fields": {}
7617 },
7619 "type": "yield_expression",
7620 "named": true,
7621 "fields": {
7622 "value": {
7623 "multiple": false,
7624 "required": true,
7625 "types": [
7627 "type": "add_expression",
7628 "named": true
7629 },
7631 "type": "and_expression",
7632 "named": true
7633 },
7635 "type": "application_expression",
7636 "named": true
7637 },
7639 "type": "atomic_expression",
7640 "named": true
7641 },
7643 "type": "boolean_literal",
7644 "named": true
7645 },
7647 "type": "bytes_literal",
7648 "named": true
7649 },
7651 "type": "case_expression",
7652 "named": true
7653 },
7655 "type": "comparison_expression",
7656 "named": true
7657 },
7659 "type": "concat_expression",
7660 "named": true
7661 },
7663 "type": "constructor_expression",
7664 "named": true
7665 },
7667 "type": "derived_ref",
7668 "named": true
7669 },
7671 "type": "do_expression",
7672 "named": true
7673 },
7675 "type": "equality_expression",
7676 "named": true
7677 },
7679 "type": "field_access_expression",
7680 "named": true
7681 },
7683 "type": "float_literal",
7684 "named": true
7685 },
7687 "type": "replace_set_expression",
7688 "named": true
7689 },
7691 "type": "if_expression",
7692 "named": true
7693 },
7695 "type": "integer_literal",
7696 "named": true
7697 },
7699 "type": "lambda_expression",
7700 "named": true
7701 },
7703 "type": "let_in_expression",
7704 "named": true
7705 },
7707 "type": "list_expression",
7708 "named": true
7709 },
7711 "type": "mul_expression",
7712 "named": true
7713 },
7715 "type": "negation_expression",
7716 "named": true
7717 },
7719 "type": "not_expression",
7720 "named": true
7721 },
7723 "type": "or_expression",
7724 "named": true
7725 },
7727 "type": "parenthesized_expression",
7728 "named": true
7729 },
7731 "type": "pipe_expression",
7732 "named": true
7733 },
7735 "type": "record_expression",
7736 "named": true
7737 },
7739 "type": "record_update_expression",
7740 "named": true
7741 },
7743 "type": "set_expression",
7744 "named": true
7745 },
7747 "type": "source_ref",
7748 "named": true
7749 },
7751 "type": "string_literal",
7752 "named": true
7753 },
7755 "type": "temporal_expression",
7756 "named": true
7757 },
7759 "type": "variable_expression",
7760 "named": true
7761 },
7763 "type": "yield_expression",
7764 "named": true
7769 },
7771 "type": "!=",
7772 "named": false
7773 },
7775 "type": "\"",
7776 "named": false
7777 },
7779 "type": "&&",
7780 "named": false
7781 },
7783 "type": "(",
7784 "named": false
7785 },
7787 "type": ")",
7788 "named": false
7789 },
7791 "type": "*",
7792 "named": false
7793 },
7795 "type": "+",
7796 "named": false
7797 },
7799 "type": "++",
7800 "named": false
7801 },
7803 "type": ",",
7804 "named": false
7805 },
7807 "type": "-",
7808 "named": false
7809 },
7811 "type": "->",
7812 "named": false
7813 },
7815 "type": ".",
7816 "named": false
7817 },
7819 "type": "/",
7820 "named": false
7821 },
7823 "type": ":",
7824 "named": false
7825 },
7827 "type": "<",
7828 "named": false
7829 },
7831 "type": "<-",
7832 "named": false
7833 },
7835 "type": "<=",
7836 "named": false
7837 },
7839 "type": "=",
7840 "named": false
7841 },
7843 "type": "==",
7844 "named": false
7845 },
7847 "type": "=>",
7848 "named": false
7849 },
7851 "type": ">",
7852 "named": false
7853 },
7855 "type": ">=",
7856 "named": false
7857 },
7859 "type": "?",
7860 "named": false
7861 },
7863 "type": "@",
7864 "named": false
7865 },
7867 "type": "DELETE",
7868 "named": false
7869 },
7871 "type": "GET",
7872 "named": false
7873 },
7875 "type": "PATCH",
7876 "named": false
7877 },
7879 "type": "POST",
7880 "named": false
7881 },
7883 "type": "PUT",
7884 "named": false
7885 },
7887 "type": "[",
7888 "named": false
7889 },
7891 "type": "\\",
7892 "named": false
7893 },
7895 "type": "]",
7896 "named": false
7897 },
7899 "type": "_",
7900 "named": false
7901 },
7903 "type": "atomic",
7904 "named": false
7905 },
7907 "type": "b\"",
7908 "named": false
7909 },
7911 "type": "case",
7912 "named": false
7913 },
7915 "type": "comment",
7916 "named": true,
7917 "extra": true
7918 },
7920 "type": "data",
7921 "named": false
7922 },
7924 "type": "derived_ref",
7925 "named": true
7926 },
7928 "type": "deriving",
7929 "named": false
7930 },
7932 "type": "do",
7933 "named": false
7934 },
7936 "type": "else",
7937 "named": false
7938 },
7940 "type": "escape_sequence",
7941 "named": true
7942 },
7944 "type": "export",
7945 "named": false
7946 },
7948 "type": "false",
7949 "named": false
7950 },
7952 "type": "float_literal",
7953 "named": true
7954 },
7956 "type": "from",
7957 "named": false
7958 },
7960 "type": "headers",
7961 "named": false
7962 },
7964 "type": "history",
7965 "named": false
7966 },
7968 "type": "if",
7969 "named": false
7970 },
7972 "type": "impl",
7973 "named": false
7974 },
7976 "type": "import",
7977 "named": false
7978 },
7980 "type": "in",
7981 "named": false
7982 },
7984 "type": "integer_literal",
7985 "named": true
7986 },
7988 "type": "let",
7989 "named": false
7990 },
7992 "type": "lower_identifier",
7993 "named": true
7994 },
7996 "type": "migrate",
7997 "named": false
7998 },
8000 "type": "module",
8001 "named": false
8002 },
8004 "type": "not",
8005 "named": false
8006 },
8008 "type": "of",
8009 "named": false
8010 },
8012 "type": "replace",
8013 "named": false
8014 },
8016 "type": "route",
8017 "named": false
8018 },
8020 "type": "set",
8021 "named": false
8022 },
8024 "type": "source_ref",
8025 "named": true
8026 },
8028 "type": "string_content",
8029 "named": true
8030 },
8032 "type": "then",
8033 "named": false
8034 },
8036 "type": "to",
8037 "named": false
8038 },
8040 "type": "trait",
8041 "named": false
8042 },
8044 "type": "true",
8045 "named": false
8046 },
8048 "type": "type",
8049 "named": false
8050 },
8052 "type": "upper_identifier",
8053 "named": true
8054 },
8056 "type": "using",
8057 "named": false
8058 },
8060 "type": "where",
8061 "named": false
8062 },
8064 "type": "with",
8065 "named": false
8066 },
8068 "type": "yield",
8069 "named": false
8070 },
8072 "type": "{",
8073 "named": false
8074 },
8076 "type": "|",
8077 "named": false
8078 },
8080 "type": "|>",
8081 "named": false
8082 },
8084 "type": "||",
8085 "named": false
8086 },
8088 "type": "}",
8089 "named": false