pareto 0.54.0 → 0.56.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (78) hide show
  1. package/auto.dist/public/cosmos__2__pareto/auto.provided_interface_glossary.d.ts +479 -243
  2. package/auto.dist/public/cosmos__2__pareto/implementations/library2ParetoComparators.alg.js +19 -19
  3. package/auto.dist/public/glossaries/grammar.d.ts +260 -0
  4. package/auto.dist/public/glossaries/grammar.js +3 -0
  5. package/auto.dist/public/glossaries/grammar.shadow.d.ts +8 -0
  6. package/auto.dist/public/glossaries/grammar.shadow.js +3 -0
  7. package/auto.dist/public/glossaries/liana.d.ts +2433 -0
  8. package/auto.dist/public/glossaries/liana.js +3 -0
  9. package/auto.dist/public/glossaries/liana.shadow.d.ts +8 -0
  10. package/auto.dist/public/glossaries/liana.shadow.js +3 -0
  11. package/auto.dist/public/glossaries/pareto.d.ts +477 -241
  12. package/auto.dist/public/glossaries/tendril.d.ts +1425 -0
  13. package/auto.dist/public/glossaries/tendril.js +3 -0
  14. package/auto.dist/public/glossaries/tendril.shadow.d.ts +8 -0
  15. package/auto.dist/public/glossaries/tendril.shadow.js +3 -0
  16. package/auto.dist/public/pareto__2__typescript/auto.provided_interface_glossary.d.ts +477 -241
  17. package/auto.dist/public/pareto__2__typescript/implementations/serializeCompilationUnit.alg.js +157 -109
  18. package/auto.dist/public/shorthands/cosmos.d.ts +50 -0
  19. package/auto.dist/public/shorthands/cosmos.js +512 -0
  20. package/auto.dist/public/shorthands/grammar.d.ts +13 -0
  21. package/auto.dist/public/shorthands/grammar.js +110 -0
  22. package/auto.dist/public/shorthands/liana.d.ts +66 -0
  23. package/auto.dist/public/shorthands/liana.js +728 -0
  24. package/auto.dist/public/shorthands/pareto.d.ts +4 -4
  25. package/auto.dist/public/shorthands/pareto.js +31 -29
  26. package/auto.dist/public/shorthands/tendril.d.ts +48 -0
  27. package/auto.dist/public/shorthands/tendril.js +402 -0
  28. package/auto.pareto/$.data.ts +9 -3
  29. package/auto.pareto/auto.dependencies/index.ts +2 -2
  30. package/auto.pareto/auto.dependencies/pareto-standard-impure-library/$.data.ts +1 -1
  31. package/auto.pareto/auto.dependencies/pareto-standard-impure-library/modules/arithmetic/api.data.ts +2 -2
  32. package/auto.pareto/auto.dependencies/pareto-standard-impure-library/modules/arithmetic/glossary.data.ts +1 -1
  33. package/auto.pareto/auto.dependencies/pareto-standard-impure-library/modules/array/api.data.ts +2 -2
  34. package/auto.pareto/auto.dependencies/pareto-standard-impure-library/modules/array/glossary.data.ts +1 -1
  35. package/auto.pareto/auto.dependencies/pareto-standard-impure-library/modules/boolean/api.data.ts +2 -2
  36. package/auto.pareto/auto.dependencies/pareto-standard-impure-library/modules/boolean/glossary.data.ts +1 -1
  37. package/auto.pareto/auto.dependencies/pareto-standard-impure-library/modules/build/api.data.ts +2 -2
  38. package/auto.pareto/auto.dependencies/pareto-standard-impure-library/modules/build/glossary.data.ts +1 -1
  39. package/auto.pareto/auto.dependencies/pareto-standard-impure-library/modules/collation/api.data.ts +2 -2
  40. package/auto.pareto/auto.dependencies/pareto-standard-impure-library/modules/collation/glossary.data.ts +1 -1
  41. package/auto.pareto/auto.dependencies/pareto-standard-impure-library/modules/dictionary/api.data.ts +2 -2
  42. package/auto.pareto/auto.dependencies/pareto-standard-impure-library/modules/dictionary/glossary.data.ts +1 -1
  43. package/auto.pareto/auto.dependencies/pareto-standard-impure-library/modules/filesystem/api.data.ts +2 -2
  44. package/auto.pareto/auto.dependencies/pareto-standard-impure-library/modules/filesystem/glossary.data.ts +1 -1
  45. package/auto.pareto/auto.dependencies/pareto-standard-impure-library/modules/foreach/api.data.ts +2 -2
  46. package/auto.pareto/auto.dependencies/pareto-standard-impure-library/modules/foreach/glossary.data.ts +1 -1
  47. package/auto.pareto/auto.dependencies/pareto-standard-impure-library/modules/http/api.data.ts +2 -2
  48. package/auto.pareto/auto.dependencies/pareto-standard-impure-library/modules/http/glossary.data.ts +1 -1
  49. package/auto.pareto/auto.dependencies/pareto-standard-impure-library/modules/json/api.data.ts +2 -2
  50. package/auto.pareto/auto.dependencies/pareto-standard-impure-library/modules/json/glossary.data.ts +1 -1
  51. package/auto.pareto/auto.dependencies/pareto-standard-impure-library/modules/nested/api.data.ts +2 -2
  52. package/auto.pareto/auto.dependencies/pareto-standard-impure-library/modules/nested/glossary.data.ts +1 -1
  53. package/auto.pareto/auto.dependencies/pareto-standard-impure-library/modules/numerical_predicates/api.data.ts +2 -2
  54. package/auto.pareto/auto.dependencies/pareto-standard-impure-library/modules/numerical_predicates/glossary.data.ts +1 -1
  55. package/auto.pareto/auto.dependencies/pareto-standard-impure-library/modules/path/api.data.ts +2 -2
  56. package/auto.pareto/auto.dependencies/pareto-standard-impure-library/modules/path/glossary.data.ts +1 -1
  57. package/auto.pareto/auto.dependencies/pareto-standard-impure-library/modules/resolve/api.data.ts +2 -2
  58. package/auto.pareto/auto.dependencies/pareto-standard-impure-library/modules/resolve/glossary.data.ts +1 -1
  59. package/auto.pareto/auto.dependencies/pareto-standard-impure-library/modules/string/api.data.ts +2 -2
  60. package/auto.pareto/auto.dependencies/pareto-standard-impure-library/modules/string/glossary.data.ts +1 -1
  61. package/auto.pareto/auto.dependencies/pareto-standard-impure-library/modules/tostring/api.data.ts +2 -2
  62. package/auto.pareto/auto.dependencies/pareto-standard-impure-library/modules/tostring/glossary.data.ts +1 -1
  63. package/auto.pareto/auto.dependencies/res-typescript/$.data.ts +1 -1
  64. package/auto.pareto/auto.dependencies/res-typescript/modules/naming/api.data.ts +2 -2
  65. package/auto.pareto/auto.dependencies/res-typescript/modules/naming/glossary.data.ts +1 -1
  66. package/auto.pareto/auto.dependencies/res-typescript/modules/serialize/api.data.ts +2 -2
  67. package/auto.pareto/auto.dependencies/res-typescript/modules/serialize/glossary.data.ts +1 -1
  68. package/auto.pareto/glossaries/auto.grammar.data.ts +262 -0
  69. package/auto.pareto/glossaries/auto.liana.data.ts +1955 -0
  70. package/auto.pareto/glossaries/auto.pareto.data.ts +430 -259
  71. package/auto.pareto/glossaries/auto.tendril.data.ts +1139 -0
  72. package/auto.pareto/modules/cosmos2pareto/api.data.ts +3 -4
  73. package/auto.pareto/modules/cosmos2pareto/glossary.data.ts +3 -3
  74. package/auto.pareto/modules/fountain_pen/api.data.ts +4 -4
  75. package/auto.pareto/modules/fountain_pen/glossary.data.ts +3 -3
  76. package/auto.pareto/modules/pareto2typescript/api.data.ts +4 -4
  77. package/auto.pareto/modules/pareto2typescript/glossary.data.ts +3 -3
  78. package/package.json +4 -4
