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.pareto/glossaries/auto.tendril.data.ts ADDED
@@ -0,0 +1,1139 @@
1
+ import * as pd from 'pareto-core-data'
2
+
3
+ import * as g_cosmos from "pareto/auto.dist/public/glossaries/cosmos__type__system"
4
+
5
+ const d = pd.d
6
+ const a = pd.a
7
+
8
+ export const $: g_cosmos.D.Glossary = {
9
+ 'imports': d({}),
10
+ 'glossary parameters': d({
11
+ "Annotation": null,
12
+ }),
13
+ 'root': {
14
+ 'data types': d({
15
+ "Atom": {
16
+ 'parameters': d({}),
17
+ 'type': <g_cosmos.D.Data__Type>['group', d({
18
+ "type": {
19
+ 'type': <g_cosmos.D.Data__Type>['group', d({
20
+ "annotation": {
21
+ 'type': <g_cosmos.D.Data__Type>['reference', ['glossary parameterXX', "Annotation"]],
22
+ },
23
+ "key": {
24
+ 'type': <g_cosmos.D.Data__Type>['string', null],
25
+ },
26
+ })],
27
+ },
28
+ })]
29
+ },
30
+ "Dictionary Constraints": {
31
+ 'parameters': d({}),
32
+ 'type': <g_cosmos.D.Data__Type>['dictionary', <g_cosmos.D.Data__Type>['group', d({
33
+ "type": {
34
+ 'type': <g_cosmos.D.Data__Type>['reference', ['type', {
35
+ 'context': ['local', null],
36
+ 'typeXX': "Type Selection",
37
+ 'tailXX': a([]),
38
+ 'type arguments': d({}),
39
+ }]],
40
+ },
41
+ })]]
42
+ },
43
+ "Global Type": {
44
+ 'parameters': d({}),
45
+ 'type': <g_cosmos.D.Data__Type>['group', d({
46
+ "result": {
47
+ 'type': <g_cosmos.D.Data__Type>['optional', <g_cosmos.D.Data__Type>['group', d({
48
+ "type": {
49
+ 'type': <g_cosmos.D.Data__Type>['reference', ['type', {
50
+ 'context': ['local', null],
51
+ 'typeXX': "Global Type Selection",
52
+ 'tailXX': a([]),
53
+ 'type arguments': d({}),
54
+ }]],
55
+ },
56
+ })]],
57
+ },
58
+ "type": {
59
+ 'type': <g_cosmos.D.Data__Type>['reference', ['type', {
60
+ 'context': ['local', null],
61
+ 'typeXX': "Type",
62
+ 'tailXX': a([]),
63
+ 'type arguments': d({}),
64
+ }]],
65
+ },
66
+ })]
67
+ },
68
+ "Global Type Selection": {
69
+ 'parameters': d({}),
70
+ 'type': <g_cosmos.D.Data__Type>['group', d({
71
+ "import": {
72
+ 'type': <g_cosmos.D.Data__Type>['optional', <g_cosmos.D.Data__Type>['group', d({
73
+ "annotation": {
74
+ 'type': <g_cosmos.D.Data__Type>['reference', ['glossary parameterXX', "Annotation"]],
75
+ },
76
+ "key": {
77
+ 'type': <g_cosmos.D.Data__Type>['string', null],
78
+ },
79
+ })]],
80
+ },
81
+ "type": {
82
+ 'type': <g_cosmos.D.Data__Type>['group', d({
83
+ "annotation": {
84
+ 'type': <g_cosmos.D.Data__Type>['reference', ['glossary parameterXX', "Annotation"]],
85
+ },
86
+ "key": {
87
+ 'type': <g_cosmos.D.Data__Type>['string', null],
88
+ },
89
+ })],
90
+ },
91
+ })]
92
+ },
93
+ "Imports": {
94
+ 'parameters': d({}),
95
+ 'type': <g_cosmos.D.Data__Type>['dictionary', <g_cosmos.D.Data__Type>['group', d({})]]
96
+ },
97
+ "Labels": {
98
+ 'parameters': d({}),
99
+ 'type': <g_cosmos.D.Data__Type>['group', d({
100
+ "atom types": {
101
+ 'type': <g_cosmos.D.Data__Type>['dictionary', <g_cosmos.D.Data__Type>['group', d({})]],
102
+ },
103
+ })]
104
+ },
105
+ "Model": {
106
+ 'parameters': d({}),
107
+ 'type': <g_cosmos.D.Data__Type>['group', d({
108
+ "root": {
109
+ 'type': <g_cosmos.D.Data__Type>['group', d({
110
+ "annotation": {
111
+ 'type': <g_cosmos.D.Data__Type>['reference', ['glossary parameterXX', "Annotation"]],
112
+ },
113
+ "key": {
114
+ 'type': <g_cosmos.D.Data__Type>['string', null],
115
+ },
116
+ })],
117
+ },
118
+ "type library": {
119
+ 'type': <g_cosmos.D.Data__Type>['reference', ['type', {
120
+ 'context': ['local', null],
121
+ 'typeXX': "Type Library",
122
+ 'tailXX': a([]),
123
+ 'type arguments': d({}),
124
+ }]],
125
+ },
126
+ })]
127
+ },
128
+ "Option Constraints": {
129
+ 'parameters': d({}),
130
+ 'type': <g_cosmos.D.Data__Type>['dictionary', <g_cosmos.D.Data__Type>['group', d({
131
+ "option": {
132
+ 'type': <g_cosmos.D.Data__Type>['group', d({
133
+ "annotation": {
134
+ 'type': <g_cosmos.D.Data__Type>['reference', ['glossary parameterXX', "Annotation"]],
135
+ },
136
+ "key": {
137
+ 'type': <g_cosmos.D.Data__Type>['string', null],
138
+ },
139
+ })],
140
+ },
141
+ "type": {
142
+ 'type': <g_cosmos.D.Data__Type>['reference', ['type', {
143
+ 'context': ['local', null],
144
+ 'typeXX': "Type Selection",
145
+ 'tailXX': a([]),
146
+ 'type arguments': d({}),
147
+ }]],
148
+ },
149
+ })]]
150
+ },
151
+ "Properties": {
152
+ 'parameters': d({}),
153
+ 'type': <g_cosmos.D.Data__Type>['dictionary', <g_cosmos.D.Data__Type>['group', d({
154
+ "type": {
155
+ 'type': <g_cosmos.D.Data__Type>['reference', ['type', {
156
+ 'context': ['local', null],
157
+ 'typeXX': "Type",
158
+ 'tailXX': a([]),
159
+ 'type arguments': d({}),
160
+ }]],
161
+ },
162
+ })]]
163
+ },
164
+ "Type": {
165
+ 'parameters': d({}),
166
+ 'type': <g_cosmos.D.Data__Type>['group', d({
167
+ "type": {
168
+ 'type': <g_cosmos.D.Data__Type>['taggedUnion', d({
169
+ "array": <g_cosmos.D.Data__Type>['group', d({
170
+ "type": {
171
+ 'type': <g_cosmos.D.Data__Type>['reference', ['type', {
172
+ 'context': ['local', null],
173
+ 'typeXX': "Type",
174
+ 'tailXX': a([]),
175
+ 'type arguments': d({}),
176
+ }]],
177
+ },
178
+ })],
179
+ "component": <g_cosmos.D.Data__Type>['group', d({
180
+ "context": {
181
+ 'type': <g_cosmos.D.Data__Type>['taggedUnion', d({
182
+ "cyclic sibling": <g_cosmos.D.Data__Type>['group', d({
183
+ "type": {
184
+ 'type': <g_cosmos.D.Data__Type>['group', d({
185
+ "annotation": {
186
+ 'type': <g_cosmos.D.Data__Type>['reference', ['glossary parameterXX', "Annotation"]],
187
+ },
188
+ "key": {
189
+ 'type': <g_cosmos.D.Data__Type>['string', null],
190
+ },
191
+ })],
192
+ },
193
+ })],
194
+ "import": <g_cosmos.D.Data__Type>['group', d({
195
+ "library": {
196
+ 'type': <g_cosmos.D.Data__Type>['group', d({
197
+ "annotation": {
198
+ 'type': <g_cosmos.D.Data__Type>['reference', ['glossary parameterXX', "Annotation"]],
199
+ },
200
+ "key": {
201
+ 'type': <g_cosmos.D.Data__Type>['string', null],
202
+ },
203
+ })],
204
+ },
205
+ "type": {
206
+ 'type': <g_cosmos.D.Data__Type>['group', d({
207
+ "annotation": {
208
+ 'type': <g_cosmos.D.Data__Type>['reference', ['glossary parameterXX', "Annotation"]],
209
+ },
210
+ "key": {
211
+ 'type': <g_cosmos.D.Data__Type>['string', null],
212
+ },
213
+ })],
214
+ },
215
+ })],
216
+ "resolved sibling": <g_cosmos.D.Data__Type>['group', d({
217
+ "type": {
218
+ 'type': <g_cosmos.D.Data__Type>['group', d({
219
+ "annotation": {
220
+ 'type': <g_cosmos.D.Data__Type>['reference', ['glossary parameterXX', "Annotation"]],
221
+ },
222
+ "key": {
223
+ 'type': <g_cosmos.D.Data__Type>['string', null],
224
+ },
225
+ })],
226
+ },
227
+ })],
228
+ })],
229
+ },
230
+ })],
231
+ "dictionary": <g_cosmos.D.Data__Type>['group', d({
232
+ "constraints": {
233
+ 'type': <g_cosmos.D.Data__Type>['reference', ['type', {
234
+ 'context': ['local', null],
235
+ 'typeXX': "Dictionary Constraints",
236
+ 'tailXX': a([]),
237
+ 'type arguments': d({}),
238
+ }]],
239
+ },
240
+ "key": {
241
+ 'type': <g_cosmos.D.Data__Type>['reference', ['type', {
242
+ 'context': ['local', null],
243
+ 'typeXX': "Atom",
244
+ 'tailXX': a([]),
245
+ 'type arguments': d({}),
246
+ }]],
247
+ },
248
+ "type": {
249
+ 'type': <g_cosmos.D.Data__Type>['reference', ['type', {
250
+ 'context': ['local', null],
251
+ 'typeXX': "Type",
252
+ 'tailXX': a([]),
253
+ 'type arguments': d({}),
254
+ }]],
255
+ },
256
+ })],
257
+ "group": <g_cosmos.D.Data__Type>['group', d({
258
+ "properties": {
259
+ 'type': <g_cosmos.D.Data__Type>['reference', ['type', {
260
+ 'context': ['local', null],
261
+ 'typeXX': "Properties",
262
+ 'tailXX': a([]),
263
+ 'type arguments': d({}),
264
+ }]],
265
+ },
266
+ })],
267
+ "nothing": <g_cosmos.D.Data__Type>['group', d({
268
+ "result": {
269
+ 'type': <g_cosmos.D.Data__Type>['optional', <g_cosmos.D.Data__Type>['group', d({
270
+ "type": {
271
+ 'type': <g_cosmos.D.Data__Type>['reference', ['type', {
272
+ 'context': ['local', null],
273
+ 'typeXX': "Global Type Selection",
274
+ 'tailXX': a([]),
275
+ 'type arguments': d({}),
276
+ }]],
277
+ },
278
+ })]],
279
+ },
280
+ })],
281
+ "optional": <g_cosmos.D.Data__Type>['group', d({
282
+ "result": {
283
+ 'type': <g_cosmos.D.Data__Type>['optional', <g_cosmos.D.Data__Type>['group', d({
284
+ "type": {
285
+ 'type': <g_cosmos.D.Data__Type>['reference', ['type', {
286
+ 'context': ['local', null],
287
+ 'typeXX': "Global Type Selection",
288
+ 'tailXX': a([]),
289
+ 'type arguments': d({}),
290
+ }]],
291
+ },
292
+ })]],
293
+ },
294
+ "type": {
295
+ 'type': <g_cosmos.D.Data__Type>['reference', ['type', {
296
+ 'context': ['local', null],
297
+ 'typeXX': "Type",
298
+ 'tailXX': a([]),
299
+ 'type arguments': d({}),
300
+ }]],
301
+ },
302
+ })],
303
+ "tagged union": <g_cosmos.D.Data__Type>['group', d({
304
+ "options": {
305
+ 'type': <g_cosmos.D.Data__Type>['dictionary', <g_cosmos.D.Data__Type>['group', d({
306
+ "constraints": {
307
+ 'type': <g_cosmos.D.Data__Type>['reference', ['type', {
308
+ 'context': ['local', null],
309
+ 'typeXX': "Option Constraints",
310
+ 'tailXX': a([]),
311
+ 'type arguments': d({}),
312
+ }]],
313
+ },
314
+ "type": {
315
+ 'type': <g_cosmos.D.Data__Type>['reference', ['type', {
316
+ 'context': ['local', null],
317
+ 'typeXX': "Type",
318
+ 'tailXX': a([]),
319
+ 'type arguments': d({}),
320
+ }]],
321
+ },
322
+ })]],
323
+ },
324
+ "result": {
325
+ 'type': <g_cosmos.D.Data__Type>['optional', <g_cosmos.D.Data__Type>['reference', ['type', {
326
+ 'context': ['local', null],
327
+ 'typeXX': "Global Type Selection",
328
+ 'tailXX': a([]),
329
+ 'type arguments': d({}),
330
+ }]]],
331
+ },
332
+ })],
333
+ "terminal": <g_cosmos.D.Data__Type>['group', d({
334
+ "constrained": {
335
+ 'type': <g_cosmos.D.Data__Type>['taggedUnion', d({
336
+ "no": <g_cosmos.D.Data__Type>['group', d({})],
337
+ "yes": <g_cosmos.D.Data__Type>['group', d({
338
+ "computed": {
339
+ 'type': <g_cosmos.D.Data__Type>['taggedUnion', d({
340
+ "no": <g_cosmos.D.Data__Type>['group', d({})],
341
+ "yes": <g_cosmos.D.Data__Type>['group', d({})],
342
+ })],
343
+ },
344
+ "type": {
345
+ 'type': <g_cosmos.D.Data__Type>['reference', ['type', {
346
+ 'context': ['local', null],
347
+ 'typeXX': "Type Selection",
348
+ 'tailXX': a([]),
349
+ 'type arguments': d({}),
350
+ }]],
351
+ },
352
+ })],
353
+ })],
354
+ },
355
+ "terminal": {
356
+ 'type': <g_cosmos.D.Data__Type>['reference', ['type', {
357
+ 'context': ['local', null],
358
+ 'typeXX': "Atom",
359
+ 'tailXX': a([]),
360
+ 'type arguments': d({}),
361
+ }]],
362
+ },
363
+ })],
364
+ })],
365
+ },
366
+ })]
367
+ },
368
+ "Type Library": {
369
+ 'parameters': d({}),
370
+ 'type': <g_cosmos.D.Data__Type>['group', d({
371
+ "global types": {
372
+ 'type': <g_cosmos.D.Data__Type>['dictionary', <g_cosmos.D.Data__Type>['reference', ['type', {
373
+ 'context': ['local', null],
374
+ 'typeXX': "Global Type",
375
+ 'tailXX': a([]),
376
+ 'type arguments': d({}),
377
+ }]]],
378
+ },
379
+ "imports": {
380
+ 'type': <g_cosmos.D.Data__Type>['reference', ['type', {
381
+ 'context': ['local', null],
382
+ 'typeXX': "Imports",
383
+ 'tailXX': a([]),
384
+ 'type arguments': d({}),
385
+ }]],
386
+ },
387
+ "labels": {
388
+ 'type': <g_cosmos.D.Data__Type>['reference', ['type', {
389
+ 'context': ['local', null],
390
+ 'typeXX': "Labels",
391
+ 'tailXX': a([]),
392
+ 'type arguments': d({}),
393
+ }]],
394
+ },
395
+ })]
396
+ },
397
+ "Type Selection": {
398
+ 'parameters': d({}),
399
+ 'type': <g_cosmos.D.Data__Type>['group', d({
400
+ "global type": {
401
+ 'type': <g_cosmos.D.Data__Type>['reference', ['type', {
402
+ 'context': ['local', null],
403
+ 'typeXX': "Global Type Selection",
404
+ 'tailXX': a([]),
405
+ 'type arguments': d({}),
406
+ }]],
407
+ },
408
+ "tail": {
409
+ 'type': <g_cosmos.D.Data__Type>['optional', <g_cosmos.D.Data__Type>['reference', ['type', {
410
+ 'context': ['local', null],
411
+ 'typeXX': "Type Selection Tail",
412
+ 'tailXX': a([]),
413
+ 'type arguments': d({}),
414
+ }]]],
415
+ },
416
+ })]
417
+ },
418
+ "Type Selection Tail": {
419
+ 'parameters': d({}),
420
+ 'type': <g_cosmos.D.Data__Type>['group', d({
421
+ "step type": {
422
+ 'type': <g_cosmos.D.Data__Type>['taggedUnion', d({
423
+ "array": <g_cosmos.D.Data__Type>['group', d({
424
+ "annotation": {
425
+ 'type': <g_cosmos.D.Data__Type>['reference', ['glossary parameterXX', "Annotation"]],
426
+ },
427
+ "content": {
428
+ 'type': <g_cosmos.D.Data__Type>['group', d({})],
429
+ },
430
+ })],
431
+ "dictionary": <g_cosmos.D.Data__Type>['group', d({
432
+ "annotation": {
433
+ 'type': <g_cosmos.D.Data__Type>['reference', ['glossary parameterXX', "Annotation"]],
434
+ },
435
+ "content": {
436
+ 'type': <g_cosmos.D.Data__Type>['group', d({})],
437
+ },
438
+ })],
439
+ "group": <g_cosmos.D.Data__Type>['group', d({
440
+ "annotation": {
441
+ 'type': <g_cosmos.D.Data__Type>['reference', ['glossary parameterXX', "Annotation"]],
442
+ },
443
+ "content": {
444
+ 'type': <g_cosmos.D.Data__Type>['group', d({
445
+ "property": {
446
+ 'type': <g_cosmos.D.Data__Type>['group', d({
447
+ "annotation": {
448
+ 'type': <g_cosmos.D.Data__Type>['reference', ['glossary parameterXX', "Annotation"]],
449
+ },
450
+ "key": {
451
+ 'type': <g_cosmos.D.Data__Type>['string', null],
452
+ },
453
+ })],
454
+ },
455
+ })],
456
+ },
457
+ })],
458
+ "optional": <g_cosmos.D.Data__Type>['group', d({
459
+ "annotation": {
460
+ 'type': <g_cosmos.D.Data__Type>['reference', ['glossary parameterXX', "Annotation"]],
461
+ },
462
+ "content": {
463
+ 'type': <g_cosmos.D.Data__Type>['group', d({})],
464
+ },
465
+ })],
466
+ "tagged union": <g_cosmos.D.Data__Type>['group', d({
467
+ "annotation": {
468
+ 'type': <g_cosmos.D.Data__Type>['reference', ['glossary parameterXX', "Annotation"]],
469
+ },
470
+ "content": {
471
+ 'type': <g_cosmos.D.Data__Type>['group', d({
472
+ "option": {
473
+ 'type': <g_cosmos.D.Data__Type>['group', d({
474
+ "annotation": {
475
+ 'type': <g_cosmos.D.Data__Type>['reference', ['glossary parameterXX', "Annotation"]],
476
+ },
477
+ "key": {
478
+ 'type': <g_cosmos.D.Data__Type>['string', null],
479
+ },
480
+ })],
481
+ },
482
+ })],
483
+ },
484
+ })],
485
+ })],
486
+ },
487
+ "tail": {
488
+ 'type': <g_cosmos.D.Data__Type>['optional', <g_cosmos.D.Data__Type>['reference', ['type', {
489
+ 'context': ['local', null],
490
+ 'typeXX': "Type Selection Tail",
491
+ 'tailXX': a([]),
492
+ 'type arguments': d({}),
493
+ }]]],
494
+ },
495
+ })]
496
+ },
497
+ }),
498
+ 'namespaces': d({
499
+ "Atom": {
500
+ 'data types': d({}),
501
+ 'namespaces': d({
502
+ "G": {
503
+ 'data types': d({}),
504
+ 'namespaces': d({
505
+ "type": {
506
+ 'data types': d({}),
507
+ 'namespaces': d({}),
508
+ },
509
+ }),
510
+ },
511
+ }),
512
+ },
513
+ "Dictionary Constraints": {
514
+ 'data types': d({}),
515
+ 'namespaces': d({
516
+ "DX": {
517
+ 'data types': d({}),
518
+ 'namespaces': d({
519
+ "G": {
520
+ 'data types': d({}),
521
+ 'namespaces': d({
522
+ "type": {
523
+ 'data types': d({}),
524
+ 'namespaces': d({}),
525
+ },
526
+ }),
527
+ },
528
+ }),
529
+ },
530
+ }),
531
+ },
532
+ "Global Type": {
533
+ 'data types': d({}),
534
+ 'namespaces': d({
535
+ "G": {
536
+ 'data types': d({}),
537
+ 'namespaces': d({
538
+ "result": {
539
+ 'data types': d({}),
540
+ 'namespaces': d({
541
+ "O": {
542
+ 'data types': d({}),
543
+ 'namespaces': d({
544
+ "G": {
545
+ 'data types': d({}),
546
+ 'namespaces': d({
547
+ "type": {
548
+ 'data types': d({}),
549
+ 'namespaces': d({}),
550
+ },
551
+ }),
552
+ },
553
+ }),
554
+ },
555
+ }),
556
+ },
557
+ "type": {
558
+ 'data types': d({}),
559
+ 'namespaces': d({}),
560
+ },
561
+ }),
562
+ },
563
+ }),
564
+ },
565
+ "Global Type Selection": {
566
+ 'data types': d({}),
567
+ 'namespaces': d({
568
+ "G": {
569
+ 'data types': d({}),
570
+ 'namespaces': d({
571
+ "import": {
572
+ 'data types': d({}),
573
+ 'namespaces': d({
574
+ "O": {
575
+ 'data types': d({}),
576
+ 'namespaces': d({}),
577
+ },
578
+ }),
579
+ },
580
+ "type": {
581
+ 'data types': d({}),
582
+ 'namespaces': d({}),
583
+ },
584
+ }),
585
+ },
586
+ }),
587
+ },
588
+ "Imports": {
589
+ 'data types': d({}),
590
+ 'namespaces': d({
591
+ "DX": {
592
+ 'data types': d({}),
593
+ 'namespaces': d({
594
+ "G": {
595
+ 'data types': d({}),
596
+ 'namespaces': d({}),
597
+ },
598
+ }),
599
+ },
600
+ }),
601
+ },
602
+ "Labels": {
603
+ 'data types': d({}),
604
+ 'namespaces': d({
605
+ "G": {
606
+ 'data types': d({}),
607
+ 'namespaces': d({
608
+ "atom types": {
609
+ 'data types': d({}),
610
+ 'namespaces': d({
611
+ "DX": {
612
+ 'data types': d({}),
613
+ 'namespaces': d({
614
+ "G": {
615
+ 'data types': d({}),
616
+ 'namespaces': d({}),
617
+ },
618
+ }),
619
+ },
620
+ }),
621
+ },
622
+ }),
623
+ },
624
+ }),
625
+ },
626
+ "Model": {
627
+ 'data types': d({}),
628
+ 'namespaces': d({
629
+ "G": {
630
+ 'data types': d({}),
631
+ 'namespaces': d({
632
+ "root": {
633
+ 'data types': d({}),
634
+ 'namespaces': d({}),
635
+ },
636
+ "type library": {
637
+ 'data types': d({}),
638
+ 'namespaces': d({}),
639
+ },
640
+ }),
641
+ },
642
+ }),
643
+ },
644
+ "Option Constraints": {
645
+ 'data types': d({}),
646
+ 'namespaces': d({
647
+ "DX": {
648
+ 'data types': d({}),
649
+ 'namespaces': d({
650
+ "G": {
651
+ 'data types': d({}),
652
+ 'namespaces': d({
653
+ "option": {
654
+ 'data types': d({}),
655
+ 'namespaces': d({}),
656
+ },
657
+ "type": {
658
+ 'data types': d({}),
659
+ 'namespaces': d({}),
660
+ },
661
+ }),
662
+ },
663
+ }),
664
+ },
665
+ }),
666
+ },
667
+ "Properties": {
668
+ 'data types': d({}),
669
+ 'namespaces': d({
670
+ "DX": {
671
+ 'data types': d({}),
672
+ 'namespaces': d({
673
+ "G": {
674
+ 'data types': d({}),
675
+ 'namespaces': d({
676
+ "type": {
677
+ 'data types': d({}),
678
+ 'namespaces': d({}),
679
+ },
680
+ }),
681
+ },
682
+ }),
683
+ },
684
+ }),
685
+ },
686
+ "Type": {
687
+ 'data types': d({}),
688
+ 'namespaces': d({
689
+ "G": {
690
+ 'data types': d({}),
691
+ 'namespaces': d({
692
+ "type": {
693
+ 'data types': d({}),
694
+ 'namespaces': d({
695
+ "TU": {
696
+ 'data types': d({}),
697
+ 'namespaces': d({
698
+ "array": {
699
+ 'data types': d({}),
700
+ 'namespaces': d({
701
+ "G": {
702
+ 'data types': d({}),
703
+ 'namespaces': d({
704
+ "type": {
705
+ 'data types': d({}),
706
+ 'namespaces': d({}),
707
+ },
708
+ }),
709
+ },
710
+ }),
711
+ },
712
+ "component": {
713
+ 'data types': d({}),
714
+ 'namespaces': d({
715
+ "G": {
716
+ 'data types': d({}),
717
+ 'namespaces': d({
718
+ "context": {
719
+ 'data types': d({}),
720
+ 'namespaces': d({
721
+ "TU": {
722
+ 'data types': d({}),
723
+ 'namespaces': d({
724
+ "cyclic sibling": {
725
+ 'data types': d({}),
726
+ 'namespaces': d({
727
+ "G": {
728
+ 'data types': d({}),
729
+ 'namespaces': d({
730
+ "type": {
731
+ 'data types': d({}),
732
+ 'namespaces': d({}),
733
+ },
734
+ }),
735
+ },
736
+ }),
737
+ },
738
+ "import": {
739
+ 'data types': d({}),
740
+ 'namespaces': d({
741
+ "G": {
742
+ 'data types': d({}),
743
+ 'namespaces': d({
744
+ "library": {
745
+ 'data types': d({}),
746
+ 'namespaces': d({}),
747
+ },
748
+ "type": {
749
+ 'data types': d({}),
750
+ 'namespaces': d({}),
751
+ },
752
+ }),
753
+ },
754
+ }),
755
+ },
756
+ "resolved sibling": {
757
+ 'data types': d({}),
758
+ 'namespaces': d({
759
+ "G": {
760
+ 'data types': d({}),
761
+ 'namespaces': d({
762
+ "type": {
763
+ 'data types': d({}),
764
+ 'namespaces': d({}),
765
+ },
766
+ }),
767
+ },
768
+ }),
769
+ },
770
+ }),
771
+ },
772
+ }),
773
+ },
774
+ }),
775
+ },
776
+ }),
777
+ },
778
+ "dictionary": {
779
+ 'data types': d({}),
780
+ 'namespaces': d({
781
+ "G": {
782
+ 'data types': d({}),
783
+ 'namespaces': d({
784
+ "constraints": {
785
+ 'data types': d({}),
786
+ 'namespaces': d({}),
787
+ },
788
+ "key": {
789
+ 'data types': d({}),
790
+ 'namespaces': d({}),
791
+ },
792
+ "type": {
793
+ 'data types': d({}),
794
+ 'namespaces': d({}),
795
+ },
796
+ }),
797
+ },
798
+ }),
799
+ },
800
+ "group": {
801
+ 'data types': d({}),
802
+ 'namespaces': d({
803
+ "G": {
804
+ 'data types': d({}),
805
+ 'namespaces': d({
806
+ "properties": {
807
+ 'data types': d({}),
808
+ 'namespaces': d({}),
809
+ },
810
+ }),
811
+ },
812
+ }),
813
+ },
814
+ "nothing": {
815
+ 'data types': d({}),
816
+ 'namespaces': d({
817
+ "G": {
818
+ 'data types': d({}),
819
+ 'namespaces': d({
820
+ "result": {
821
+ 'data types': d({}),
822
+ 'namespaces': d({
823
+ "O": {
824
+ 'data types': d({}),
825
+ 'namespaces': d({
826
+ "G": {
827
+ 'data types': d({}),
828
+ 'namespaces': d({
829
+ "type": {
830
+ 'data types': d({}),
831
+ 'namespaces': d({}),
832
+ },
833
+ }),
834
+ },
835
+ }),
836
+ },
837
+ }),
838
+ },
839
+ }),
840
+ },
841
+ }),
842
+ },
843
+ "optional": {
844
+ 'data types': d({}),
845
+ 'namespaces': d({
846
+ "G": {
847
+ 'data types': d({}),
848
+ 'namespaces': d({
849
+ "result": {
850
+ 'data types': d({}),
851
+ 'namespaces': d({
852
+ "O": {
853
+ 'data types': d({}),
854
+ 'namespaces': d({
855
+ "G": {
856
+ 'data types': d({}),
857
+ 'namespaces': d({
858
+ "type": {
859
+ 'data types': d({}),
860
+ 'namespaces': d({}),
861
+ },
862
+ }),
863
+ },
864
+ }),
865
+ },
866
+ }),
867
+ },
868
+ "type": {
869
+ 'data types': d({}),
870
+ 'namespaces': d({}),
871
+ },
872
+ }),
873
+ },
874
+ }),
875
+ },
876
+ "tagged union": {
877
+ 'data types': d({}),
878
+ 'namespaces': d({
879
+ "G": {
880
+ 'data types': d({}),
881
+ 'namespaces': d({
882
+ "options": {
883
+ 'data types': d({}),
884
+ 'namespaces': d({
885
+ "DX": {
886
+ 'data types': d({}),
887
+ 'namespaces': d({
888
+ "G": {
889
+ 'data types': d({}),
890
+ 'namespaces': d({
891
+ "constraints": {
892
+ 'data types': d({}),
893
+ 'namespaces': d({}),
894
+ },
895
+ "type": {
896
+ 'data types': d({}),
897
+ 'namespaces': d({}),
898
+ },
899
+ }),
900
+ },
901
+ }),
902
+ },
903
+ }),
904
+ },
905
+ "result": {
906
+ 'data types': d({}),
907
+ 'namespaces': d({
908
+ "O": {
909
+ 'data types': d({}),
910
+ 'namespaces': d({}),
911
+ },
912
+ }),
913
+ },
914
+ }),
915
+ },
916
+ }),
917
+ },
918
+ "terminal": {
919
+ 'data types': d({}),
920
+ 'namespaces': d({
921
+ "G": {
922
+ 'data types': d({}),
923
+ 'namespaces': d({
924
+ "constrained": {
925
+ 'data types': d({}),
926
+ 'namespaces': d({
927
+ "TU": {
928
+ 'data types': d({}),
929
+ 'namespaces': d({
930
+ "no": {
931
+ 'data types': d({}),
932
+ 'namespaces': d({
933
+ "G": {
934
+ 'data types': d({}),
935
+ 'namespaces': d({}),
936
+ },
937
+ }),
938
+ },
939
+ "yes": {
940
+ 'data types': d({}),
941
+ 'namespaces': d({
942
+ "G": {
943
+ 'data types': d({}),
944
+ 'namespaces': d({
945
+ "computed": {
946
+ 'data types': d({}),
947
+ 'namespaces': d({
948
+ "TU": {
949
+ 'data types': d({}),
950
+ 'namespaces': d({
951
+ "no": {
952
+ 'data types': d({}),
953
+ 'namespaces': d({
954
+ "G": {
955
+ 'data types': d({}),
956
+ 'namespaces': d({}),
957
+ },
958
+ }),
959
+ },
960
+ "yes": {
961
+ 'data types': d({}),
962
+ 'namespaces': d({
963
+ "G": {
964
+ 'data types': d({}),
965
+ 'namespaces': d({}),
966
+ },
967
+ }),
968
+ },
969
+ }),
970
+ },
971
+ }),
972
+ },
973
+ "type": {
974
+ 'data types': d({}),
975
+ 'namespaces': d({}),
976
+ },
977
+ }),
978
+ },
979
+ }),
980
+ },
981
+ }),
982
+ },
983
+ }),
984
+ },
985
+ "terminal": {
986
+ 'data types': d({}),
987
+ 'namespaces': d({}),
988
+ },
989
+ }),
990
+ },
991
+ }),
992
+ },
993
+ }),
994
+ },
995
+ }),
996
+ },
997
+ }),
998
+ },
999
+ }),
1000
+ },
1001
+ "Type Library": {
1002
+ 'data types': d({}),
1003
+ 'namespaces': d({
1004
+ "G": {
1005
+ 'data types': d({}),
1006
+ 'namespaces': d({
1007
+ "global types": {
1008
+ 'data types': d({}),
1009
+ 'namespaces': d({
1010
+ "DX": {
1011
+ 'data types': d({}),
1012
+ 'namespaces': d({}),
1013
+ },
1014
+ }),
1015
+ },
1016
+ "imports": {
1017
+ 'data types': d({}),
1018
+ 'namespaces': d({}),
1019
+ },
1020
+ "labels": {
1021
+ 'data types': d({}),
1022
+ 'namespaces': d({}),
1023
+ },
1024
+ }),
1025
+ },
1026
+ }),
1027
+ },
1028
+ "Type Selection": {
1029
+ 'data types': d({}),
1030
+ 'namespaces': d({
1031
+ "G": {
1032
+ 'data types': d({}),
1033
+ 'namespaces': d({
1034
+ "global type": {
1035
+ 'data types': d({}),
1036
+ 'namespaces': d({}),
1037
+ },
1038
+ "tail": {
1039
+ 'data types': d({}),
1040
+ 'namespaces': d({
1041
+ "O": {
1042
+ 'data types': d({}),
1043
+ 'namespaces': d({}),
1044
+ },
1045
+ }),
1046
+ },
1047
+ }),
1048
+ },
1049
+ }),
1050
+ },
1051
+ "Type Selection Tail": {
1052
+ 'data types': d({}),
1053
+ 'namespaces': d({
1054
+ "G": {
1055
+ 'data types': d({}),
1056
+ 'namespaces': d({
1057
+ "step type": {
1058
+ 'data types': d({}),
1059
+ 'namespaces': d({
1060
+ "TU": {
1061
+ 'data types': d({}),
1062
+ 'namespaces': d({
1063
+ "array": {
1064
+ 'data types': d({}),
1065
+ 'namespaces': d({
1066
+ "G": {
1067
+ 'data types': d({}),
1068
+ 'namespaces': d({}),
1069
+ },
1070
+ }),
1071
+ },
1072
+ "dictionary": {
1073
+ 'data types': d({}),
1074
+ 'namespaces': d({
1075
+ "G": {
1076
+ 'data types': d({}),
1077
+ 'namespaces': d({}),
1078
+ },
1079
+ }),
1080
+ },
1081
+ "group": {
1082
+ 'data types': d({}),
1083
+ 'namespaces': d({
1084
+ "G": {
1085
+ 'data types': d({}),
1086
+ 'namespaces': d({
1087
+ "property": {
1088
+ 'data types': d({}),
1089
+ 'namespaces': d({}),
1090
+ },
1091
+ }),
1092
+ },
1093
+ }),
1094
+ },
1095
+ "optional": {
1096
+ 'data types': d({}),
1097
+ 'namespaces': d({
1098
+ "G": {
1099
+ 'data types': d({}),
1100
+ 'namespaces': d({}),
1101
+ },
1102
+ }),
1103
+ },
1104
+ "tagged union": {
1105
+ 'data types': d({}),
1106
+ 'namespaces': d({
1107
+ "G": {
1108
+ 'data types': d({}),
1109
+ 'namespaces': d({
1110
+ "option": {
1111
+ 'data types': d({}),
1112
+ 'namespaces': d({}),
1113
+ },
1114
+ }),
1115
+ },
1116
+ }),
1117
+ },
1118
+ }),
1119
+ },
1120
+ }),
1121
+ },
1122
+ "tail": {
1123
+ 'data types': d({}),
1124
+ 'namespaces': d({
1125
+ "O": {
1126
+ 'data types': d({}),
1127
+ 'namespaces': d({}),
1128
+ },
1129
+ }),
1130
+ },
1131
+ }),
1132
+ },
1133
+ }),
1134
+ },
1135
+ }),
1136
+ },
1137
+ 'interface types': d({}),
1138
+ 'algorithm types': d({}),
1139
+ }