npm - pareto - Versions diffs - 0.55.0 → 0.57.0 - Mend

pareto 0.55.0 → 0.57.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 (234) hide show

package/auto.pareto/auto.dependencies/pareto-pure/glossaries/auto.tendril.data.ts ADDED Viewed

@@ -0,0 +1,1139 @@
+import * as pd from 'pareto-core-data'
+import * as g_cosmos from "pareto/auto.dist/public/glossaries/cosmos__type__system"
+const d = pd.d
+const a = pd.a
+export const $: g_cosmos.D.Glossary = {
+    'imports': d({}),
+    'glossary parameters': d({
+        "Annotation": null,
+    }),
+    'root': {
+        'data types': d({
+            "Atom": {
+                'parameters': d({}),
+                'type': <g_cosmos.D.Data__Type>['group', d({
+                    "type": {
+                        'type': <g_cosmos.D.Data__Type>['group', d({
+                            "annotation": {
+                                'type': <g_cosmos.D.Data__Type>['reference', ['glossary parameterXX', "Annotation"]],
+                            },
+                            "key": {
+                                'type': <g_cosmos.D.Data__Type>['string', null],
+                            },
+                        })],
+                    },
+                })]
+            },
+            "Dictionary Constraints": {
+                'parameters': d({}),
+                'type': <g_cosmos.D.Data__Type>['dictionary', <g_cosmos.D.Data__Type>['group', d({
+                    "type": {
+                        'type': <g_cosmos.D.Data__Type>['reference', ['type', {
+                            'context': ['local', null],
+                            'typeXX': "Type Selection",
+                            'tailXX': a([]),
+                            'type arguments': d({}),
+                        }]],
+                    },
+                })]]
+            },
+            "Global Type": {
+                'parameters': d({}),
+                'type': <g_cosmos.D.Data__Type>['group', d({
+                    "result": {
+                        'type': <g_cosmos.D.Data__Type>['optional', <g_cosmos.D.Data__Type>['group', d({
+                            "type": {
+                                'type': <g_cosmos.D.Data__Type>['reference', ['type', {
+                                    'context': ['local', null],
+                                    'typeXX': "Global Type Selection",
+                                    'tailXX': a([]),
+                                    'type arguments': d({}),
+                                }]],
+                            },
+                        })]],
+                    },
+                    "type": {
+                        'type': <g_cosmos.D.Data__Type>['reference', ['type', {
+                            'context': ['local', null],
+                            'typeXX': "Type",
+                            'tailXX': a([]),
+                            'type arguments': d({}),
+                        }]],
+                    },
+                })]
+            },
+            "Global Type Selection": {
+                'parameters': d({}),
+                'type': <g_cosmos.D.Data__Type>['group', d({
+                    "import": {
+                        'type': <g_cosmos.D.Data__Type>['optional', <g_cosmos.D.Data__Type>['group', d({
+                            "annotation": {
+                                'type': <g_cosmos.D.Data__Type>['reference', ['glossary parameterXX', "Annotation"]],
+                            },
+                            "key": {
+                                'type': <g_cosmos.D.Data__Type>['string', null],
+                            },
+                        })]],
+                    },
+                    "type": {
+                        'type': <g_cosmos.D.Data__Type>['group', d({
+                            "annotation": {
+                                'type': <g_cosmos.D.Data__Type>['reference', ['glossary parameterXX', "Annotation"]],
+                            },
+                            "key": {
+                                'type': <g_cosmos.D.Data__Type>['string', null],
+                            },
+                        })],
+                    },
+                })]
+            },
+            "Imports": {
+                'parameters': d({}),
+                'type': <g_cosmos.D.Data__Type>['dictionary', <g_cosmos.D.Data__Type>['group', d({})]]
+            },
+            "Labels": {
+                'parameters': d({}),
+                'type': <g_cosmos.D.Data__Type>['group', d({
+                    "atom types": {
+                        'type': <g_cosmos.D.Data__Type>['dictionary', <g_cosmos.D.Data__Type>['group', d({})]],
+                    },
+                })]
+            },
+            "Model": {
+                'parameters': d({}),
+                'type': <g_cosmos.D.Data__Type>['group', d({
+                    "root": {
+                        'type': <g_cosmos.D.Data__Type>['group', d({
+                            "annotation": {
+                                'type': <g_cosmos.D.Data__Type>['reference', ['glossary parameterXX', "Annotation"]],
+                            },
+                            "key": {
+                                'type': <g_cosmos.D.Data__Type>['string', null],
+                            },
+                        })],
+                    },
+                    "type library": {
+                        'type': <g_cosmos.D.Data__Type>['reference', ['type', {
+                            'context': ['local', null],
+                            'typeXX': "Type Library",
+                            'tailXX': a([]),
+                            'type arguments': d({}),
+                        }]],
+                    },
+                })]
+            },
+            "Option Constraints": {
+                'parameters': d({}),
+                'type': <g_cosmos.D.Data__Type>['dictionary', <g_cosmos.D.Data__Type>['group', d({
+                    "option": {
+                        'type': <g_cosmos.D.Data__Type>['group', d({
+                            "annotation": {
+                                'type': <g_cosmos.D.Data__Type>['reference', ['glossary parameterXX', "Annotation"]],
+                            },
+                            "key": {
+                                'type': <g_cosmos.D.Data__Type>['string', null],
+                            },
+                        })],
+                    },
+                    "type": {
+                        'type': <g_cosmos.D.Data__Type>['reference', ['type', {
+                            'context': ['local', null],
+                            'typeXX': "Type Selection",
+                            'tailXX': a([]),
+                            'type arguments': d({}),
+                        }]],
+                    },
+                })]]
+            },
+            "Properties": {
+                'parameters': d({}),
+                'type': <g_cosmos.D.Data__Type>['dictionary', <g_cosmos.D.Data__Type>['group', d({
+                    "type": {
+                        'type': <g_cosmos.D.Data__Type>['reference', ['type', {
+                            'context': ['local', null],
+                            'typeXX': "Type",
+                            'tailXX': a([]),
+                            'type arguments': d({}),
+                        }]],
+                    },
+                })]]
+            },
+            "Type": {
+                'parameters': d({}),
+                'type': <g_cosmos.D.Data__Type>['group', d({
+                    "type": {
+                        'type': <g_cosmos.D.Data__Type>['taggedUnion', d({
+                            "array": <g_cosmos.D.Data__Type>['group', d({
+                                "type": {
+                                    'type': <g_cosmos.D.Data__Type>['reference', ['type', {
+                                        'context': ['local', null],
+                                        'typeXX': "Type",
+                                        'tailXX': a([]),
+                                        'type arguments': d({}),
+                                    }]],
+                                },
+                            })],
+                            "component": <g_cosmos.D.Data__Type>['group', d({
+                                "context": {
+                                    'type': <g_cosmos.D.Data__Type>['taggedUnion', d({
+                                        "cyclic sibling": <g_cosmos.D.Data__Type>['group', d({
+                                            "type": {
+                                                'type': <g_cosmos.D.Data__Type>['group', d({
+                                                    "annotation": {
+                                                        'type': <g_cosmos.D.Data__Type>['reference', ['glossary parameterXX', "Annotation"]],
+                                                    },
+                                                    "key": {
+                                                        'type': <g_cosmos.D.Data__Type>['string', null],
+                                                    },
+                                                })],
+                                            },
+                                        })],
+                                        "import": <g_cosmos.D.Data__Type>['group', d({
+                                            "library": {
+                                                'type': <g_cosmos.D.Data__Type>['group', d({
+                                                    "annotation": {
+                                                        'type': <g_cosmos.D.Data__Type>['reference', ['glossary parameterXX', "Annotation"]],
+                                                    },
+                                                    "key": {
+                                                        'type': <g_cosmos.D.Data__Type>['string', null],
+                                                    },
+                                                })],
+                                            },
+                                            "type": {
+                                                'type': <g_cosmos.D.Data__Type>['group', d({
+                                                    "annotation": {
+                                                        'type': <g_cosmos.D.Data__Type>['reference', ['glossary parameterXX', "Annotation"]],
+                                                    },
+                                                    "key": {
+                                                        'type': <g_cosmos.D.Data__Type>['string', null],
+                                                    },
+                                                })],
+                                            },
+                                        })],
+                                        "resolved sibling": <g_cosmos.D.Data__Type>['group', d({
+                                            "type": {
+                                                'type': <g_cosmos.D.Data__Type>['group', d({
+                                                    "annotation": {
+                                                        'type': <g_cosmos.D.Data__Type>['reference', ['glossary parameterXX', "Annotation"]],
+                                                    },
+                                                    "key": {
+                                                        'type': <g_cosmos.D.Data__Type>['string', null],
+                                                    },
+                                                })],
+                                            },
+                                        })],
+                                    })],
+                                },
+                            })],
+                            "dictionary": <g_cosmos.D.Data__Type>['group', d({
+                                "constraints": {
+                                    'type': <g_cosmos.D.Data__Type>['reference', ['type', {
+                                        'context': ['local', null],
+                                        'typeXX': "Dictionary Constraints",
+                                        'tailXX': a([]),
+                                        'type arguments': d({}),
+                                    }]],
+                                },
+                                "key": {
+                                    'type': <g_cosmos.D.Data__Type>['reference', ['type', {
+                                        'context': ['local', null],
+                                        'typeXX': "Atom",
+                                        'tailXX': a([]),
+                                        'type arguments': d({}),
+                                    }]],
+                                },
+                                "type": {
+                                    'type': <g_cosmos.D.Data__Type>['reference', ['type', {
+                                        'context': ['local', null],
+                                        'typeXX': "Type",
+                                        'tailXX': a([]),
+                                        'type arguments': d({}),
+                                    }]],
+                                },
+                            })],
+                            "group": <g_cosmos.D.Data__Type>['group', d({
+                                "properties": {
+                                    'type': <g_cosmos.D.Data__Type>['reference', ['type', {
+                                        'context': ['local', null],
+                                        'typeXX': "Properties",
+                                        'tailXX': a([]),
+                                        'type arguments': d({}),
+                                    }]],
+                                },
+                            })],
+                            "nothing": <g_cosmos.D.Data__Type>['group', d({
+                                "result": {
+                                    'type': <g_cosmos.D.Data__Type>['optional', <g_cosmos.D.Data__Type>['group', d({
+                                        "type": {
+                                            'type': <g_cosmos.D.Data__Type>['reference', ['type', {
+                                                'context': ['local', null],
+                                                'typeXX': "Global Type Selection",
+                                                'tailXX': a([]),
+                                                'type arguments': d({}),
+                                            }]],
+                                        },
+                                    })]],
+                                },
+                            })],
+                            "optional": <g_cosmos.D.Data__Type>['group', d({
+                                "result": {
+                                    'type': <g_cosmos.D.Data__Type>['optional', <g_cosmos.D.Data__Type>['group', d({
+                                        "type": {
+                                            'type': <g_cosmos.D.Data__Type>['reference', ['type', {
+                                                'context': ['local', null],
+                                                'typeXX': "Global Type Selection",
+                                                'tailXX': a([]),
+                                                'type arguments': d({}),
+                                            }]],
+                                        },
+                                    })]],
+                                },
+                                "type": {
+                                    'type': <g_cosmos.D.Data__Type>['reference', ['type', {
+                                        'context': ['local', null],
+                                        'typeXX': "Type",
+                                        'tailXX': a([]),
+                                        'type arguments': d({}),
+                                    }]],
+                                },
+                            })],
+                            "tagged union": <g_cosmos.D.Data__Type>['group', d({
+                                "options": {
+                                    'type': <g_cosmos.D.Data__Type>['dictionary', <g_cosmos.D.Data__Type>['group', d({
+                                        "constraints": {
+                                            'type': <g_cosmos.D.Data__Type>['reference', ['type', {
+                                                'context': ['local', null],
+                                                'typeXX': "Option Constraints",
+                                                'tailXX': a([]),
+                                                'type arguments': d({}),
+                                            }]],
+                                        },
+                                        "type": {
+                                            'type': <g_cosmos.D.Data__Type>['reference', ['type', {
+                                                'context': ['local', null],
+                                                'typeXX': "Type",
+                                                'tailXX': a([]),
+                                                'type arguments': d({}),
+                                            }]],
+                                        },
+                                    })]],
+                                },
+                                "result": {
+                                    'type': <g_cosmos.D.Data__Type>['optional', <g_cosmos.D.Data__Type>['reference', ['type', {
+                                        'context': ['local', null],
+                                        'typeXX': "Global Type Selection",
+                                        'tailXX': a([]),
+                                        'type arguments': d({}),
+                                    }]]],
+                                },
+                            })],
+                            "terminal": <g_cosmos.D.Data__Type>['group', d({
+                                "constrained": {
+                                    'type': <g_cosmos.D.Data__Type>['taggedUnion', d({
+                                        "no": <g_cosmos.D.Data__Type>['group', d({})],
+                                        "yes": <g_cosmos.D.Data__Type>['group', d({
+                                            "computed": {
+                                                'type': <g_cosmos.D.Data__Type>['taggedUnion', d({
+                                                    "no": <g_cosmos.D.Data__Type>['group', d({})],
+                                                    "yes": <g_cosmos.D.Data__Type>['group', d({})],
+                                                })],
+                                            },
+                                            "type": {
+                                                'type': <g_cosmos.D.Data__Type>['reference', ['type', {
+                                                    'context': ['local', null],
+                                                    'typeXX': "Type Selection",
+                                                    'tailXX': a([]),
+                                                    'type arguments': d({}),
+                                                }]],
+                                            },
+                                        })],
+                                    })],
+                                },
+                                "terminal": {
+                                    'type': <g_cosmos.D.Data__Type>['reference', ['type', {
+                                        'context': ['local', null],
+                                        'typeXX': "Atom",
+                                        'tailXX': a([]),
+                                        'type arguments': d({}),
+                                    }]],
+                                },
+                            })],
+                        })],
+                    },
+                })]
+            },
+            "Type Library": {
+                'parameters': d({}),
+                'type': <g_cosmos.D.Data__Type>['group', d({
+                    "global types": {
+                        'type': <g_cosmos.D.Data__Type>['dictionary', <g_cosmos.D.Data__Type>['reference', ['type', {
+                            'context': ['local', null],
+                            'typeXX': "Global Type",
+                            'tailXX': a([]),
+                            'type arguments': d({}),
+                        }]]],
+                    },
+                    "imports": {
+                        'type': <g_cosmos.D.Data__Type>['reference', ['type', {
+                            'context': ['local', null],
+                            'typeXX': "Imports",
+                            'tailXX': a([]),
+                            'type arguments': d({}),
+                        }]],
+                    },
+                    "labels": {
+                        'type': <g_cosmos.D.Data__Type>['reference', ['type', {
+                            'context': ['local', null],
+                            'typeXX': "Labels",
+                            'tailXX': a([]),
+                            'type arguments': d({}),
+                        }]],
+                    },
+                })]
+            },
+            "Type Selection": {
+                'parameters': d({}),
+                'type': <g_cosmos.D.Data__Type>['group', d({
+                    "global type": {
+                        'type': <g_cosmos.D.Data__Type>['reference', ['type', {
+                            'context': ['local', null],
+                            'typeXX': "Global Type Selection",
+                            'tailXX': a([]),
+                            'type arguments': d({}),
+                        }]],
+                    },
+                    "tail": {
+                        'type': <g_cosmos.D.Data__Type>['optional', <g_cosmos.D.Data__Type>['reference', ['type', {
+                            'context': ['local', null],
+                            'typeXX': "Type Selection Tail",
+                            'tailXX': a([]),
+                            'type arguments': d({}),
+                        }]]],
+                    },
+                })]
+            },
+            "Type Selection Tail": {
+                'parameters': d({}),
+                'type': <g_cosmos.D.Data__Type>['group', d({
+                    "step type": {
+                        'type': <g_cosmos.D.Data__Type>['taggedUnion', d({
+                            "array": <g_cosmos.D.Data__Type>['group', d({
+                                "annotation": {
+                                    'type': <g_cosmos.D.Data__Type>['reference', ['glossary parameterXX', "Annotation"]],
+                                },
+                                "content": {
+                                    'type': <g_cosmos.D.Data__Type>['group', d({})],
+                                },
+                            })],
+                            "dictionary": <g_cosmos.D.Data__Type>['group', d({
+                                "annotation": {
+                                    'type': <g_cosmos.D.Data__Type>['reference', ['glossary parameterXX', "Annotation"]],
+                                },
+                                "content": {
+                                    'type': <g_cosmos.D.Data__Type>['group', d({})],
+                                },
+                            })],
+                            "group": <g_cosmos.D.Data__Type>['group', d({
+                                "annotation": {
+                                    'type': <g_cosmos.D.Data__Type>['reference', ['glossary parameterXX', "Annotation"]],
+                                },
+                                "content": {
+                                    'type': <g_cosmos.D.Data__Type>['group', d({
+                                        "property": {
+                                            'type': <g_cosmos.D.Data__Type>['group', d({
+                                                "annotation": {
+                                                    'type': <g_cosmos.D.Data__Type>['reference', ['glossary parameterXX', "Annotation"]],
+                                                },
+                                                "key": {
+                                                    'type': <g_cosmos.D.Data__Type>['string', null],
+                                                },
+                                            })],
+                                        },
+                                    })],
+                                },
+                            })],
+                            "optional": <g_cosmos.D.Data__Type>['group', d({
+                                "annotation": {
+                                    'type': <g_cosmos.D.Data__Type>['reference', ['glossary parameterXX', "Annotation"]],
+                                },
+                                "content": {
+                                    'type': <g_cosmos.D.Data__Type>['group', d({})],
+                                },
+                            })],
+                            "tagged union": <g_cosmos.D.Data__Type>['group', d({
+                                "annotation": {
+                                    'type': <g_cosmos.D.Data__Type>['reference', ['glossary parameterXX', "Annotation"]],
+                                },
+                                "content": {
+                                    'type': <g_cosmos.D.Data__Type>['group', d({
+                                        "option": {
+                                            'type': <g_cosmos.D.Data__Type>['group', d({
+                                                "annotation": {
+                                                    'type': <g_cosmos.D.Data__Type>['reference', ['glossary parameterXX', "Annotation"]],
+                                                },
+                                                "key": {
+                                                    'type': <g_cosmos.D.Data__Type>['string', null],
+                                                },
+                                            })],
+                                        },
+                                    })],
+                                },
+                            })],
+                        })],
+                    },
+                    "tail": {
+                        'type': <g_cosmos.D.Data__Type>['optional', <g_cosmos.D.Data__Type>['reference', ['type', {
+                            'context': ['local', null],
+                            'typeXX': "Type Selection Tail",
+                            'tailXX': a([]),
+                            'type arguments': d({}),
+                        }]]],
+                    },
+                })]
+            },
+        }),
+        'namespaces': d({
+            "Atom": {
+                'data types': d({}),
+                'namespaces': d({
+                    "G": {
+                        'data types': d({}),
+                        'namespaces': d({
+                            "type": {
+                                'data types': d({}),
+                                'namespaces': d({}),
+                            },
+                        }),
+                    },
+                }),
+            },
+            "Dictionary Constraints": {
+                'data types': d({}),
+                'namespaces': d({
+                    "DX": {
+                        'data types': d({}),
+                        'namespaces': d({
+                            "G": {
+                                'data types': d({}),
+                                'namespaces': d({
+                                    "type": {
+                                        'data types': d({}),
+                                        'namespaces': d({}),
+                                    },
+                                }),
+                            },
+                        }),
+                    },
+                }),
+            },
+            "Global Type": {
+                'data types': d({}),
+                'namespaces': d({
+                    "G": {
+                        'data types': d({}),
+                        'namespaces': d({
+                            "result": {
+                                'data types': d({}),
+                                'namespaces': d({
+                                    "O": {
+                                        'data types': d({}),
+                                        'namespaces': d({
+                                            "G": {
+                                                'data types': d({}),
+                                                'namespaces': d({
+                                                    "type": {
+                                                        'data types': d({}),
+                                                        'namespaces': d({}),
+                                                    },
+                                                }),
+                                            },
+                                        }),
+                                    },
+                                }),
+                            },
+                            "type": {
+                                'data types': d({}),
+                                'namespaces': d({}),
+                            },
+                        }),
+                    },
+                }),
+            },
+            "Global Type Selection": {
+                'data types': d({}),
+                'namespaces': d({
+                    "G": {
+                        'data types': d({}),
+                        'namespaces': d({
+                            "import": {
+                                'data types': d({}),
+                                'namespaces': d({
+                                    "O": {
+                                        'data types': d({}),
+                                        'namespaces': d({}),
+                                    },
+                                }),
+                            },
+                            "type": {
+                                'data types': d({}),
+                                'namespaces': d({}),
+                            },
+                        }),
+                    },
+                }),
+            },
+            "Imports": {
+                'data types': d({}),
+                'namespaces': d({
+                    "DX": {
+                        'data types': d({}),
+                        'namespaces': d({
+                            "G": {
+                                'data types': d({}),
+                                'namespaces': d({}),
+                            },
+                        }),
+                    },
+                }),
+            },
+            "Labels": {
+                'data types': d({}),
+                'namespaces': d({
+                    "G": {
+                        'data types': d({}),
+                        'namespaces': d({
+                            "atom types": {
+                                'data types': d({}),
+                                'namespaces': d({
+                                    "DX": {
+                                        'data types': d({}),
+                                        'namespaces': d({
+                                            "G": {
+                                                'data types': d({}),
+                                                'namespaces': d({}),
+                                            },
+                                        }),
+                                    },
+                                }),
+                            },
+                        }),
+                    },
+                }),
+            },
+            "Model": {
+                'data types': d({}),
+                'namespaces': d({
+                    "G": {
+                        'data types': d({}),
+                        'namespaces': d({
+                            "root": {
+                                'data types': d({}),
+                                'namespaces': d({}),
+                            },
+                            "type library": {
+                                'data types': d({}),
+                                'namespaces': d({}),
+                            },
+                        }),
+                    },
+                }),
+            },
+            "Option Constraints": {
+                'data types': d({}),
+                'namespaces': d({
+                    "DX": {
+                        'data types': d({}),
+                        'namespaces': d({
+                            "G": {
+                                'data types': d({}),
+                                'namespaces': d({
+                                    "option": {
+                                        'data types': d({}),
+                                        'namespaces': d({}),
+                                    },
+                                    "type": {
+                                        'data types': d({}),
+                                        'namespaces': d({}),
+                                    },
+                                }),
+                            },
+                        }),
+                    },
+                }),
+            },
+            "Properties": {
+                'data types': d({}),
+                'namespaces': d({
+                    "DX": {
+                        'data types': d({}),
+                        'namespaces': d({
+                            "G": {
+                                'data types': d({}),
+                                'namespaces': d({
+                                    "type": {
+                                        'data types': d({}),
+                                        'namespaces': d({}),
+                                    },
+                                }),
+                            },
+                        }),
+                    },
+                }),
+            },
+            "Type": {
+                'data types': d({}),
+                'namespaces': d({
+                    "G": {
+                        'data types': d({}),
+                        'namespaces': d({
+                            "type": {
+                                'data types': d({}),
+                                'namespaces': d({
+                                    "TU": {
+                                        'data types': d({}),
+                                        'namespaces': d({
+                                            "array": {
+                                                'data types': d({}),
+                                                'namespaces': d({
+                                                    "G": {
+                                                        'data types': d({}),
+                                                        'namespaces': d({
+                                                            "type": {
+                                                                'data types': d({}),
+                                                                'namespaces': d({}),
+                                                            },
+                                                        }),
+                                                    },
+                                                }),
+                                            },
+                                            "component": {
+                                                'data types': d({}),
+                                                'namespaces': d({
+                                                    "G": {
+                                                        'data types': d({}),
+                                                        'namespaces': d({
+                                                            "context": {
+                                                                'data types': d({}),
+                                                                'namespaces': d({
+                                                                    "TU": {
+                                                                        'data types': d({}),
+                                                                        'namespaces': d({
+                                                                            "cyclic sibling": {
+                                                                                'data types': d({}),
+                                                                                'namespaces': d({
+                                                                                    "G": {
+                                                                                        'data types': d({}),
+                                                                                        'namespaces': d({
+                                                                                            "type": {
+                                                                                                'data types': d({}),
+                                                                                                'namespaces': d({}),
+                                                                                            },
+                                                                                        }),
+                                                                                    },
+                                                                                }),
+                                                                            },
+                                                                            "import": {
+                                                                                'data types': d({}),
+                                                                                'namespaces': d({
+                                                                                    "G": {
+                                                                                        'data types': d({}),
+                                                                                        'namespaces': d({
+                                                                                            "library": {
+                                                                                                'data types': d({}),
+                                                                                                'namespaces': d({}),
+                                                                                            },
+                                                                                            "type": {
+                                                                                                'data types': d({}),
+                                                                                                'namespaces': d({}),
+                                                                                            },
+                                                                                        }),
+                                                                                    },
+                                                                                }),
+                                                                            },
+                                                                            "resolved sibling": {
+                                                                                'data types': d({}),
+                                                                                'namespaces': d({
+                                                                                    "G": {
+                                                                                        'data types': d({}),
+                                                                                        'namespaces': d({
+                                                                                            "type": {
+                                                                                                'data types': d({}),
+                                                                                                'namespaces': d({}),
+                                                                                            },
+                                                                                        }),
+                                                                                    },
+                                                                                }),
+                                                                            },
+                                                                        }),
+                                                                    },
+                                                                }),
+                                                            },
+                                                        }),
+                                                    },
+                                                }),
+                                            },
+                                            "dictionary": {
+                                                'data types': d({}),
+                                                'namespaces': d({
+                                                    "G": {
+                                                        'data types': d({}),
+                                                        'namespaces': d({
+                                                            "constraints": {
+                                                                'data types': d({}),
+                                                                'namespaces': d({}),
+                                                            },
+                                                            "key": {
+                                                                'data types': d({}),
+                                                                'namespaces': d({}),
+                                                            },
+                                                            "type": {
+                                                                'data types': d({}),
+                                                                'namespaces': d({}),
+                                                            },
+                                                        }),
+                                                    },
+                                                }),
+                                            },
+                                            "group": {
+                                                'data types': d({}),
+                                                'namespaces': d({
+                                                    "G": {
+                                                        'data types': d({}),
+                                                        'namespaces': d({
+                                                            "properties": {
+                                                                'data types': d({}),
+                                                                'namespaces': d({}),
+                                                            },
+                                                        }),
+                                                    },
+                                                }),
+                                            },
+                                            "nothing": {
+                                                'data types': d({}),
+                                                'namespaces': d({
+                                                    "G": {
+                                                        'data types': d({}),
+                                                        'namespaces': d({
+                                                            "result": {
+                                                                'data types': d({}),
+                                                                'namespaces': d({
+                                                                    "O": {
+                                                                        'data types': d({}),
+                                                                        'namespaces': d({
+                                                                            "G": {
+                                                                                'data types': d({}),
+                                                                                'namespaces': d({
+                                                                                    "type": {
+                                                                                        'data types': d({}),
+                                                                                        'namespaces': d({}),
+                                                                                    },
+                                                                                }),
+                                                                            },
+                                                                        }),
+                                                                    },
+                                                                }),
+                                                            },
+                                                        }),
+                                                    },
+                                                }),
+                                            },
+                                            "optional": {
+                                                'data types': d({}),
+                                                'namespaces': d({
+                                                    "G": {
+                                                        'data types': d({}),
+                                                        'namespaces': d({
+                                                            "result": {
+                                                                'data types': d({}),
+                                                                'namespaces': d({
+                                                                    "O": {
+                                                                        'data types': d({}),
+                                                                        'namespaces': d({
+                                                                            "G": {
+                                                                                'data types': d({}),
+                                                                                'namespaces': d({
+                                                                                    "type": {
+                                                                                        'data types': d({}),
+                                                                                        'namespaces': d({}),
+                                                                                    },
+                                                                                }),
+                                                                            },
+                                                                        }),
+                                                                    },
+                                                                }),
+                                                            },
+                                                            "type": {
+                                                                'data types': d({}),
+                                                                'namespaces': d({}),
+                                                            },
+                                                        }),
+                                                    },
+                                                }),
+                                            },
+                                            "tagged union": {
+                                                'data types': d({}),
+                                                'namespaces': d({
+                                                    "G": {
+                                                        'data types': d({}),
+                                                        'namespaces': d({
+                                                            "options": {
+                                                                'data types': d({}),
+                                                                'namespaces': d({
+                                                                    "DX": {
+                                                                        'data types': d({}),
+                                                                        'namespaces': d({
+                                                                            "G": {
+                                                                                'data types': d({}),
+                                                                                'namespaces': d({
+                                                                                    "constraints": {
+                                                                                        'data types': d({}),
+                                                                                        'namespaces': d({}),
+                                                                                    },
+                                                                                    "type": {
+                                                                                        'data types': d({}),
+                                                                                        'namespaces': d({}),
+                                                                                    },
+                                                                                }),
+                                                                            },
+                                                                        }),
+                                                                    },
+                                                                }),
+                                                            },
+                                                            "result": {
+                                                                'data types': d({}),
+                                                                'namespaces': d({
+                                                                    "O": {
+                                                                        'data types': d({}),
+                                                                        'namespaces': d({}),
+                                                                    },
+                                                                }),
+                                                            },
+                                                        }),
+                                                    },
+                                                }),
+                                            },
+                                            "terminal": {
+                                                'data types': d({}),
+                                                'namespaces': d({
+                                                    "G": {
+                                                        'data types': d({}),
+                                                        'namespaces': d({
+                                                            "constrained": {
+                                                                'data types': d({}),
+                                                                'namespaces': d({
+                                                                    "TU": {
+                                                                        'data types': d({}),
+                                                                        'namespaces': d({
+                                                                            "no": {
+                                                                                'data types': d({}),
+                                                                                'namespaces': d({
+                                                                                    "G": {
+                                                                                        'data types': d({}),
+                                                                                        'namespaces': d({}),
+                                                                                    },
+                                                                                }),
+                                                                            },
+                                                                            "yes": {
+                                                                                'data types': d({}),
+                                                                                'namespaces': d({
+                                                                                    "G": {
+                                                                                        'data types': d({}),
+                                                                                        'namespaces': d({
+                                                                                            "computed": {
+                                                                                                'data types': d({}),
+                                                                                                'namespaces': d({
+                                                                                                    "TU": {
+                                                                                                        'data types': d({}),
+                                                                                                        'namespaces': d({
+                                                                                                            "no": {
+                                                                                                                'data types': d({}),
+                                                                                                                'namespaces': d({
+                                                                                                                    "G": {
+                                                                                                                        'data types': d({}),
+                                                                                                                        'namespaces': d({}),
+                                                                                                                    },
+                                                                                                                }),
+                                                                                                            },
+                                                                                                            "yes": {
+                                                                                                                'data types': d({}),
+                                                                                                                'namespaces': d({
+                                                                                                                    "G": {
+                                                                                                                        'data types': d({}),
+                                                                                                                        'namespaces': d({}),
+                                                                                                                    },
+                                                                                                                }),
+                                                                                                            },
+                                                                                                        }),
+                                                                                                    },
+                                                                                                }),
+                                                                                            },
+                                                                                            "type": {
+                                                                                                'data types': d({}),
+                                                                                                'namespaces': d({}),
+                                                                                            },
+                                                                                        }),
+                                                                                    },
+                                                                                }),
+                                                                            },
+                                                                        }),
+                                                                    },
+                                                                }),
+                                                            },
+                                                            "terminal": {
+                                                                'data types': d({}),
+                                                                'namespaces': d({}),
+                                                            },
+                                                        }),
+                                                    },
+                                                }),
+                                            },
+                                        }),
+                                    },
+                                }),
+                            },
+                        }),
+                    },
+                }),
+            },
+            "Type Library": {
+                'data types': d({}),
+                'namespaces': d({
+                    "G": {
+                        'data types': d({}),
+                        'namespaces': d({
+                            "global types": {
+                                'data types': d({}),
+                                'namespaces': d({
+                                    "DX": {
+                                        'data types': d({}),
+                                        'namespaces': d({}),
+                                    },
+                                }),
+                            },
+                            "imports": {
+                                'data types': d({}),
+                                'namespaces': d({}),
+                            },
+                            "labels": {
+                                'data types': d({}),
+                                'namespaces': d({}),
+                            },
+                        }),
+                    },
+                }),
+            },
+            "Type Selection": {
+                'data types': d({}),
+                'namespaces': d({
+                    "G": {
+                        'data types': d({}),
+                        'namespaces': d({
+                            "global type": {
+                                'data types': d({}),
+                                'namespaces': d({}),
+                            },
+                            "tail": {
+                                'data types': d({}),
+                                'namespaces': d({
+                                    "O": {
+                                        'data types': d({}),
+                                        'namespaces': d({}),
+                                    },
+                                }),
+                            },
+                        }),
+                    },
+                }),
+            },
+            "Type Selection Tail": {
+                'data types': d({}),
+                'namespaces': d({
+                    "G": {
+                        'data types': d({}),
+                        'namespaces': d({
+                            "step type": {
+                                'data types': d({}),
+                                'namespaces': d({
+                                    "TU": {
+                                        'data types': d({}),
+                                        'namespaces': d({
+                                            "array": {
+                                                'data types': d({}),
+                                                'namespaces': d({
+                                                    "G": {
+                                                        'data types': d({}),
+                                                        'namespaces': d({}),
+                                                    },
+                                                }),
+                                            },
+                                            "dictionary": {
+                                                'data types': d({}),
+                                                'namespaces': d({
+                                                    "G": {
+                                                        'data types': d({}),
+                                                        'namespaces': d({}),
+                                                    },
+                                                }),
+                                            },
+                                            "group": {
+                                                'data types': d({}),
+                                                'namespaces': d({
+                                                    "G": {
+                                                        'data types': d({}),
+                                                        'namespaces': d({
+                                                            "property": {
+                                                                'data types': d({}),
+                                                                'namespaces': d({}),
+                                                            },
+                                                        }),
+                                                    },
+                                                }),
+                                            },
+                                            "optional": {
+                                                'data types': d({}),
+                                                'namespaces': d({
+                                                    "G": {
+                                                        'data types': d({}),
+                                                        'namespaces': d({}),
+                                                    },
+                                                }),
+                                            },
+                                            "tagged union": {
+                                                'data types': d({}),
+                                                'namespaces': d({
+                                                    "G": {
+                                                        'data types': d({}),
+                                                        'namespaces': d({
+                                                            "option": {
+                                                                'data types': d({}),
+                                                                'namespaces': d({}),
+                                                            },
+                                                        }),
+                                                    },
+                                                }),
+                                            },
+                                        }),
+                                    },
+                                }),
+                            },
+                            "tail": {
+                                'data types': d({}),
+                                'namespaces': d({
+                                    "O": {
+                                        'data types': d({}),
+                                        'namespaces': d({}),
+                                    },
+                                }),
+                            },
+                        }),
+                    },
+                }),
+            },
+        }),
+    },
+    'interface types': d({}),
+    'algorithm types': d({}),
+}