package/auto.dist/public/glossaries/tendril.d.ts ADDED
@@ -0,0 +1,1425 @@
1
+ import * as pt from 'pareto-core-types';
2
+ export declare namespace G { }
3
+ export declare namespace N {
4
+ namespace Atom {
5
+ namespace N {
6
+ namespace G {
7
+ namespace N {
8
+ namespace _$ltype {
9
+ namespace N { }
10
+ namespace D { }
11
+ }
12
+ }
13
+ namespace D { }
14
+ }
15
+ }
16
+ namespace D { }
17
+ }
18
+ namespace Dictionary_$_$Constraints {
19
+ namespace N {
20
+ namespace DX {
21
+ namespace N {
22
+ namespace G {
23
+ namespace N {
24
+ namespace _$ltype {
25
+ namespace N { }
26
+ namespace D { }
27
+ }
28
+ }
29
+ namespace D { }
30
+ }
31
+ }
32
+ namespace D { }
33
+ }
34
+ }
35
+ namespace D { }
36
+ }
37
+ namespace Global_$_$Type {
38
+ namespace N {
39
+ namespace G {
40
+ namespace N {
41
+ namespace result {
42
+ namespace N {
43
+ namespace O {
44
+ namespace N {
45
+ namespace G {
46
+ namespace N {
47
+ namespace _$ltype {
48
+ namespace N { }
49
+ namespace D { }
50
+ }
51
+ }
52
+ namespace D { }
53
+ }
54
+ }
55
+ namespace D { }
56
+ }
57
+ }
58
+ namespace D { }
59
+ }
60
+ namespace _$ltype {
61
+ namespace N { }
62
+ namespace D { }
63
+ }
64
+ }
65
+ namespace D { }
66
+ }
67
+ }
68
+ namespace D { }
69
+ }
70
+ namespace Global_$_$Type_$_$Selection {
71
+ namespace N {
72
+ namespace G {
73
+ namespace N {
74
+ namespace _$limport {
75
+ namespace N {
76
+ namespace O {
77
+ namespace N { }
78
+ namespace D { }
79
+ }
80
+ }
81
+ namespace D { }
82
+ }
83
+ namespace _$ltype {
84
+ namespace N { }
85
+ namespace D { }
86
+ }
87
+ }
88
+ namespace D { }
89
+ }
90
+ }
91
+ namespace D { }
92
+ }
93
+ namespace Imports {
94
+ namespace N {
95
+ namespace DX {
96
+ namespace N {
97
+ namespace G {
98
+ namespace N { }
99
+ namespace D { }
100
+ }
101
+ }
102
+ namespace D { }
103
+ }
104
+ }
105
+ namespace D { }
106
+ }
107
+ namespace Labels {
108
+ namespace N {
109
+ namespace G {
110
+ namespace N {
111
+ namespace atom_$_$types {
112
+ namespace N {
113
+ namespace DX {
114
+ namespace N {
115
+ namespace G {
116
+ namespace N { }
117
+ namespace D { }
118
+ }
119
+ }
120
+ namespace D { }
121
+ }
122
+ }
123
+ namespace D { }
124
+ }
125
+ }
126
+ namespace D { }
127
+ }
128
+ }
129
+ namespace D { }
130
+ }
131
+ namespace Model {
132
+ namespace N {
133
+ namespace G {
134
+ namespace N {
135
+ namespace root {
136
+ namespace N { }
137
+ namespace D { }
138
+ }
139
+ namespace type_$_$library {
140
+ namespace N { }
141
+ namespace D { }
142
+ }
143
+ }
144
+ namespace D { }
145
+ }
146
+ }
147
+ namespace D { }
148
+ }
149
+ namespace Option_$_$Constraints {
150
+ namespace N {
151
+ namespace DX {
152
+ namespace N {
153
+ namespace G {
154
+ namespace N {
155
+ namespace option {
156
+ namespace N { }
157
+ namespace D { }
158
+ }
159
+ namespace _$ltype {
160
+ namespace N { }
161
+ namespace D { }
162
+ }
163
+ }
164
+ namespace D { }
165
+ }
166
+ }
167
+ namespace D { }
168
+ }
169
+ }
170
+ namespace D { }
171
+ }
172
+ namespace Properties {
173
+ namespace N {
174
+ namespace DX {
175
+ namespace N {
176
+ namespace G {
177
+ namespace N {
178
+ namespace _$ltype {
179
+ namespace N { }
180
+ namespace D { }
181
+ }
182
+ }
183
+ namespace D { }
184
+ }
185
+ }
186
+ namespace D { }
187
+ }
188
+ }
189
+ namespace D { }
190
+ }
191
+ namespace Type {
192
+ namespace N {
193
+ namespace G {
194
+ namespace N {
195
+ namespace _$ltype {
196
+ namespace N {
197
+ namespace TU {
198
+ namespace N {
199
+ namespace array {
200
+ namespace N {
201
+ namespace G {
202
+ namespace N {
203
+ namespace _$ltype {
204
+ namespace N { }
205
+ namespace D { }
206
+ }
207
+ }
208
+ namespace D { }
209
+ }
210
+ }
211
+ namespace D { }
212
+ }
213
+ namespace component {
214
+ namespace N {
215
+ namespace G {
216
+ namespace N {
217
+ namespace context {
218
+ namespace N {
219
+ namespace TU {
220
+ namespace N {
221
+ namespace cyclic_$_$sibling {
222
+ namespace N {
223
+ namespace G {
224
+ namespace N {
225
+ namespace _$ltype {
226
+ namespace N { }
227
+ namespace D { }
228
+ }
229
+ }
230
+ namespace D { }
231
+ }
232
+ }
233
+ namespace D { }
234
+ }
235
+ namespace _$limport {
236
+ namespace N {
237
+ namespace G {
238
+ namespace N {
239
+ namespace library {
240
+ namespace N { }
241
+ namespace D { }
242
+ }
243
+ namespace _$ltype {
244
+ namespace N { }
245
+ namespace D { }
246
+ }
247
+ }
248
+ namespace D { }
249
+ }
250
+ }
251
+ namespace D { }
252
+ }
253
+ namespace resolved_$_$sibling {
254
+ namespace N {
255
+ namespace G {
256
+ namespace N {
257
+ namespace _$ltype {
258
+ namespace N { }
259
+ namespace D { }
260
+ }
261
+ }
262
+ namespace D { }
263
+ }
264
+ }
265
+ namespace D { }
266
+ }
267
+ }
268
+ namespace D { }
269
+ }
270
+ }
271
+ namespace D { }
272
+ }
273
+ }
274
+ namespace D { }
275
+ }
276
+ }
277
+ namespace D { }
278
+ }
279
+ namespace dictionary {
280
+ namespace N {
281
+ namespace G {
282
+ namespace N {
283
+ namespace constraints {
284
+ namespace N { }
285
+ namespace D { }
286
+ }
287
+ namespace key {
288
+ namespace N { }
289
+ namespace D { }
290
+ }
291
+ namespace _$ltype {
292
+ namespace N { }
293
+ namespace D { }
294
+ }
295
+ }
296
+ namespace D { }
297
+ }
298
+ }
299
+ namespace D { }
300
+ }
301
+ namespace group {
302
+ namespace N {
303
+ namespace G {
304
+ namespace N {
305
+ namespace properties {
306
+ namespace N { }
307
+ namespace D { }
308
+ }
309
+ }
310
+ namespace D { }
311
+ }
312
+ }
313
+ namespace D { }
314
+ }
315
+ namespace nothing {
316
+ namespace N {
317
+ namespace G {
318
+ namespace N {
319
+ namespace result {
320
+ namespace N {
321
+ namespace O {
322
+ namespace N {
323
+ namespace G {
324
+ namespace N {
325
+ namespace _$ltype {
326
+ namespace N { }
327
+ namespace D { }
328
+ }
329
+ }
330
+ namespace D { }
331
+ }
332
+ }
333
+ namespace D { }
334
+ }
335
+ }
336
+ namespace D { }
337
+ }
338
+ }
339
+ namespace D { }
340
+ }
341
+ }
342
+ namespace D { }
343
+ }
344
+ namespace optional {
345
+ namespace N {
346
+ namespace G {
347
+ namespace N {
348
+ namespace result {
349
+ namespace N {
350
+ namespace O {
351
+ namespace N {
352
+ namespace G {
353
+ namespace N {
354
+ namespace _$ltype {
355
+ namespace N { }
356
+ namespace D { }
357
+ }
358
+ }
359
+ namespace D { }
360
+ }
361
+ }
362
+ namespace D { }
363
+ }
364
+ }
365
+ namespace D { }
366
+ }
367
+ namespace _$ltype {
368
+ namespace N { }
369
+ namespace D { }
370
+ }
371
+ }
372
+ namespace D { }
373
+ }
374
+ }
375
+ namespace D { }
376
+ }
377
+ namespace tagged_$_$union {
378
+ namespace N {
379
+ namespace G {
380
+ namespace N {
381
+ namespace options {
382
+ namespace N {
383
+ namespace DX {
384
+ namespace N {
385
+ namespace G {
386
+ namespace N {
387
+ namespace constraints {
388
+ namespace N { }
389
+ namespace D { }
390
+ }
391
+ namespace _$ltype {
392
+ namespace N { }
393
+ namespace D { }
394
+ }
395
+ }
396
+ namespace D { }
397
+ }
398
+ }
399
+ namespace D { }
400
+ }
401
+ }
402
+ namespace D { }
403
+ }
404
+ namespace result {
405
+ namespace N {
406
+ namespace O {
407
+ namespace N { }
408
+ namespace D { }
409
+ }
410
+ }
411
+ namespace D { }
412
+ }
413
+ }
414
+ namespace D { }
415
+ }
416
+ }
417
+ namespace D { }
418
+ }
419
+ namespace terminal {
420
+ namespace N {
421
+ namespace G {
422
+ namespace N {
423
+ namespace constrained {
424
+ namespace N {
425
+ namespace TU {
426
+ namespace N {
427
+ namespace no {
428
+ namespace N {
429
+ namespace G {
430
+ namespace N { }
431
+ namespace D { }
432
+ }
433
+ }
434
+ namespace D { }
435
+ }
436
+ namespace yes {
437
+ namespace N {
438
+ namespace G {
439
+ namespace N {
440
+ namespace computed {
441
+ namespace N {
442
+ namespace TU {
443
+ namespace N {
444
+ namespace no {
445
+ namespace N {
446
+ namespace G {
447
+ namespace N { }
448
+ namespace D { }
449
+ }
450
+ }
451
+ namespace D { }
452
+ }
453
+ namespace yes {
454
+ namespace N {
455
+ namespace G {
456
+ namespace N { }
457
+ namespace D { }
458
+ }
459
+ }
460
+ namespace D { }
461
+ }
462
+ }
463
+ namespace D { }
464
+ }
465
+ }
466
+ namespace D { }
467
+ }
468
+ namespace _$ltype {
469
+ namespace N { }
470
+ namespace D { }
471
+ }
472
+ }
473
+ namespace D { }
474
+ }
475
+ }
476
+ namespace D { }
477
+ }
478
+ }
479
+ namespace D { }
480
+ }
481
+ }
482
+ namespace D { }
483
+ }
484
+ namespace terminal {
485
+ namespace N { }
486
+ namespace D { }
487
+ }
488
+ }
489
+ namespace D { }
490
+ }
491
+ }
492
+ namespace D { }
493
+ }
494
+ }
495
+ namespace D { }
496
+ }
497
+ }
498
+ namespace D { }
499
+ }
500
+ }
501
+ namespace D { }
502
+ }
503
+ }
504
+ namespace D { }
505
+ }
506
+ namespace Type_$_$Library {
507
+ namespace N {
508
+ namespace G {
509
+ namespace N {
510
+ namespace global_$_$types {
511
+ namespace N {
512
+ namespace DX {
513
+ namespace N { }
514
+ namespace D { }
515
+ }
516
+ }
517
+ namespace D { }
518
+ }
519
+ namespace imports {
520
+ namespace N { }
521
+ namespace D { }
522
+ }
523
+ namespace labels {
524
+ namespace N { }
525
+ namespace D { }
526
+ }
527
+ }
528
+ namespace D { }
529
+ }
530
+ }
531
+ namespace D { }
532
+ }
533
+ namespace Type_$_$Selection {
534
+ namespace N {
535
+ namespace G {
536
+ namespace N {
537
+ namespace global_$_$type {
538
+ namespace N { }
539
+ namespace D { }
540
+ }
541
+ namespace tail {
542
+ namespace N {
543
+ namespace O {
544
+ namespace N { }
545
+ namespace D { }
546
+ }
547
+ }
548
+ namespace D { }
549
+ }
550
+ }
551
+ namespace D { }
552
+ }
553
+ }
554
+ namespace D { }
555
+ }
556
+ namespace Type_$_$Selection_$_$Tail {
557
+ namespace N {
558
+ namespace G {
559
+ namespace N {
560
+ namespace step_$_$type {
561
+ namespace N {
562
+ namespace TU {
563
+ namespace N {
564
+ namespace array {
565
+ namespace N {
566
+ namespace G {
567
+ namespace N { }
568
+ namespace D { }
569
+ }
570
+ }
571
+ namespace D { }
572
+ }
573
+ namespace dictionary {
574
+ namespace N {
575
+ namespace G {
576
+ namespace N { }
577
+ namespace D { }
578
+ }
579
+ }
580
+ namespace D { }
581
+ }
582
+ namespace group {
583
+ namespace N {
584
+ namespace G {
585
+ namespace N {
586
+ namespace property {
587
+ namespace N { }
588
+ namespace D { }
589
+ }
590
+ }
591
+ namespace D { }
592
+ }
593
+ }
594
+ namespace D { }
595
+ }
596
+ namespace optional {
597
+ namespace N {
598
+ namespace G {
599
+ namespace N { }
600
+ namespace D { }
601
+ }
602
+ }
603
+ namespace D { }
604
+ }
605
+ namespace tagged_$_$union {
606
+ namespace N {
607
+ namespace G {
608
+ namespace N {
609
+ namespace option {
610
+ namespace N { }
611
+ namespace D { }
612
+ }
613
+ }
614
+ namespace D { }
615
+ }
616
+ }
617
+ namespace D { }
618
+ }
619
+ }
620
+ namespace D { }
621
+ }
622
+ }
623
+ namespace D { }
624
+ }
625
+ namespace tail {
626
+ namespace N {
627
+ namespace O {
628
+ namespace N { }
629
+ namespace D { }
630
+ }
631
+ }
632
+ namespace D { }
633
+ }
634
+ }
635
+ namespace D { }
636
+ }
637
+ }
638
+ namespace D { }
639
+ }
640
+ }
641
+ export declare namespace D {
642
+ namespace Atom {
643
+ namespace _ltype {
644
+ type annotation<GAnnotation> = GAnnotation;
645
+ type key<GAnnotation> = string;
646
+ }
647
+ type _ltype<GAnnotation> = {
648
+ readonly 'annotation': GAnnotation;
649
+ readonly 'key': string;
650
+ };
651
+ }
652
+ type Atom<GAnnotation> = {
653
+ readonly 'type': {
654
+ readonly 'annotation': GAnnotation;
655
+ readonly 'key': string;
656
+ };
657
+ };
658
+ namespace Dictionary__Constraints {
659
+ namespace DX {
660
+ type _ltype<GAnnotation> = D.Type__Selection<GAnnotation>;
661
+ }
662
+ type DX<GAnnotation> = {
663
+ readonly 'type': D.Type__Selection<GAnnotation>;
664
+ };
665
+ }
666
+ type Dictionary__Constraints<GAnnotation> = pt.Dictionary<{
667
+ readonly 'type': D.Type__Selection<GAnnotation>;
668
+ }>;
669
+ namespace Global__Type {
670
+ namespace result {
671
+ namespace O {
672
+ type _ltype<GAnnotation> = D.Global__Type__Selection<GAnnotation>;
673
+ }
674
+ type O<GAnnotation> = {
675
+ readonly 'type': D.Global__Type__Selection<GAnnotation>;
676
+ };
677
+ }
678
+ type result<GAnnotation> = pt.OptionalValue<{
679
+ readonly 'type': D.Global__Type__Selection<GAnnotation>;
680
+ }>;
681
+ type _ltype<GAnnotation> = D.Type<GAnnotation>;
682
+ }
683
+ type Global__Type<GAnnotation> = {
684
+ readonly 'result': pt.OptionalValue<{
685
+ readonly 'type': D.Global__Type__Selection<GAnnotation>;
686
+ }>;
687
+ readonly 'type': D.Type<GAnnotation>;
688
+ };
689
+ namespace Global__Type__Selection {
690
+ namespace _limport {
691
+ namespace O {
692
+ type annotation<GAnnotation> = GAnnotation;
693
+ type key<GAnnotation> = string;
694
+ }
695
+ type O<GAnnotation> = {
696
+ readonly 'annotation': GAnnotation;
697
+ readonly 'key': string;
698
+ };
699
+ }
700
+ type _limport<GAnnotation> = pt.OptionalValue<{
701
+ readonly 'annotation': GAnnotation;
702
+ readonly 'key': string;
703
+ }>;
704
+ namespace _ltype {
705
+ type annotation<GAnnotation> = GAnnotation;
706
+ type key<GAnnotation> = string;
707
+ }
708
+ type _ltype<GAnnotation> = {
709
+ readonly 'annotation': GAnnotation;
710
+ readonly 'key': string;
711
+ };
712
+ }
713
+ type Global__Type__Selection<GAnnotation> = {
714
+ readonly 'import': pt.OptionalValue<{
715
+ readonly 'annotation': GAnnotation;
716
+ readonly 'key': string;
717
+ }>;
718
+ readonly 'type': {
719
+ readonly 'annotation': GAnnotation;
720
+ readonly 'key': string;
721
+ };
722
+ };
723
+ namespace Imports {
724
+ namespace DX { }
725
+ type DX<GAnnotation> = null;
726
+ }
727
+ type Imports<GAnnotation> = pt.Dictionary<null>;
728
+ namespace Labels {
729
+ namespace atom__types {
730
+ namespace DX { }
731
+ type DX<GAnnotation> = null;
732
+ }
733
+ type atom__types<GAnnotation> = pt.Dictionary<null>;
734
+ }
735
+ type Labels<GAnnotation> = {
736
+ readonly 'atom types': pt.Dictionary<null>;
737
+ };
738
+ namespace Model {
739
+ namespace root {
740
+ type annotation<GAnnotation> = GAnnotation;
741
+ type key<GAnnotation> = string;
742
+ }
743
+ type root<GAnnotation> = {
744
+ readonly 'annotation': GAnnotation;
745
+ readonly 'key': string;
746
+ };
747
+ type type__library<GAnnotation> = D.Type__Library<GAnnotation>;
748
+ }
749
+ type Model<GAnnotation> = {
750
+ readonly 'root': {
751
+ readonly 'annotation': GAnnotation;
752
+ readonly 'key': string;
753
+ };
754
+ readonly 'type library': D.Type__Library<GAnnotation>;
755
+ };
756
+ namespace Option__Constraints {
757
+ namespace DX {
758
+ namespace option {
759
+ type annotation<GAnnotation> = GAnnotation;
760
+ type key<GAnnotation> = string;
761
+ }
762
+ type option<GAnnotation> = {
763
+ readonly 'annotation': GAnnotation;
764
+ readonly 'key': string;
765
+ };
766
+ type _ltype<GAnnotation> = D.Type__Selection<GAnnotation>;
767
+ }
768
+ type DX<GAnnotation> = {
769
+ readonly 'option': {
770
+ readonly 'annotation': GAnnotation;
771
+ readonly 'key': string;
772
+ };
773
+ readonly 'type': D.Type__Selection<GAnnotation>;
774
+ };
775
+ }
776
+ type Option__Constraints<GAnnotation> = pt.Dictionary<{
777
+ readonly 'option': {
778
+ readonly 'annotation': GAnnotation;
779
+ readonly 'key': string;
780
+ };
781
+ readonly 'type': D.Type__Selection<GAnnotation>;
782
+ }>;
783
+ namespace Properties {
784
+ namespace DX {
785
+ type _ltype<GAnnotation> = D.Type<GAnnotation>;
786
+ }
787
+ type DX<GAnnotation> = {
788
+ readonly 'type': D.Type<GAnnotation>;
789
+ };
790
+ }
791
+ type Properties<GAnnotation> = pt.Dictionary<{
792
+ readonly 'type': D.Type<GAnnotation>;
793
+ }>;
794
+ namespace Type {
795
+ namespace _ltype {
796
+ namespace array {
797
+ type _ltype<GAnnotation> = D.Type<GAnnotation>;
798
+ }
799
+ type array<GAnnotation> = {
800
+ readonly 'type': D.Type<GAnnotation>;
801
+ };
802
+ namespace component {
803
+ namespace context {
804
+ namespace cyclic__sibling {
805
+ namespace _ltype {
806
+ type annotation<GAnnotation> = GAnnotation;
807
+ type key<GAnnotation> = string;
808
+ }
809
+ type _ltype<GAnnotation> = {
810
+ readonly 'annotation': GAnnotation;
811
+ readonly 'key': string;
812
+ };
813
+ }
814
+ type cyclic__sibling<GAnnotation> = {
815
+ readonly 'type': {
816
+ readonly 'annotation': GAnnotation;
817
+ readonly 'key': string;
818
+ };
819
+ };
820
+ namespace _limport {
821
+ namespace library {
822
+ type annotation<GAnnotation> = GAnnotation;
823
+ type key<GAnnotation> = string;
824
+ }
825
+ type library<GAnnotation> = {
826
+ readonly 'annotation': GAnnotation;
827
+ readonly 'key': string;
828
+ };
829
+ namespace _ltype {
830
+ type annotation<GAnnotation> = GAnnotation;
831
+ type key<GAnnotation> = string;
832
+ }
833
+ type _ltype<GAnnotation> = {
834
+ readonly 'annotation': GAnnotation;
835
+ readonly 'key': string;
836
+ };
837
+ }
838
+ type _limport<GAnnotation> = {
839
+ readonly 'library': {
840
+ readonly 'annotation': GAnnotation;
841
+ readonly 'key': string;
842
+ };
843
+ readonly 'type': {
844
+ readonly 'annotation': GAnnotation;
845
+ readonly 'key': string;
846
+ };
847
+ };
848
+ namespace resolved__sibling {
849
+ namespace _ltype {
850
+ type annotation<GAnnotation> = GAnnotation;
851
+ type key<GAnnotation> = string;
852
+ }
853
+ type _ltype<GAnnotation> = {
854
+ readonly 'annotation': GAnnotation;
855
+ readonly 'key': string;
856
+ };
857
+ }
858
+ type resolved__sibling<GAnnotation> = {
859
+ readonly 'type': {
860
+ readonly 'annotation': GAnnotation;
861
+ readonly 'key': string;
862
+ };
863
+ };
864
+ }
865
+ type context<GAnnotation> = [
866
+ 'cyclic sibling',
867
+ {
868
+ readonly 'type': {
869
+ readonly 'annotation': GAnnotation;
870
+ readonly 'key': string;
871
+ };
872
+ }
873
+ ] | [
874
+ 'import',
875
+ {
876
+ readonly 'library': {
877
+ readonly 'annotation': GAnnotation;
878
+ readonly 'key': string;
879
+ };
880
+ readonly 'type': {
881
+ readonly 'annotation': GAnnotation;
882
+ readonly 'key': string;
883
+ };
884
+ }
885
+ ] | [
886
+ 'resolved sibling',
887
+ {
888
+ readonly 'type': {
889
+ readonly 'annotation': GAnnotation;
890
+ readonly 'key': string;
891
+ };
892
+ }
893
+ ];
894
+ }
895
+ type component<GAnnotation> = {
896
+ readonly 'context': [
897
+ 'cyclic sibling',
898
+ {
899
+ readonly 'type': {
900
+ readonly 'annotation': GAnnotation;
901
+ readonly 'key': string;
902
+ };
903
+ }
904
+ ] | [
905
+ 'import',
906
+ {
907
+ readonly 'library': {
908
+ readonly 'annotation': GAnnotation;
909
+ readonly 'key': string;
910
+ };
911
+ readonly 'type': {
912
+ readonly 'annotation': GAnnotation;
913
+ readonly 'key': string;
914
+ };
915
+ }
916
+ ] | [
917
+ 'resolved sibling',
918
+ {
919
+ readonly 'type': {
920
+ readonly 'annotation': GAnnotation;
921
+ readonly 'key': string;
922
+ };
923
+ }
924
+ ];
925
+ };
926
+ namespace dictionary {
927
+ type constraints<GAnnotation> = D.Dictionary__Constraints<GAnnotation>;
928
+ type key<GAnnotation> = D.Atom<GAnnotation>;
929
+ type _ltype<GAnnotation> = D.Type<GAnnotation>;
930
+ }
931
+ type dictionary<GAnnotation> = {
932
+ readonly 'constraints': D.Dictionary__Constraints<GAnnotation>;
933
+ readonly 'key': D.Atom<GAnnotation>;
934
+ readonly 'type': D.Type<GAnnotation>;
935
+ };
936
+ namespace group {
937
+ type properties<GAnnotation> = D.Properties<GAnnotation>;
938
+ }
939
+ type group<GAnnotation> = {
940
+ readonly 'properties': D.Properties<GAnnotation>;
941
+ };
942
+ namespace nothing {
943
+ namespace result {
944
+ namespace O {
945
+ type _ltype<GAnnotation> = D.Global__Type__Selection<GAnnotation>;
946
+ }
947
+ type O<GAnnotation> = {
948
+ readonly 'type': D.Global__Type__Selection<GAnnotation>;
949
+ };
950
+ }
951
+ type result<GAnnotation> = pt.OptionalValue<{
952
+ readonly 'type': D.Global__Type__Selection<GAnnotation>;
953
+ }>;
954
+ }
955
+ type nothing<GAnnotation> = {
956
+ readonly 'result': pt.OptionalValue<{
957
+ readonly 'type': D.Global__Type__Selection<GAnnotation>;
958
+ }>;
959
+ };
960
+ namespace optional {
961
+ namespace result {
962
+ namespace O {
963
+ type _ltype<GAnnotation> = D.Global__Type__Selection<GAnnotation>;
964
+ }
965
+ type O<GAnnotation> = {
966
+ readonly 'type': D.Global__Type__Selection<GAnnotation>;
967
+ };
968
+ }
969
+ type result<GAnnotation> = pt.OptionalValue<{
970
+ readonly 'type': D.Global__Type__Selection<GAnnotation>;
971
+ }>;
972
+ type _ltype<GAnnotation> = D.Type<GAnnotation>;
973
+ }
974
+ type optional<GAnnotation> = {
975
+ readonly 'result': pt.OptionalValue<{
976
+ readonly 'type': D.Global__Type__Selection<GAnnotation>;
977
+ }>;
978
+ readonly 'type': D.Type<GAnnotation>;
979
+ };
980
+ namespace tagged__union {
981
+ namespace options {
982
+ namespace DX {
983
+ type constraints<GAnnotation> = D.Option__Constraints<GAnnotation>;
984
+ type _ltype<GAnnotation> = D.Type<GAnnotation>;
985
+ }
986
+ type DX<GAnnotation> = {
987
+ readonly 'constraints': D.Option__Constraints<GAnnotation>;
988
+ readonly 'type': D.Type<GAnnotation>;
989
+ };
990
+ }
991
+ type options<GAnnotation> = pt.Dictionary<{
992
+ readonly 'constraints': D.Option__Constraints<GAnnotation>;
993
+ readonly 'type': D.Type<GAnnotation>;
994
+ }>;
995
+ namespace result {
996
+ type O<GAnnotation> = D.Global__Type__Selection<GAnnotation>;
997
+ }
998
+ type result<GAnnotation> = pt.OptionalValue<D.Global__Type__Selection<GAnnotation>>;
999
+ }
1000
+ type tagged__union<GAnnotation> = {
1001
+ readonly 'options': pt.Dictionary<{
1002
+ readonly 'constraints': D.Option__Constraints<GAnnotation>;
1003
+ readonly 'type': D.Type<GAnnotation>;
1004
+ }>;
1005
+ readonly 'result': pt.OptionalValue<D.Global__Type__Selection<GAnnotation>>;
1006
+ };
1007
+ namespace terminal {
1008
+ namespace constrained {
1009
+ namespace no { }
1010
+ type no<GAnnotation> = null;
1011
+ namespace yes {
1012
+ namespace computed {
1013
+ namespace no { }
1014
+ type no<GAnnotation> = null;
1015
+ namespace yes { }
1016
+ type yes<GAnnotation> = null;
1017
+ }
1018
+ type computed<GAnnotation> = ['no', null] | ['yes', null];
1019
+ type _ltype<GAnnotation> = D.Type__Selection<GAnnotation>;
1020
+ }
1021
+ type yes<GAnnotation> = {
1022
+ readonly 'computed': ['no', null] | ['yes', null];
1023
+ readonly 'type': D.Type__Selection<GAnnotation>;
1024
+ };
1025
+ }
1026
+ type constrained<GAnnotation> = ['no', null] | [
1027
+ 'yes',
1028
+ {
1029
+ readonly 'computed': ['no', null] | ['yes', null];
1030
+ readonly 'type': D.Type__Selection<GAnnotation>;
1031
+ }
1032
+ ];
1033
+ type terminal<GAnnotation> = D.Atom<GAnnotation>;
1034
+ }
1035
+ type terminal<GAnnotation> = {
1036
+ readonly 'constrained': ['no', null] | [
1037
+ 'yes',
1038
+ {
1039
+ readonly 'computed': ['no', null] | ['yes', null];
1040
+ readonly 'type': D.Type__Selection<GAnnotation>;
1041
+ }
1042
+ ];
1043
+ readonly 'terminal': D.Atom<GAnnotation>;
1044
+ };
1045
+ }
1046
+ type _ltype<GAnnotation> = [
1047
+ 'array',
1048
+ {
1049
+ readonly 'type': D.Type<GAnnotation>;
1050
+ }
1051
+ ] | [
1052
+ 'component',
1053
+ {
1054
+ readonly 'context': [
1055
+ 'cyclic sibling',
1056
+ {
1057
+ readonly 'type': {
1058
+ readonly 'annotation': GAnnotation;
1059
+ readonly 'key': string;
1060
+ };
1061
+ }
1062
+ ] | [
1063
+ 'import',
1064
+ {
1065
+ readonly 'library': {
1066
+ readonly 'annotation': GAnnotation;
1067
+ readonly 'key': string;
1068
+ };
1069
+ readonly 'type': {
1070
+ readonly 'annotation': GAnnotation;
1071
+ readonly 'key': string;
1072
+ };
1073
+ }
1074
+ ] | [
1075
+ 'resolved sibling',
1076
+ {
1077
+ readonly 'type': {
1078
+ readonly 'annotation': GAnnotation;
1079
+ readonly 'key': string;
1080
+ };
1081
+ }
1082
+ ];
1083
+ }
1084
+ ] | [
1085
+ 'dictionary',
1086
+ {
1087
+ readonly 'constraints': D.Dictionary__Constraints<GAnnotation>;
1088
+ readonly 'key': D.Atom<GAnnotation>;
1089
+ readonly 'type': D.Type<GAnnotation>;
1090
+ }
1091
+ ] | [
1092
+ 'group',
1093
+ {
1094
+ readonly 'properties': D.Properties<GAnnotation>;
1095
+ }
1096
+ ] | [
1097
+ 'nothing',
1098
+ {
1099
+ readonly 'result': pt.OptionalValue<{
1100
+ readonly 'type': D.Global__Type__Selection<GAnnotation>;
1101
+ }>;
1102
+ }
1103
+ ] | [
1104
+ 'optional',
1105
+ {
1106
+ readonly 'result': pt.OptionalValue<{
1107
+ readonly 'type': D.Global__Type__Selection<GAnnotation>;
1108
+ }>;
1109
+ readonly 'type': D.Type<GAnnotation>;
1110
+ }
1111
+ ] | [
1112
+ 'tagged union',
1113
+ {
1114
+ readonly 'options': pt.Dictionary<{
1115
+ readonly 'constraints': D.Option__Constraints<GAnnotation>;
1116
+ readonly 'type': D.Type<GAnnotation>;
1117
+ }>;
1118
+ readonly 'result': pt.OptionalValue<D.Global__Type__Selection<GAnnotation>>;
1119
+ }
1120
+ ] | [
1121
+ 'terminal',
1122
+ {
1123
+ readonly 'constrained': ['no', null] | [
1124
+ 'yes',
1125
+ {
1126
+ readonly 'computed': ['no', null] | ['yes', null];
1127
+ readonly 'type': D.Type__Selection<GAnnotation>;
1128
+ }
1129
+ ];
1130
+ readonly 'terminal': D.Atom<GAnnotation>;
1131
+ }
1132
+ ];
1133
+ }
1134
+ type Type<GAnnotation> = {
1135
+ readonly 'type': [
1136
+ 'array',
1137
+ {
1138
+ readonly 'type': D.Type<GAnnotation>;
1139
+ }
1140
+ ] | [
1141
+ 'component',
1142
+ {
1143
+ readonly 'context': [
1144
+ 'cyclic sibling',
1145
+ {
1146
+ readonly 'type': {
1147
+ readonly 'annotation': GAnnotation;
1148
+ readonly 'key': string;
1149
+ };
1150
+ }
1151
+ ] | [
1152
+ 'import',
1153
+ {
1154
+ readonly 'library': {
1155
+ readonly 'annotation': GAnnotation;
1156
+ readonly 'key': string;
1157
+ };
1158
+ readonly 'type': {
1159
+ readonly 'annotation': GAnnotation;
1160
+ readonly 'key': string;
1161
+ };
1162
+ }
1163
+ ] | [
1164
+ 'resolved sibling',
1165
+ {
1166
+ readonly 'type': {
1167
+ readonly 'annotation': GAnnotation;
1168
+ readonly 'key': string;
1169
+ };
1170
+ }
1171
+ ];
1172
+ }
1173
+ ] | [
1174
+ 'dictionary',
1175
+ {
1176
+ readonly 'constraints': D.Dictionary__Constraints<GAnnotation>;
1177
+ readonly 'key': D.Atom<GAnnotation>;
1178
+ readonly 'type': D.Type<GAnnotation>;
1179
+ }
1180
+ ] | [
1181
+ 'group',
1182
+ {
1183
+ readonly 'properties': D.Properties<GAnnotation>;
1184
+ }
1185
+ ] | [
1186
+ 'nothing',
1187
+ {
1188
+ readonly 'result': pt.OptionalValue<{
1189
+ readonly 'type': D.Global__Type__Selection<GAnnotation>;
1190
+ }>;
1191
+ }
1192
+ ] | [
1193
+ 'optional',
1194
+ {
1195
+ readonly 'result': pt.OptionalValue<{
1196
+ readonly 'type': D.Global__Type__Selection<GAnnotation>;
1197
+ }>;
1198
+ readonly 'type': D.Type<GAnnotation>;
1199
+ }
1200
+ ] | [
1201
+ 'tagged union',
1202
+ {
1203
+ readonly 'options': pt.Dictionary<{
1204
+ readonly 'constraints': D.Option__Constraints<GAnnotation>;
1205
+ readonly 'type': D.Type<GAnnotation>;
1206
+ }>;
1207
+ readonly 'result': pt.OptionalValue<D.Global__Type__Selection<GAnnotation>>;
1208
+ }
1209
+ ] | [
1210
+ 'terminal',
1211
+ {
1212
+ readonly 'constrained': ['no', null] | [
1213
+ 'yes',
1214
+ {
1215
+ readonly 'computed': ['no', null] | ['yes', null];
1216
+ readonly 'type': D.Type__Selection<GAnnotation>;
1217
+ }
1218
+ ];
1219
+ readonly 'terminal': D.Atom<GAnnotation>;
1220
+ }
1221
+ ];
1222
+ };
1223
+ namespace Type__Library {
1224
+ namespace global__types {
1225
+ type DX<GAnnotation> = D.Global__Type<GAnnotation>;
1226
+ }
1227
+ type global__types<GAnnotation> = pt.Dictionary<D.Global__Type<GAnnotation>>;
1228
+ type imports<GAnnotation> = D.Imports<GAnnotation>;
1229
+ type labels<GAnnotation> = D.Labels<GAnnotation>;
1230
+ }
1231
+ type Type__Library<GAnnotation> = {
1232
+ readonly 'global types': pt.Dictionary<D.Global__Type<GAnnotation>>;
1233
+ readonly 'imports': D.Imports<GAnnotation>;
1234
+ readonly 'labels': D.Labels<GAnnotation>;
1235
+ };
1236
+ namespace Type__Selection {
1237
+ type global__type<GAnnotation> = D.Global__Type__Selection<GAnnotation>;
1238
+ namespace tail {
1239
+ type O<GAnnotation> = D.Type__Selection__Tail<GAnnotation>;
1240
+ }
1241
+ type tail<GAnnotation> = pt.OptionalValue<D.Type__Selection__Tail<GAnnotation>>;
1242
+ }
1243
+ type Type__Selection<GAnnotation> = {
1244
+ readonly 'global type': D.Global__Type__Selection<GAnnotation>;
1245
+ readonly 'tail': pt.OptionalValue<D.Type__Selection__Tail<GAnnotation>>;
1246
+ };
1247
+ namespace Type__Selection__Tail {
1248
+ namespace step__type {
1249
+ namespace array {
1250
+ type annotation<GAnnotation> = GAnnotation;
1251
+ namespace content { }
1252
+ type content<GAnnotation> = null;
1253
+ }
1254
+ type array<GAnnotation> = {
1255
+ readonly 'annotation': GAnnotation;
1256
+ readonly 'content': null;
1257
+ };
1258
+ namespace dictionary {
1259
+ type annotation<GAnnotation> = GAnnotation;
1260
+ namespace content { }
1261
+ type content<GAnnotation> = null;
1262
+ }
1263
+ type dictionary<GAnnotation> = {
1264
+ readonly 'annotation': GAnnotation;
1265
+ readonly 'content': null;
1266
+ };
1267
+ namespace group {
1268
+ type annotation<GAnnotation> = GAnnotation;
1269
+ namespace content {
1270
+ namespace property {
1271
+ type annotation<GAnnotation> = GAnnotation;
1272
+ type key<GAnnotation> = string;
1273
+ }
1274
+ type property<GAnnotation> = {
1275
+ readonly 'annotation': GAnnotation;
1276
+ readonly 'key': string;
1277
+ };
1278
+ }
1279
+ type content<GAnnotation> = {
1280
+ readonly 'property': {
1281
+ readonly 'annotation': GAnnotation;
1282
+ readonly 'key': string;
1283
+ };
1284
+ };
1285
+ }
1286
+ type group<GAnnotation> = {
1287
+ readonly 'annotation': GAnnotation;
1288
+ readonly 'content': {
1289
+ readonly 'property': {
1290
+ readonly 'annotation': GAnnotation;
1291
+ readonly 'key': string;
1292
+ };
1293
+ };
1294
+ };
1295
+ namespace optional {
1296
+ type annotation<GAnnotation> = GAnnotation;
1297
+ namespace content { }
1298
+ type content<GAnnotation> = null;
1299
+ }
1300
+ type optional<GAnnotation> = {
1301
+ readonly 'annotation': GAnnotation;
1302
+ readonly 'content': null;
1303
+ };
1304
+ namespace tagged__union {
1305
+ type annotation<GAnnotation> = GAnnotation;
1306
+ namespace content {
1307
+ namespace option {
1308
+ type annotation<GAnnotation> = GAnnotation;
1309
+ type key<GAnnotation> = string;
1310
+ }
1311
+ type option<GAnnotation> = {
1312
+ readonly 'annotation': GAnnotation;
1313
+ readonly 'key': string;
1314
+ };
1315
+ }
1316
+ type content<GAnnotation> = {
1317
+ readonly 'option': {
1318
+ readonly 'annotation': GAnnotation;
1319
+ readonly 'key': string;
1320
+ };
1321
+ };
1322
+ }
1323
+ type tagged__union<GAnnotation> = {
1324
+ readonly 'annotation': GAnnotation;
1325
+ readonly 'content': {
1326
+ readonly 'option': {
1327
+ readonly 'annotation': GAnnotation;
1328
+ readonly 'key': string;
1329
+ };
1330
+ };
1331
+ };
1332
+ }
1333
+ type step__type<GAnnotation> = [
1334
+ 'array',
1335
+ {
1336
+ readonly 'annotation': GAnnotation;
1337
+ readonly 'content': null;
1338
+ }
1339
+ ] | [
1340
+ 'dictionary',
1341
+ {
1342
+ readonly 'annotation': GAnnotation;
1343
+ readonly 'content': null;
1344
+ }
1345
+ ] | [
1346
+ 'group',
1347
+ {
1348
+ readonly 'annotation': GAnnotation;
1349
+ readonly 'content': {
1350
+ readonly 'property': {
1351
+ readonly 'annotation': GAnnotation;
1352
+ readonly 'key': string;
1353
+ };
1354
+ };
1355
+ }
1356
+ ] | [
1357
+ 'optional',
1358
+ {
1359
+ readonly 'annotation': GAnnotation;
1360
+ readonly 'content': null;
1361
+ }
1362
+ ] | [
1363
+ 'tagged union',
1364
+ {
1365
+ readonly 'annotation': GAnnotation;
1366
+ readonly 'content': {
1367
+ readonly 'option': {
1368
+ readonly 'annotation': GAnnotation;
1369
+ readonly 'key': string;
1370
+ };
1371
+ };
1372
+ }
1373
+ ];
1374
+ namespace tail {
1375
+ type O<GAnnotation> = D.Type__Selection__Tail<GAnnotation>;
1376
+ }
1377
+ type tail<GAnnotation> = pt.OptionalValue<D.Type__Selection__Tail<GAnnotation>>;
1378
+ }
1379
+ type Type__Selection__Tail<GAnnotation> = {
1380
+ readonly 'step type': [
1381
+ 'array',
1382
+ {
1383
+ readonly 'annotation': GAnnotation;
1384
+ readonly 'content': null;
1385
+ }
1386
+ ] | [
1387
+ 'dictionary',
1388
+ {
1389
+ readonly 'annotation': GAnnotation;
1390
+ readonly 'content': null;
1391
+ }
1392
+ ] | [
1393
+ 'group',
1394
+ {
1395
+ readonly 'annotation': GAnnotation;
1396
+ readonly 'content': {
1397
+ readonly 'property': {
1398
+ readonly 'annotation': GAnnotation;
1399
+ readonly 'key': string;
1400
+ };
1401
+ };
1402
+ }
1403
+ ] | [
1404
+ 'optional',
1405
+ {
1406
+ readonly 'annotation': GAnnotation;
1407
+ readonly 'content': null;
1408
+ }
1409
+ ] | [
1410
+ 'tagged union',
1411
+ {
1412
+ readonly 'annotation': GAnnotation;
1413
+ readonly 'content': {
1414
+ readonly 'option': {
1415
+ readonly 'annotation': GAnnotation;
1416
+ readonly 'key': string;
1417
+ };
1418
+ };
1419
+ }
1420
+ ];
1421
+ readonly 'tail': pt.OptionalValue<D.Type__Selection__Tail<GAnnotation>>;
1422
+ };
1423
+ }
1424
+ export declare namespace I { }
1425
+ export declare namespace A { }