exupery 0.1.0 → 0.1.2

package/dist/generated/interface/schemas/exupery_implementation/unresolved.d.ts

@@ -1,1912 +0,0 @@
-import * as _pt from 'exupery-core-types';
-import * as _i_core from "../../core/unresolved";
-import * as _i_imports_interface from "../exupery_interface/unresolved";
-export type _T_Initialization = _i_core._T_State_Group<null, readonly [
-    'block',
-    {
-        readonly 'initialization': _T_Initialization;
-        readonly 'temp ordered variables': _i_core._T_List<null, {
-            readonly 'initialization': _T_Initialization;
-            readonly 'name': string;
-            readonly 'type': _pt.Optional_Value<_i_imports_interface._T_Type>;
-        }>;
-        readonly 'variables': _T_Variables;
-    }
-] | readonly [
-    'change context',
-    {
-        readonly 'initialization': _T_Initialization;
-        readonly 'new context': _T_Selection;
-    }
-] | readonly [
-    'literal',
-    {
-        readonly 'value': _T_Literal;
-    }
-] | readonly ['selection', _T_Selection] | readonly [
-    'transformation',
-    {
-        readonly 'source': _T_Selection;
-        readonly 'type': _i_core._T_State_Group<null, readonly [
-            'array',
-            _i_core._T_State_Group<null, readonly ['map', _T_Initialization]>
-        ] | readonly [
-            'boolean',
-            _i_core._T_State_Group<null, readonly ['not', null] | readonly [
-                'transform',
-                {
-                    readonly 'if false': _T_Initialization;
-                    readonly 'if true': _T_Initialization;
-                }
-            ]>
-        ] | readonly [
-            'dictionary',
-            _i_core._T_State_Group<null, readonly ['map', _T_Initialization]>
-        ] | readonly [
-            'function',
-            _i_core._T_State_Group<null, readonly [
-                'call',
-                {
-                    readonly 'arguments': _pt.Optional_Value<_i_core._T_Dictionary<null, _T_Initialization>>;
-                    readonly 'context': _T_Initialization;
-                }
-            ]>
-        ] | readonly [
-            'optional',
-            _i_core._T_State_Group<null, readonly ['map', _T_Initialization] | readonly [
-                'transform',
-                {
-                    readonly 'if not set': _T_Initialization;
-                    readonly 'if set': _T_Initialization;
-                }
-            ]>
-        ] | readonly [
-            'tagged union',
-            _i_core._T_State_Group<null, readonly [
-                'switch',
-                {
-                    readonly 'resulting node': _pt.Optional_Value<_i_imports_interface._T_Type>;
-                    readonly 'type': _i_core._T_State_Group<null, readonly [
-                        'full',
-                        {
-                            readonly 'cases': _i_core._T_Dictionary<null, _T_Initialization>;
-                        }
-                    ] | readonly [
-                        'partial',
-                        {
-                            readonly 'cases': _i_core._T_Dictionary<null, _T_Initialization>;
-                            readonly 'default': _T_Initialization;
-                        }
-                    ]>;
-                }
-            ]>
-        ]>;
-    }
-]>;
-export type _T_Literal = _i_core._T_State_Group<null, readonly ['array', _i_core._T_List<null, _T_Initialization>] | readonly [
-    'boolean',
-    _i_core._T_State_Group<null, readonly ['false', null] | readonly ['true', null]>
-] | readonly ['dictionary', _i_core._T_Dictionary<null, _T_Initialization>] | readonly [
-    'function',
-    {
-        readonly 'initialization': _T_Initialization;
-        readonly 'temp has parameters': boolean;
-    }
-] | readonly ['group', _i_core._T_Dictionary<null, _T_Initialization>] | readonly ['null', null] | readonly [
-    'number',
-    _i_core._T_State_Group<null, readonly ['floting point', number] | readonly ['integer', number] | readonly ['signed integer', number]>
-] | readonly [
-    'optional',
-    _i_core._T_State_Group<null, readonly ['not set', null] | readonly ['set', _T_Initialization]>
-] | readonly [
-    'string',
-    {
-        readonly 'delimiter': _i_core._T_State_Group<null, readonly ['backtick', null] | readonly ['quote', null]>;
-        readonly 'value': string;
-    }
-] | readonly [
-    'tagged union',
-    {
-        readonly 'case': string;
-        readonly 'value': _T_Initialization;
-    }
-]>;
-export type _T_Module = {
-    readonly 'type imports': _i_imports_interface._T_Imports;
-    readonly 'variable imports': _i_core._T_Dictionary<null, {
-        readonly 'tail': _i_core._T_List<null, string>;
-        readonly 'type': _i_core._T_State_Group<null, readonly [
-            'ancestor',
-            {
-                readonly 'dependency': string;
-                readonly 'number of steps': number;
-            }
-        ] | readonly ['external', string] | readonly ['sibling', string]>;
-    }>;
-    readonly 'variables': _T_Variables;
-};
-export type _T_Module_Set = _i_core._T_Dictionary<null, _i_core._T_State_Group<null, readonly ['module', _T_Module] | readonly ['set', _T_Module_Set]>>;
-export type _T_Selection = {
-    readonly 'start': _i_core._T_State_Group<null, readonly ['abort', null] | readonly ['argument', string] | readonly [
-        'call',
-        {
-            readonly 'arguments': _pt.Optional_Value<_i_core._T_Dictionary<null, _T_Initialization>>;
-            readonly 'context': _T_Selection;
-            readonly 'source': _T_Selection;
-        }
-    ] | readonly ['context', null] | readonly ['implement me', null] | readonly [
-        'imported variable',
-        {
-            readonly 'import': string;
-            readonly 'variable': string;
-        }
-    ] | readonly ['parameter', string] | readonly [
-        'transform optional value',
-        {
-            readonly 'if not set': _T_Selection;
-            readonly 'if set': _T_Selection;
-            readonly 'source': _T_Selection;
-        }
-    ] | readonly ['variable', string]>;
-    readonly 'tail': _i_core._T_List<null, string>;
-};
-export type _T_Type_Parameters = _i_core._T_Dictionary<null, null>;
-export type _T_Variables = _i_core._T_Dictionary<null, {
-    readonly 'initialization': _T_Initialization;
-    readonly 'type': _pt.Optional_Value<_i_imports_interface._T_Type>;
-}>;
-export type Initialization = _T_Initialization;
-export type Literal = _T_Literal;
-export type Module = _T_Module;
-export type Module_Set = _T_Module_Set;
-export type Selection = _T_Selection;
-export type Type_Parameters = _T_Type_Parameters;
-export type Variables = _T_Variables;
-export declare namespace _T_Initialization {
-    namespace SG {
-        namespace block {
-            namespace initialization {
-            }
-            type initialization = _T_Initialization;
-            namespace temp_ordered_variables {
-                namespace L {
-                    namespace initialization {
-                    }
-                    type initialization = _T_Initialization;
-                    type name = string;
-                    namespace _type {
-                        namespace O {
-                        }
-                        type O = _i_imports_interface._T_Type;
-                    }
-                    type _type = _pt.Optional_Value<_i_imports_interface._T_Type>;
-                }
-                type L = {
-                    readonly 'initialization': _T_Initialization;
-                    readonly 'name': string;
-                    readonly 'type': _pt.Optional_Value<_i_imports_interface._T_Type>;
-                };
-            }
-            type temp_ordered_variables = _i_core._T_List<null, {
-                readonly 'initialization': _T_Initialization;
-                readonly 'name': string;
-                readonly 'type': _pt.Optional_Value<_i_imports_interface._T_Type>;
-            }>;
-            namespace variables {
-            }
-            type variables = _T_Variables;
-        }
-        type block = {
-            readonly 'initialization': _T_Initialization;
-            readonly 'temp ordered variables': _i_core._T_List<null, {
-                readonly 'initialization': _T_Initialization;
-                readonly 'name': string;
-                readonly 'type': _pt.Optional_Value<_i_imports_interface._T_Type>;
-            }>;
-            readonly 'variables': _T_Variables;
-        };
-        namespace change_context {
-            namespace initialization {
-            }
-            type initialization = _T_Initialization;
-            namespace new_context {
-            }
-            type new_context = _T_Selection;
-        }
-        type change_context = {
-            readonly 'initialization': _T_Initialization;
-            readonly 'new context': _T_Selection;
-        };
-        namespace literal {
-            namespace value {
-            }
-            type value = _T_Literal;
-        }
-        type literal = {
-            readonly 'value': _T_Literal;
-        };
-        namespace selection {
-        }
-        type selection = _T_Selection;
-        namespace transformation {
-            namespace source {
-            }
-            type source = _T_Selection;
-            namespace _type {
-                namespace SG {
-                    namespace array {
-                        namespace SG {
-                            namespace map {
-                            }
-                            type map = _T_Initialization;
-                        }
-                        type SG = readonly ['map', _T_Initialization];
-                    }
-                    type array = _i_core._T_State_Group<null, readonly ['map', _T_Initialization]>;
-                    namespace _boolean {
-                        namespace SG {
-                            type not = null;
-                            namespace transform {
-                                namespace if_false {
-                                }
-                                type if_false = _T_Initialization;
-                                namespace if_true {
-                                }
-                                type if_true = _T_Initialization;
-                            }
-                            type transform = {
-                                readonly 'if false': _T_Initialization;
-                                readonly 'if true': _T_Initialization;
-                            };
-                        }
-                        type SG = readonly ['not', null] | readonly [
-                            'transform',
-                            {
-                                readonly 'if false': _T_Initialization;
-                                readonly 'if true': _T_Initialization;
-                            }
-                        ];
-                    }
-                    type _boolean = _i_core._T_State_Group<null, readonly ['not', null] | readonly [
-                        'transform',
-                        {
-                            readonly 'if false': _T_Initialization;
-                            readonly 'if true': _T_Initialization;
-                        }
-                    ]>;
-                    namespace dictionary {
-                        namespace SG {
-                            namespace map {
-                            }
-                            type map = _T_Initialization;
-                        }
-                        type SG = readonly ['map', _T_Initialization];
-                    }
-                    type dictionary = _i_core._T_State_Group<null, readonly ['map', _T_Initialization]>;
-                    namespace _function {
-                        namespace SG {
-                            namespace call {
-                                namespace _arguments {
-                                    namespace O {
-                                        namespace D {
-                                        }
-                                        type D = _T_Initialization;
-                                    }
-                                    type O = _i_core._T_Dictionary<null, _T_Initialization>;
-                                }
-                                type _arguments = _pt.Optional_Value<_i_core._T_Dictionary<null, _T_Initialization>>;
-                                namespace context {
-                                }
-                                type context = _T_Initialization;
-                            }
-                            type call = {
-                                readonly 'arguments': _pt.Optional_Value<_i_core._T_Dictionary<null, _T_Initialization>>;
-                                readonly 'context': _T_Initialization;
-                            };
-                        }
-                        type SG = readonly [
-                            'call',
-                            {
-                                readonly 'arguments': _pt.Optional_Value<_i_core._T_Dictionary<null, _T_Initialization>>;
-                                readonly 'context': _T_Initialization;
-                            }
-                        ];
-                    }
-                    type _function = _i_core._T_State_Group<null, readonly [
-                        'call',
-                        {
-                            readonly 'arguments': _pt.Optional_Value<_i_core._T_Dictionary<null, _T_Initialization>>;
-                            readonly 'context': _T_Initialization;
-                        }
-                    ]>;
-                    namespace optional {
-                        namespace SG {
-                            namespace map {
-                            }
-                            type map = _T_Initialization;
-                            namespace transform {
-                                namespace if_not_set {
-                                }
-                                type if_not_set = _T_Initialization;
-                                namespace if_set {
-                                }
-                                type if_set = _T_Initialization;
-                            }
-                            type transform = {
-                                readonly 'if not set': _T_Initialization;
-                                readonly 'if set': _T_Initialization;
-                            };
-                        }
-                        type SG = readonly ['map', _T_Initialization] | readonly [
-                            'transform',
-                            {
-                                readonly 'if not set': _T_Initialization;
-                                readonly 'if set': _T_Initialization;
-                            }
-                        ];
-                    }
-                    type optional = _i_core._T_State_Group<null, readonly ['map', _T_Initialization] | readonly [
-                        'transform',
-                        {
-                            readonly 'if not set': _T_Initialization;
-                            readonly 'if set': _T_Initialization;
-                        }
-                    ]>;
-                    namespace tagged_union {
-                        namespace SG {
-                            namespace _switch {
-                                namespace resulting_node {
-                                    namespace O {
-                                    }
-                                    type O = _i_imports_interface._T_Type;
-                                }
-                                type resulting_node = _pt.Optional_Value<_i_imports_interface._T_Type>;
-                                namespace _type {
-                                    namespace SG {
-                                        namespace full {
-                                            namespace cases {
-                                                namespace D {
-                                                }
-                                                type D = _T_Initialization;
-                                            }
-                                            type cases = _i_core._T_Dictionary<null, _T_Initialization>;
-                                        }
-                                        type full = {
-                                            readonly 'cases': _i_core._T_Dictionary<null, _T_Initialization>;
-                                        };
-                                        namespace partial {
-                                            namespace cases {
-                                                namespace D {
-                                                }
-                                                type D = _T_Initialization;
-                                            }
-                                            type cases = _i_core._T_Dictionary<null, _T_Initialization>;
-                                            namespace _default {
-                                            }
-                                            type _default = _T_Initialization;
-                                        }
-                                        type partial = {
-                                            readonly 'cases': _i_core._T_Dictionary<null, _T_Initialization>;
-                                            readonly 'default': _T_Initialization;
-                                        };
-                                    }
-                                    type SG = readonly [
-                                        'full',
-                                        {
-                                            readonly 'cases': _i_core._T_Dictionary<null, _T_Initialization>;
-                                        }
-                                    ] | readonly [
-                                        'partial',
-                                        {
-                                            readonly 'cases': _i_core._T_Dictionary<null, _T_Initialization>;
-                                            readonly 'default': _T_Initialization;
-                                        }
-                                    ];
-                                }
-                                type _type = _i_core._T_State_Group<null, readonly [
-                                    'full',
-                                    {
-                                        readonly 'cases': _i_core._T_Dictionary<null, _T_Initialization>;
-                                    }
-                                ] | readonly [
-                                    'partial',
-                                    {
-                                        readonly 'cases': _i_core._T_Dictionary<null, _T_Initialization>;
-                                        readonly 'default': _T_Initialization;
-                                    }
-                                ]>;
-                            }
-                            type _switch = {
-                                readonly 'resulting node': _pt.Optional_Value<_i_imports_interface._T_Type>;
-                                readonly 'type': _i_core._T_State_Group<null, readonly [
-                                    'full',
-                                    {
-                                        readonly 'cases': _i_core._T_Dictionary<null, _T_Initialization>;
-                                    }
-                                ] | readonly [
-                                    'partial',
-                                    {
-                                        readonly 'cases': _i_core._T_Dictionary<null, _T_Initialization>;
-                                        readonly 'default': _T_Initialization;
-                                    }
-                                ]>;
-                            };
-                        }
-                        type SG = readonly [
-                            'switch',
-                            {
-                                readonly 'resulting node': _pt.Optional_Value<_i_imports_interface._T_Type>;
-                                readonly 'type': _i_core._T_State_Group<null, readonly [
-                                    'full',
-                                    {
-                                        readonly 'cases': _i_core._T_Dictionary<null, _T_Initialization>;
-                                    }
-                                ] | readonly [
-                                    'partial',
-                                    {
-                                        readonly 'cases': _i_core._T_Dictionary<null, _T_Initialization>;
-                                        readonly 'default': _T_Initialization;
-                                    }
-                                ]>;
-                            }
-                        ];
-                    }
-                    type tagged_union = _i_core._T_State_Group<null, readonly [
-                        'switch',
-                        {
-                            readonly 'resulting node': _pt.Optional_Value<_i_imports_interface._T_Type>;
-                            readonly 'type': _i_core._T_State_Group<null, readonly [
-                                'full',
-                                {
-                                    readonly 'cases': _i_core._T_Dictionary<null, _T_Initialization>;
-                                }
-                            ] | readonly [
-                                'partial',
-                                {
-                                    readonly 'cases': _i_core._T_Dictionary<null, _T_Initialization>;
-                                    readonly 'default': _T_Initialization;
-                                }
-                            ]>;
-                        }
-                    ]>;
-                }
-                type SG = readonly [
-                    'array',
-                    _i_core._T_State_Group<null, readonly ['map', _T_Initialization]>
-                ] | readonly [
-                    'boolean',
-                    _i_core._T_State_Group<null, readonly ['not', null] | readonly [
-                        'transform',
-                        {
-                            readonly 'if false': _T_Initialization;
-                            readonly 'if true': _T_Initialization;
-                        }
-                    ]>
-                ] | readonly [
-                    'dictionary',
-                    _i_core._T_State_Group<null, readonly ['map', _T_Initialization]>
-                ] | readonly [
-                    'function',
-                    _i_core._T_State_Group<null, readonly [
-                        'call',
-                        {
-                            readonly 'arguments': _pt.Optional_Value<_i_core._T_Dictionary<null, _T_Initialization>>;
-                            readonly 'context': _T_Initialization;
-                        }
-                    ]>
-                ] | readonly [
-                    'optional',
-                    _i_core._T_State_Group<null, readonly ['map', _T_Initialization] | readonly [
-                        'transform',
-                        {
-                            readonly 'if not set': _T_Initialization;
-                            readonly 'if set': _T_Initialization;
-                        }
-                    ]>
-                ] | readonly [
-                    'tagged union',
-                    _i_core._T_State_Group<null, readonly [
-                        'switch',
-                        {
-                            readonly 'resulting node': _pt.Optional_Value<_i_imports_interface._T_Type>;
-                            readonly 'type': _i_core._T_State_Group<null, readonly [
-                                'full',
-                                {
-                                    readonly 'cases': _i_core._T_Dictionary<null, _T_Initialization>;
-                                }
-                            ] | readonly [
-                                'partial',
-                                {
-                                    readonly 'cases': _i_core._T_Dictionary<null, _T_Initialization>;
-                                    readonly 'default': _T_Initialization;
-                                }
-                            ]>;
-                        }
-                    ]>
-                ];
-            }
-            type _type = _i_core._T_State_Group<null, readonly [
-                'array',
-                _i_core._T_State_Group<null, readonly ['map', _T_Initialization]>
-            ] | readonly [
-                'boolean',
-                _i_core._T_State_Group<null, readonly ['not', null] | readonly [
-                    'transform',
-                    {
-                        readonly 'if false': _T_Initialization;
-                        readonly 'if true': _T_Initialization;
-                    }
-                ]>
-            ] | readonly [
-                'dictionary',
-                _i_core._T_State_Group<null, readonly ['map', _T_Initialization]>
-            ] | readonly [
-                'function',
-                _i_core._T_State_Group<null, readonly [
-                    'call',
-                    {
-                        readonly 'arguments': _pt.Optional_Value<_i_core._T_Dictionary<null, _T_Initialization>>;
-                        readonly 'context': _T_Initialization;
-                    }
-                ]>
-            ] | readonly [
-                'optional',
-                _i_core._T_State_Group<null, readonly ['map', _T_Initialization] | readonly [
-                    'transform',
-                    {
-                        readonly 'if not set': _T_Initialization;
-                        readonly 'if set': _T_Initialization;
-                    }
-                ]>
-            ] | readonly [
-                'tagged union',
-                _i_core._T_State_Group<null, readonly [
-                    'switch',
-                    {
-                        readonly 'resulting node': _pt.Optional_Value<_i_imports_interface._T_Type>;
-                        readonly 'type': _i_core._T_State_Group<null, readonly [
-                            'full',
-                            {
-                                readonly 'cases': _i_core._T_Dictionary<null, _T_Initialization>;
-                            }
-                        ] | readonly [
-                            'partial',
-                            {
-                                readonly 'cases': _i_core._T_Dictionary<null, _T_Initialization>;
-                                readonly 'default': _T_Initialization;
-                            }
-                        ]>;
-                    }
-                ]>
-            ]>;
-        }
-        type transformation = {
-            readonly 'source': _T_Selection;
-            readonly 'type': _i_core._T_State_Group<null, readonly [
-                'array',
-                _i_core._T_State_Group<null, readonly ['map', _T_Initialization]>
-            ] | readonly [
-                'boolean',
-                _i_core._T_State_Group<null, readonly ['not', null] | readonly [
-                    'transform',
-                    {
-                        readonly 'if false': _T_Initialization;
-                        readonly 'if true': _T_Initialization;
-                    }
-                ]>
-            ] | readonly [
-                'dictionary',
-                _i_core._T_State_Group<null, readonly ['map', _T_Initialization]>
-            ] | readonly [
-                'function',
-                _i_core._T_State_Group<null, readonly [
-                    'call',
-                    {
-                        readonly 'arguments': _pt.Optional_Value<_i_core._T_Dictionary<null, _T_Initialization>>;
-                        readonly 'context': _T_Initialization;
-                    }
-                ]>
-            ] | readonly [
-                'optional',
-                _i_core._T_State_Group<null, readonly ['map', _T_Initialization] | readonly [
-                    'transform',
-                    {
-                        readonly 'if not set': _T_Initialization;
-                        readonly 'if set': _T_Initialization;
-                    }
-                ]>
-            ] | readonly [
-                'tagged union',
-                _i_core._T_State_Group<null, readonly [
-                    'switch',
-                    {
-                        readonly 'resulting node': _pt.Optional_Value<_i_imports_interface._T_Type>;
-                        readonly 'type': _i_core._T_State_Group<null, readonly [
-                            'full',
-                            {
-                                readonly 'cases': _i_core._T_Dictionary<null, _T_Initialization>;
-                            }
-                        ] | readonly [
-                            'partial',
-                            {
-                                readonly 'cases': _i_core._T_Dictionary<null, _T_Initialization>;
-                                readonly 'default': _T_Initialization;
-                            }
-                        ]>;
-                    }
-                ]>
-            ]>;
-        };
-    }
-    type SG = readonly [
-        'block',
-        {
-            readonly 'initialization': _T_Initialization;
-            readonly 'temp ordered variables': _i_core._T_List<null, {
-                readonly 'initialization': _T_Initialization;
-                readonly 'name': string;
-                readonly 'type': _pt.Optional_Value<_i_imports_interface._T_Type>;
-            }>;
-            readonly 'variables': _T_Variables;
-        }
-    ] | readonly [
-        'change context',
-        {
-            readonly 'initialization': _T_Initialization;
-            readonly 'new context': _T_Selection;
-        }
-    ] | readonly [
-        'literal',
-        {
-            readonly 'value': _T_Literal;
-        }
-    ] | readonly ['selection', _T_Selection] | readonly [
-        'transformation',
-        {
-            readonly 'source': _T_Selection;
-            readonly 'type': _i_core._T_State_Group<null, readonly [
-                'array',
-                _i_core._T_State_Group<null, readonly ['map', _T_Initialization]>
-            ] | readonly [
-                'boolean',
-                _i_core._T_State_Group<null, readonly ['not', null] | readonly [
-                    'transform',
-                    {
-                        readonly 'if false': _T_Initialization;
-                        readonly 'if true': _T_Initialization;
-                    }
-                ]>
-            ] | readonly [
-                'dictionary',
-                _i_core._T_State_Group<null, readonly ['map', _T_Initialization]>
-            ] | readonly [
-                'function',
-                _i_core._T_State_Group<null, readonly [
-                    'call',
-                    {
-                        readonly 'arguments': _pt.Optional_Value<_i_core._T_Dictionary<null, _T_Initialization>>;
-                        readonly 'context': _T_Initialization;
-                    }
-                ]>
-            ] | readonly [
-                'optional',
-                _i_core._T_State_Group<null, readonly ['map', _T_Initialization] | readonly [
-                    'transform',
-                    {
-                        readonly 'if not set': _T_Initialization;
-                        readonly 'if set': _T_Initialization;
-                    }
-                ]>
-            ] | readonly [
-                'tagged union',
-                _i_core._T_State_Group<null, readonly [
-                    'switch',
-                    {
-                        readonly 'resulting node': _pt.Optional_Value<_i_imports_interface._T_Type>;
-                        readonly 'type': _i_core._T_State_Group<null, readonly [
-                            'full',
-                            {
-                                readonly 'cases': _i_core._T_Dictionary<null, _T_Initialization>;
-                            }
-                        ] | readonly [
-                            'partial',
-                            {
-                                readonly 'cases': _i_core._T_Dictionary<null, _T_Initialization>;
-                                readonly 'default': _T_Initialization;
-                            }
-                        ]>;
-                    }
-                ]>
-            ]>;
-        }
-    ];
-}
-export declare namespace _T_Literal {
-    namespace SG {
-        namespace array {
-            namespace L {
-            }
-            type L = _T_Initialization;
-        }
-        type array = _i_core._T_List<null, _T_Initialization>;
-        namespace _boolean {
-            namespace SG {
-                type _false = null;
-                type _true = null;
-            }
-            type SG = readonly ['false', null] | readonly ['true', null];
-        }
-        type _boolean = _i_core._T_State_Group<null, readonly ['false', null] | readonly ['true', null]>;
-        namespace dictionary {
-            namespace D {
-            }
-            type D = _T_Initialization;
-        }
-        type dictionary = _i_core._T_Dictionary<null, _T_Initialization>;
-        namespace _function {
-            namespace initialization {
-            }
-            type initialization = _T_Initialization;
-            type temp_has_parameters = boolean;
-        }
-        type _function = {
-            readonly 'initialization': _T_Initialization;
-            readonly 'temp has parameters': boolean;
-        };
-        namespace group {
-            namespace D {
-            }
-            type D = _T_Initialization;
-        }
-        type group = _i_core._T_Dictionary<null, _T_Initialization>;
-        type _null = null;
-        namespace _number {
-            namespace SG {
-                type floting_point = number;
-                type integer = number;
-                type signed_integer = number;
-            }
-            type SG = readonly ['floting point', number] | readonly ['integer', number] | readonly ['signed integer', number];
-        }
-        type _number = _i_core._T_State_Group<null, readonly ['floting point', number] | readonly ['integer', number] | readonly ['signed integer', number]>;
-        namespace optional {
-            namespace SG {
-                type not_set = null;
-                namespace _set {
-                }
-                type _set = _T_Initialization;
-            }
-            type SG = readonly ['not set', null] | readonly ['set', _T_Initialization];
-        }
-        type optional = _i_core._T_State_Group<null, readonly ['not set', null] | readonly ['set', _T_Initialization]>;
-        namespace _string {
-            namespace delimiter {
-                namespace SG {
-                    type backtick = null;
-                    type quote = null;
-                }
-                type SG = readonly ['backtick', null] | readonly ['quote', null];
-            }
-            type delimiter = _i_core._T_State_Group<null, readonly ['backtick', null] | readonly ['quote', null]>;
-            type value = string;
-        }
-        type _string = {
-            readonly 'delimiter': _i_core._T_State_Group<null, readonly ['backtick', null] | readonly ['quote', null]>;
-            readonly 'value': string;
-        };
-        namespace tagged_union {
-            type _case = string;
-            namespace value {
-            }
-            type value = _T_Initialization;
-        }
-        type tagged_union = {
-            readonly 'case': string;
-            readonly 'value': _T_Initialization;
-        };
-    }
-    type SG = readonly ['array', _i_core._T_List<null, _T_Initialization>] | readonly [
-        'boolean',
-        _i_core._T_State_Group<null, readonly ['false', null] | readonly ['true', null]>
-    ] | readonly ['dictionary', _i_core._T_Dictionary<null, _T_Initialization>] | readonly [
-        'function',
-        {
-            readonly 'initialization': _T_Initialization;
-            readonly 'temp has parameters': boolean;
-        }
-    ] | readonly ['group', _i_core._T_Dictionary<null, _T_Initialization>] | readonly ['null', null] | readonly [
-        'number',
-        _i_core._T_State_Group<null, readonly ['floting point', number] | readonly ['integer', number] | readonly ['signed integer', number]>
-    ] | readonly [
-        'optional',
-        _i_core._T_State_Group<null, readonly ['not set', null] | readonly ['set', _T_Initialization]>
-    ] | readonly [
-        'string',
-        {
-            readonly 'delimiter': _i_core._T_State_Group<null, readonly ['backtick', null] | readonly ['quote', null]>;
-            readonly 'value': string;
-        }
-    ] | readonly [
-        'tagged union',
-        {
-            readonly 'case': string;
-            readonly 'value': _T_Initialization;
-        }
-    ];
-}
-export declare namespace _T_Module {
-    namespace type_imports {
-    }
-    type type_imports = _i_imports_interface._T_Imports;
-    namespace variable_imports {
-        namespace D {
-            namespace tail {
-                type L = string;
-            }
-            type tail = _i_core._T_List<null, string>;
-            namespace _type {
-                namespace SG {
-                    namespace ancestor {
-                        type dependency = string;
-                        type number_of_steps = number;
-                    }
-                    type ancestor = {
-                        readonly 'dependency': string;
-                        readonly 'number of steps': number;
-                    };
-                    type external = string;
-                    type sibling = string;
-                }
-                type SG = readonly [
-                    'ancestor',
-                    {
-                        readonly 'dependency': string;
-                        readonly 'number of steps': number;
-                    }
-                ] | readonly ['external', string] | readonly ['sibling', string];
-            }
-            type _type = _i_core._T_State_Group<null, readonly [
-                'ancestor',
-                {
-                    readonly 'dependency': string;
-                    readonly 'number of steps': number;
-                }
-            ] | readonly ['external', string] | readonly ['sibling', string]>;
-        }
-        type D = {
-            readonly 'tail': _i_core._T_List<null, string>;
-            readonly 'type': _i_core._T_State_Group<null, readonly [
-                'ancestor',
-                {
-                    readonly 'dependency': string;
-                    readonly 'number of steps': number;
-                }
-            ] | readonly ['external', string] | readonly ['sibling', string]>;
-        };
-    }
-    type variable_imports = _i_core._T_Dictionary<null, {
-        readonly 'tail': _i_core._T_List<null, string>;
-        readonly 'type': _i_core._T_State_Group<null, readonly [
-            'ancestor',
-            {
-                readonly 'dependency': string;
-                readonly 'number of steps': number;
-            }
-        ] | readonly ['external', string] | readonly ['sibling', string]>;
-    }>;
-    namespace variables {
-    }
-    type variables = _T_Variables;
-}
-export declare namespace _T_Module_Set {
-    namespace D {
-        namespace SG {
-            namespace _module {
-            }
-            type _module = _T_Module;
-            namespace _set {
-            }
-            type _set = _T_Module_Set;
-        }
-        type SG = readonly ['module', _T_Module] | readonly ['set', _T_Module_Set];
-    }
-    type D = _i_core._T_State_Group<null, readonly ['module', _T_Module] | readonly ['set', _T_Module_Set]>;
-}
-export declare namespace _T_Selection {
-    namespace start {
-        namespace SG {
-            type abort = null;
-            type argument = string;
-            namespace call {
-                namespace _arguments {
-                    namespace O {
-                        namespace D {
-                        }
-                        type D = _T_Initialization;
-                    }
-                    type O = _i_core._T_Dictionary<null, _T_Initialization>;
-                }
-                type _arguments = _pt.Optional_Value<_i_core._T_Dictionary<null, _T_Initialization>>;
-                namespace context {
-                }
-                type context = _T_Selection;
-                namespace source {
-                }
-                type source = _T_Selection;
-            }
-            type call = {
-                readonly 'arguments': _pt.Optional_Value<_i_core._T_Dictionary<null, _T_Initialization>>;
-                readonly 'context': _T_Selection;
-                readonly 'source': _T_Selection;
-            };
-            type context = null;
-            type implement_me = null;
-            namespace imported_variable {
-                type _import = string;
-                type variable = string;
-            }
-            type imported_variable = {
-                readonly 'import': string;
-                readonly 'variable': string;
-            };
-            type parameter = string;
-            namespace transform_optional_value {
-                namespace if_not_set {
-                }
-                type if_not_set = _T_Selection;
-                namespace if_set {
-                }
-                type if_set = _T_Selection;
-                namespace source {
-                }
-                type source = _T_Selection;
-            }
-            type transform_optional_value = {
-                readonly 'if not set': _T_Selection;
-                readonly 'if set': _T_Selection;
-                readonly 'source': _T_Selection;
-            };
-            type variable = string;
-        }
-        type SG = readonly ['abort', null] | readonly ['argument', string] | readonly [
-            'call',
-            {
-                readonly 'arguments': _pt.Optional_Value<_i_core._T_Dictionary<null, _T_Initialization>>;
-                readonly 'context': _T_Selection;
-                readonly 'source': _T_Selection;
-            }
-        ] | readonly ['context', null] | readonly ['implement me', null] | readonly [
-            'imported variable',
-            {
-                readonly 'import': string;
-                readonly 'variable': string;
-            }
-        ] | readonly ['parameter', string] | readonly [
-            'transform optional value',
-            {
-                readonly 'if not set': _T_Selection;
-                readonly 'if set': _T_Selection;
-                readonly 'source': _T_Selection;
-            }
-        ] | readonly ['variable', string];
-    }
-    type start = _i_core._T_State_Group<null, readonly ['abort', null] | readonly ['argument', string] | readonly [
-        'call',
-        {
-            readonly 'arguments': _pt.Optional_Value<_i_core._T_Dictionary<null, _T_Initialization>>;
-            readonly 'context': _T_Selection;
-            readonly 'source': _T_Selection;
-        }
-    ] | readonly ['context', null] | readonly ['implement me', null] | readonly [
-        'imported variable',
-        {
-            readonly 'import': string;
-            readonly 'variable': string;
-        }
-    ] | readonly ['parameter', string] | readonly [
-        'transform optional value',
-        {
-            readonly 'if not set': _T_Selection;
-            readonly 'if set': _T_Selection;
-            readonly 'source': _T_Selection;
-        }
-    ] | readonly ['variable', string]>;
-    namespace tail {
-        type L = string;
-    }
-    type tail = _i_core._T_List<null, string>;
-}
-export declare namespace _T_Type_Parameters {
-    type D = null;
-}
-export declare namespace _T_Variables {
-    namespace D {
-        namespace initialization {
-        }
-        type initialization = _T_Initialization;
-        namespace _type {
-            namespace O {
-            }
-            type O = _i_imports_interface._T_Type;
-        }
-        type _type = _pt.Optional_Value<_i_imports_interface._T_Type>;
-    }
-    type D = {
-        readonly 'initialization': _T_Initialization;
-        readonly 'type': _pt.Optional_Value<_i_imports_interface._T_Type>;
-    };
-}
-export declare namespace Initialization {
-    namespace SG {
-        namespace block {
-            namespace initialization {
-            }
-            type initialization = _T_Initialization;
-            namespace temp_ordered_variables {
-                namespace L {
-                    namespace initialization {
-                    }
-                    type initialization = _T_Initialization;
-                    type name = string;
-                    namespace _type {
-                        namespace O {
-                        }
-                        type O = _i_imports_interface._T_Type;
-                    }
-                    type _type = _pt.Optional_Value<_i_imports_interface._T_Type>;
-                }
-                type L = {
-                    readonly 'initialization': _T_Initialization;
-                    readonly 'name': string;
-                    readonly 'type': _pt.Optional_Value<_i_imports_interface._T_Type>;
-                };
-            }
-            type temp_ordered_variables = _i_core._T_List<null, {
-                readonly 'initialization': _T_Initialization;
-                readonly 'name': string;
-                readonly 'type': _pt.Optional_Value<_i_imports_interface._T_Type>;
-            }>;
-            namespace variables {
-            }
-            type variables = _T_Variables;
-        }
-        type block = {
-            readonly 'initialization': _T_Initialization;
-            readonly 'temp ordered variables': _i_core._T_List<null, {
-                readonly 'initialization': _T_Initialization;
-                readonly 'name': string;
-                readonly 'type': _pt.Optional_Value<_i_imports_interface._T_Type>;
-            }>;
-            readonly 'variables': _T_Variables;
-        };
-        namespace change_context {
-            namespace initialization {
-            }
-            type initialization = _T_Initialization;
-            namespace new_context {
-            }
-            type new_context = _T_Selection;
-        }
-        type change_context = {
-            readonly 'initialization': _T_Initialization;
-            readonly 'new context': _T_Selection;
-        };
-        namespace literal {
-            namespace value {
-            }
-            type value = _T_Literal;
-        }
-        type literal = {
-            readonly 'value': _T_Literal;
-        };
-        namespace selection {
-        }
-        type selection = _T_Selection;
-        namespace transformation {
-            namespace source {
-            }
-            type source = _T_Selection;
-            namespace _type {
-                namespace SG {
-                    namespace array {
-                        namespace SG {
-                            namespace map {
-                            }
-                            type map = _T_Initialization;
-                        }
-                        type SG = readonly ['map', _T_Initialization];
-                    }
-                    type array = _i_core._T_State_Group<null, readonly ['map', _T_Initialization]>;
-                    namespace _boolean {
-                        namespace SG {
-                            type not = null;
-                            namespace transform {
-                                namespace if_false {
-                                }
-                                type if_false = _T_Initialization;
-                                namespace if_true {
-                                }
-                                type if_true = _T_Initialization;
-                            }
-                            type transform = {
-                                readonly 'if false': _T_Initialization;
-                                readonly 'if true': _T_Initialization;
-                            };
-                        }
-                        type SG = readonly ['not', null] | readonly [
-                            'transform',
-                            {
-                                readonly 'if false': _T_Initialization;
-                                readonly 'if true': _T_Initialization;
-                            }
-                        ];
-                    }
-                    type _boolean = _i_core._T_State_Group<null, readonly ['not', null] | readonly [
-                        'transform',
-                        {
-                            readonly 'if false': _T_Initialization;
-                            readonly 'if true': _T_Initialization;
-                        }
-                    ]>;
-                    namespace dictionary {
-                        namespace SG {
-                            namespace map {
-                            }
-                            type map = _T_Initialization;
-                        }
-                        type SG = readonly ['map', _T_Initialization];
-                    }
-                    type dictionary = _i_core._T_State_Group<null, readonly ['map', _T_Initialization]>;
-                    namespace _function {
-                        namespace SG {
-                            namespace call {
-                                namespace _arguments {
-                                    namespace O {
-                                        namespace D {
-                                        }
-                                        type D = _T_Initialization;
-                                    }
-                                    type O = _i_core._T_Dictionary<null, _T_Initialization>;
-                                }
-                                type _arguments = _pt.Optional_Value<_i_core._T_Dictionary<null, _T_Initialization>>;
-                                namespace context {
-                                }
-                                type context = _T_Initialization;
-                            }
-                            type call = {
-                                readonly 'arguments': _pt.Optional_Value<_i_core._T_Dictionary<null, _T_Initialization>>;
-                                readonly 'context': _T_Initialization;
-                            };
-                        }
-                        type SG = readonly [
-                            'call',
-                            {
-                                readonly 'arguments': _pt.Optional_Value<_i_core._T_Dictionary<null, _T_Initialization>>;
-                                readonly 'context': _T_Initialization;
-                            }
-                        ];
-                    }
-                    type _function = _i_core._T_State_Group<null, readonly [
-                        'call',
-                        {
-                            readonly 'arguments': _pt.Optional_Value<_i_core._T_Dictionary<null, _T_Initialization>>;
-                            readonly 'context': _T_Initialization;
-                        }
-                    ]>;
-                    namespace optional {
-                        namespace SG {
-                            namespace map {
-                            }
-                            type map = _T_Initialization;
-                            namespace transform {
-                                namespace if_not_set {
-                                }
-                                type if_not_set = _T_Initialization;
-                                namespace if_set {
-                                }
-                                type if_set = _T_Initialization;
-                            }
-                            type transform = {
-                                readonly 'if not set': _T_Initialization;
-                                readonly 'if set': _T_Initialization;
-                            };
-                        }
-                        type SG = readonly ['map', _T_Initialization] | readonly [
-                            'transform',
-                            {
-                                readonly 'if not set': _T_Initialization;
-                                readonly 'if set': _T_Initialization;
-                            }
-                        ];
-                    }
-                    type optional = _i_core._T_State_Group<null, readonly ['map', _T_Initialization] | readonly [
-                        'transform',
-                        {
-                            readonly 'if not set': _T_Initialization;
-                            readonly 'if set': _T_Initialization;
-                        }
-                    ]>;
-                    namespace tagged_union {
-                        namespace SG {
-                            namespace _switch {
-                                namespace resulting_node {
-                                    namespace O {
-                                    }
-                                    type O = _i_imports_interface._T_Type;
-                                }
-                                type resulting_node = _pt.Optional_Value<_i_imports_interface._T_Type>;
-                                namespace _type {
-                                    namespace SG {
-                                        namespace full {
-                                            namespace cases {
-                                                namespace D {
-                                                }
-                                                type D = _T_Initialization;
-                                            }
-                                            type cases = _i_core._T_Dictionary<null, _T_Initialization>;
-                                        }
-                                        type full = {
-                                            readonly 'cases': _i_core._T_Dictionary<null, _T_Initialization>;
-                                        };
-                                        namespace partial {
-                                            namespace cases {
-                                                namespace D {
-                                                }
-                                                type D = _T_Initialization;
-                                            }
-                                            type cases = _i_core._T_Dictionary<null, _T_Initialization>;
-                                            namespace _default {
-                                            }
-                                            type _default = _T_Initialization;
-                                        }
-                                        type partial = {
-                                            readonly 'cases': _i_core._T_Dictionary<null, _T_Initialization>;
-                                            readonly 'default': _T_Initialization;
-                                        };
-                                    }
-                                    type SG = readonly [
-                                        'full',
-                                        {
-                                            readonly 'cases': _i_core._T_Dictionary<null, _T_Initialization>;
-                                        }
-                                    ] | readonly [
-                                        'partial',
-                                        {
-                                            readonly 'cases': _i_core._T_Dictionary<null, _T_Initialization>;
-                                            readonly 'default': _T_Initialization;
-                                        }
-                                    ];
-                                }
-                                type _type = _i_core._T_State_Group<null, readonly [
-                                    'full',
-                                    {
-                                        readonly 'cases': _i_core._T_Dictionary<null, _T_Initialization>;
-                                    }
-                                ] | readonly [
-                                    'partial',
-                                    {
-                                        readonly 'cases': _i_core._T_Dictionary<null, _T_Initialization>;
-                                        readonly 'default': _T_Initialization;
-                                    }
-                                ]>;
-                            }
-                            type _switch = {
-                                readonly 'resulting node': _pt.Optional_Value<_i_imports_interface._T_Type>;
-                                readonly 'type': _i_core._T_State_Group<null, readonly [
-                                    'full',
-                                    {
-                                        readonly 'cases': _i_core._T_Dictionary<null, _T_Initialization>;
-                                    }
-                                ] | readonly [
-                                    'partial',
-                                    {
-                                        readonly 'cases': _i_core._T_Dictionary<null, _T_Initialization>;
-                                        readonly 'default': _T_Initialization;
-                                    }
-                                ]>;
-                            };
-                        }
-                        type SG = readonly [
-                            'switch',
-                            {
-                                readonly 'resulting node': _pt.Optional_Value<_i_imports_interface._T_Type>;
-                                readonly 'type': _i_core._T_State_Group<null, readonly [
-                                    'full',
-                                    {
-                                        readonly 'cases': _i_core._T_Dictionary<null, _T_Initialization>;
-                                    }
-                                ] | readonly [
-                                    'partial',
-                                    {
-                                        readonly 'cases': _i_core._T_Dictionary<null, _T_Initialization>;
-                                        readonly 'default': _T_Initialization;
-                                    }
-                                ]>;
-                            }
-                        ];
-                    }
-                    type tagged_union = _i_core._T_State_Group<null, readonly [
-                        'switch',
-                        {
-                            readonly 'resulting node': _pt.Optional_Value<_i_imports_interface._T_Type>;
-                            readonly 'type': _i_core._T_State_Group<null, readonly [
-                                'full',
-                                {
-                                    readonly 'cases': _i_core._T_Dictionary<null, _T_Initialization>;
-                                }
-                            ] | readonly [
-                                'partial',
-                                {
-                                    readonly 'cases': _i_core._T_Dictionary<null, _T_Initialization>;
-                                    readonly 'default': _T_Initialization;
-                                }
-                            ]>;
-                        }
-                    ]>;
-                }
-                type SG = readonly [
-                    'array',
-                    _i_core._T_State_Group<null, readonly ['map', _T_Initialization]>
-                ] | readonly [
-                    'boolean',
-                    _i_core._T_State_Group<null, readonly ['not', null] | readonly [
-                        'transform',
-                        {
-                            readonly 'if false': _T_Initialization;
-                            readonly 'if true': _T_Initialization;
-                        }
-                    ]>
-                ] | readonly [
-                    'dictionary',
-                    _i_core._T_State_Group<null, readonly ['map', _T_Initialization]>
-                ] | readonly [
-                    'function',
-                    _i_core._T_State_Group<null, readonly [
-                        'call',
-                        {
-                            readonly 'arguments': _pt.Optional_Value<_i_core._T_Dictionary<null, _T_Initialization>>;
-                            readonly 'context': _T_Initialization;
-                        }
-                    ]>
-                ] | readonly [
-                    'optional',
-                    _i_core._T_State_Group<null, readonly ['map', _T_Initialization] | readonly [
-                        'transform',
-                        {
-                            readonly 'if not set': _T_Initialization;
-                            readonly 'if set': _T_Initialization;
-                        }
-                    ]>
-                ] | readonly [
-                    'tagged union',
-                    _i_core._T_State_Group<null, readonly [
-                        'switch',
-                        {
-                            readonly 'resulting node': _pt.Optional_Value<_i_imports_interface._T_Type>;
-                            readonly 'type': _i_core._T_State_Group<null, readonly [
-                                'full',
-                                {
-                                    readonly 'cases': _i_core._T_Dictionary<null, _T_Initialization>;
-                                }
-                            ] | readonly [
-                                'partial',
-                                {
-                                    readonly 'cases': _i_core._T_Dictionary<null, _T_Initialization>;
-                                    readonly 'default': _T_Initialization;
-                                }
-                            ]>;
-                        }
-                    ]>
-                ];
-            }
-            type _type = _i_core._T_State_Group<null, readonly [
-                'array',
-                _i_core._T_State_Group<null, readonly ['map', _T_Initialization]>
-            ] | readonly [
-                'boolean',
-                _i_core._T_State_Group<null, readonly ['not', null] | readonly [
-                    'transform',
-                    {
-                        readonly 'if false': _T_Initialization;
-                        readonly 'if true': _T_Initialization;
-                    }
-                ]>
-            ] | readonly [
-                'dictionary',
-                _i_core._T_State_Group<null, readonly ['map', _T_Initialization]>
-            ] | readonly [
-                'function',
-                _i_core._T_State_Group<null, readonly [
-                    'call',
-                    {
-                        readonly 'arguments': _pt.Optional_Value<_i_core._T_Dictionary<null, _T_Initialization>>;
-                        readonly 'context': _T_Initialization;
-                    }
-                ]>
-            ] | readonly [
-                'optional',
-                _i_core._T_State_Group<null, readonly ['map', _T_Initialization] | readonly [
-                    'transform',
-                    {
-                        readonly 'if not set': _T_Initialization;
-                        readonly 'if set': _T_Initialization;
-                    }
-                ]>
-            ] | readonly [
-                'tagged union',
-                _i_core._T_State_Group<null, readonly [
-                    'switch',
-                    {
-                        readonly 'resulting node': _pt.Optional_Value<_i_imports_interface._T_Type>;
-                        readonly 'type': _i_core._T_State_Group<null, readonly [
-                            'full',
-                            {
-                                readonly 'cases': _i_core._T_Dictionary<null, _T_Initialization>;
-                            }
-                        ] | readonly [
-                            'partial',
-                            {
-                                readonly 'cases': _i_core._T_Dictionary<null, _T_Initialization>;
-                                readonly 'default': _T_Initialization;
-                            }
-                        ]>;
-                    }
-                ]>
-            ]>;
-        }
-        type transformation = {
-            readonly 'source': _T_Selection;
-            readonly 'type': _i_core._T_State_Group<null, readonly [
-                'array',
-                _i_core._T_State_Group<null, readonly ['map', _T_Initialization]>
-            ] | readonly [
-                'boolean',
-                _i_core._T_State_Group<null, readonly ['not', null] | readonly [
-                    'transform',
-                    {
-                        readonly 'if false': _T_Initialization;
-                        readonly 'if true': _T_Initialization;
-                    }
-                ]>
-            ] | readonly [
-                'dictionary',
-                _i_core._T_State_Group<null, readonly ['map', _T_Initialization]>
-            ] | readonly [
-                'function',
-                _i_core._T_State_Group<null, readonly [
-                    'call',
-                    {
-                        readonly 'arguments': _pt.Optional_Value<_i_core._T_Dictionary<null, _T_Initialization>>;
-                        readonly 'context': _T_Initialization;
-                    }
-                ]>
-            ] | readonly [
-                'optional',
-                _i_core._T_State_Group<null, readonly ['map', _T_Initialization] | readonly [
-                    'transform',
-                    {
-                        readonly 'if not set': _T_Initialization;
-                        readonly 'if set': _T_Initialization;
-                    }
-                ]>
-            ] | readonly [
-                'tagged union',
-                _i_core._T_State_Group<null, readonly [
-                    'switch',
-                    {
-                        readonly 'resulting node': _pt.Optional_Value<_i_imports_interface._T_Type>;
-                        readonly 'type': _i_core._T_State_Group<null, readonly [
-                            'full',
-                            {
-                                readonly 'cases': _i_core._T_Dictionary<null, _T_Initialization>;
-                            }
-                        ] | readonly [
-                            'partial',
-                            {
-                                readonly 'cases': _i_core._T_Dictionary<null, _T_Initialization>;
-                                readonly 'default': _T_Initialization;
-                            }
-                        ]>;
-                    }
-                ]>
-            ]>;
-        };
-    }
-    type SG = readonly [
-        'block',
-        {
-            readonly 'initialization': _T_Initialization;
-            readonly 'temp ordered variables': _i_core._T_List<null, {
-                readonly 'initialization': _T_Initialization;
-                readonly 'name': string;
-                readonly 'type': _pt.Optional_Value<_i_imports_interface._T_Type>;
-            }>;
-            readonly 'variables': _T_Variables;
-        }
-    ] | readonly [
-        'change context',
-        {
-            readonly 'initialization': _T_Initialization;
-            readonly 'new context': _T_Selection;
-        }
-    ] | readonly [
-        'literal',
-        {
-            readonly 'value': _T_Literal;
-        }
-    ] | readonly ['selection', _T_Selection] | readonly [
-        'transformation',
-        {
-            readonly 'source': _T_Selection;
-            readonly 'type': _i_core._T_State_Group<null, readonly [
-                'array',
-                _i_core._T_State_Group<null, readonly ['map', _T_Initialization]>
-            ] | readonly [
-                'boolean',
-                _i_core._T_State_Group<null, readonly ['not', null] | readonly [
-                    'transform',
-                    {
-                        readonly 'if false': _T_Initialization;
-                        readonly 'if true': _T_Initialization;
-                    }
-                ]>
-            ] | readonly [
-                'dictionary',
-                _i_core._T_State_Group<null, readonly ['map', _T_Initialization]>
-            ] | readonly [
-                'function',
-                _i_core._T_State_Group<null, readonly [
-                    'call',
-                    {
-                        readonly 'arguments': _pt.Optional_Value<_i_core._T_Dictionary<null, _T_Initialization>>;
-                        readonly 'context': _T_Initialization;
-                    }
-                ]>
-            ] | readonly [
-                'optional',
-                _i_core._T_State_Group<null, readonly ['map', _T_Initialization] | readonly [
-                    'transform',
-                    {
-                        readonly 'if not set': _T_Initialization;
-                        readonly 'if set': _T_Initialization;
-                    }
-                ]>
-            ] | readonly [
-                'tagged union',
-                _i_core._T_State_Group<null, readonly [
-                    'switch',
-                    {
-                        readonly 'resulting node': _pt.Optional_Value<_i_imports_interface._T_Type>;
-                        readonly 'type': _i_core._T_State_Group<null, readonly [
-                            'full',
-                            {
-                                readonly 'cases': _i_core._T_Dictionary<null, _T_Initialization>;
-                            }
-                        ] | readonly [
-                            'partial',
-                            {
-                                readonly 'cases': _i_core._T_Dictionary<null, _T_Initialization>;
-                                readonly 'default': _T_Initialization;
-                            }
-                        ]>;
-                    }
-                ]>
-            ]>;
-        }
-    ];
-}
-export declare namespace Literal {
-    namespace SG {
-        namespace array {
-            namespace L {
-            }
-            type L = _T_Initialization;
-        }
-        type array = _i_core._T_List<null, _T_Initialization>;
-        namespace _boolean {
-            namespace SG {
-                type _false = null;
-                type _true = null;
-            }
-            type SG = readonly ['false', null] | readonly ['true', null];
-        }
-        type _boolean = _i_core._T_State_Group<null, readonly ['false', null] | readonly ['true', null]>;
-        namespace dictionary {
-            namespace D {
-            }
-            type D = _T_Initialization;
-        }
-        type dictionary = _i_core._T_Dictionary<null, _T_Initialization>;
-        namespace _function {
-            namespace initialization {
-            }
-            type initialization = _T_Initialization;
-            type temp_has_parameters = boolean;
-        }
-        type _function = {
-            readonly 'initialization': _T_Initialization;
-            readonly 'temp has parameters': boolean;
-        };
-        namespace group {
-            namespace D {
-            }
-            type D = _T_Initialization;
-        }
-        type group = _i_core._T_Dictionary<null, _T_Initialization>;
-        type _null = null;
-        namespace _number {
-            namespace SG {
-                type floting_point = number;
-                type integer = number;
-                type signed_integer = number;
-            }
-            type SG = readonly ['floting point', number] | readonly ['integer', number] | readonly ['signed integer', number];
-        }
-        type _number = _i_core._T_State_Group<null, readonly ['floting point', number] | readonly ['integer', number] | readonly ['signed integer', number]>;
-        namespace optional {
-            namespace SG {
-                type not_set = null;
-                namespace _set {
-                }
-                type _set = _T_Initialization;
-            }
-            type SG = readonly ['not set', null] | readonly ['set', _T_Initialization];
-        }
-        type optional = _i_core._T_State_Group<null, readonly ['not set', null] | readonly ['set', _T_Initialization]>;
-        namespace _string {
-            namespace delimiter {
-                namespace SG {
-                    type backtick = null;
-                    type quote = null;
-                }
-                type SG = readonly ['backtick', null] | readonly ['quote', null];
-            }
-            type delimiter = _i_core._T_State_Group<null, readonly ['backtick', null] | readonly ['quote', null]>;
-            type value = string;
-        }
-        type _string = {
-            readonly 'delimiter': _i_core._T_State_Group<null, readonly ['backtick', null] | readonly ['quote', null]>;
-            readonly 'value': string;
-        };
-        namespace tagged_union {
-            type _case = string;
-            namespace value {
-            }
-            type value = _T_Initialization;
-        }
-        type tagged_union = {
-            readonly 'case': string;
-            readonly 'value': _T_Initialization;
-        };
-    }
-    type SG = readonly ['array', _i_core._T_List<null, _T_Initialization>] | readonly [
-        'boolean',
-        _i_core._T_State_Group<null, readonly ['false', null] | readonly ['true', null]>
-    ] | readonly ['dictionary', _i_core._T_Dictionary<null, _T_Initialization>] | readonly [
-        'function',
-        {
-            readonly 'initialization': _T_Initialization;
-            readonly 'temp has parameters': boolean;
-        }
-    ] | readonly ['group', _i_core._T_Dictionary<null, _T_Initialization>] | readonly ['null', null] | readonly [
-        'number',
-        _i_core._T_State_Group<null, readonly ['floting point', number] | readonly ['integer', number] | readonly ['signed integer', number]>
-    ] | readonly [
-        'optional',
-        _i_core._T_State_Group<null, readonly ['not set', null] | readonly ['set', _T_Initialization]>
-    ] | readonly [
-        'string',
-        {
-            readonly 'delimiter': _i_core._T_State_Group<null, readonly ['backtick', null] | readonly ['quote', null]>;
-            readonly 'value': string;
-        }
-    ] | readonly [
-        'tagged union',
-        {
-            readonly 'case': string;
-            readonly 'value': _T_Initialization;
-        }
-    ];
-}
-export declare namespace Module {
-    namespace type_imports {
-    }
-    type type_imports = _i_imports_interface._T_Imports;
-    namespace variable_imports {
-        namespace D {
-            namespace tail {
-                type L = string;
-            }
-            type tail = _i_core._T_List<null, string>;
-            namespace _type {
-                namespace SG {
-                    namespace ancestor {
-                        type dependency = string;
-                        type number_of_steps = number;
-                    }
-                    type ancestor = {
-                        readonly 'dependency': string;
-                        readonly 'number of steps': number;
-                    };
-                    type external = string;
-                    type sibling = string;
-                }
-                type SG = readonly [
-                    'ancestor',
-                    {
-                        readonly 'dependency': string;
-                        readonly 'number of steps': number;
-                    }
-                ] | readonly ['external', string] | readonly ['sibling', string];
-            }
-            type _type = _i_core._T_State_Group<null, readonly [
-                'ancestor',
-                {
-                    readonly 'dependency': string;
-                    readonly 'number of steps': number;
-                }
-            ] | readonly ['external', string] | readonly ['sibling', string]>;
-        }
-        type D = {
-            readonly 'tail': _i_core._T_List<null, string>;
-            readonly 'type': _i_core._T_State_Group<null, readonly [
-                'ancestor',
-                {
-                    readonly 'dependency': string;
-                    readonly 'number of steps': number;
-                }
-            ] | readonly ['external', string] | readonly ['sibling', string]>;
-        };
-    }
-    type variable_imports = _i_core._T_Dictionary<null, {
-        readonly 'tail': _i_core._T_List<null, string>;
-        readonly 'type': _i_core._T_State_Group<null, readonly [
-            'ancestor',
-            {
-                readonly 'dependency': string;
-                readonly 'number of steps': number;
-            }
-        ] | readonly ['external', string] | readonly ['sibling', string]>;
-    }>;
-    namespace variables {
-    }
-    type variables = _T_Variables;
-}
-export declare namespace Module_Set {
-    namespace D {
-        namespace SG {
-            namespace _module {
-            }
-            type _module = _T_Module;
-            namespace _set {
-            }
-            type _set = _T_Module_Set;
-        }
-        type SG = readonly ['module', _T_Module] | readonly ['set', _T_Module_Set];
-    }
-    type D = _i_core._T_State_Group<null, readonly ['module', _T_Module] | readonly ['set', _T_Module_Set]>;
-}
-export declare namespace Selection {
-    namespace start {
-        namespace SG {
-            type abort = null;
-            type argument = string;
-            namespace call {
-                namespace _arguments {
-                    namespace O {
-                        namespace D {
-                        }
-                        type D = _T_Initialization;
-                    }
-                    type O = _i_core._T_Dictionary<null, _T_Initialization>;
-                }
-                type _arguments = _pt.Optional_Value<_i_core._T_Dictionary<null, _T_Initialization>>;
-                namespace context {
-                }
-                type context = _T_Selection;
-                namespace source {
-                }
-                type source = _T_Selection;
-            }
-            type call = {
-                readonly 'arguments': _pt.Optional_Value<_i_core._T_Dictionary<null, _T_Initialization>>;
-                readonly 'context': _T_Selection;
-                readonly 'source': _T_Selection;
-            };
-            type context = null;
-            type implement_me = null;
-            namespace imported_variable {
-                type _import = string;
-                type variable = string;
-            }
-            type imported_variable = {
-                readonly 'import': string;
-                readonly 'variable': string;
-            };
-            type parameter = string;
-            namespace transform_optional_value {
-                namespace if_not_set {
-                }
-                type if_not_set = _T_Selection;
-                namespace if_set {
-                }
-                type if_set = _T_Selection;
-                namespace source {
-                }
-                type source = _T_Selection;
-            }
-            type transform_optional_value = {
-                readonly 'if not set': _T_Selection;
-                readonly 'if set': _T_Selection;
-                readonly 'source': _T_Selection;
-            };
-            type variable = string;
-        }
-        type SG = readonly ['abort', null] | readonly ['argument', string] | readonly [
-            'call',
-            {
-                readonly 'arguments': _pt.Optional_Value<_i_core._T_Dictionary<null, _T_Initialization>>;
-                readonly 'context': _T_Selection;
-                readonly 'source': _T_Selection;
-            }
-        ] | readonly ['context', null] | readonly ['implement me', null] | readonly [
-            'imported variable',
-            {
-                readonly 'import': string;
-                readonly 'variable': string;
-            }
-        ] | readonly ['parameter', string] | readonly [
-            'transform optional value',
-            {
-                readonly 'if not set': _T_Selection;
-                readonly 'if set': _T_Selection;
-                readonly 'source': _T_Selection;
-            }
-        ] | readonly ['variable', string];
-    }
-    type start = _i_core._T_State_Group<null, readonly ['abort', null] | readonly ['argument', string] | readonly [
-        'call',
-        {
-            readonly 'arguments': _pt.Optional_Value<_i_core._T_Dictionary<null, _T_Initialization>>;
-            readonly 'context': _T_Selection;
-            readonly 'source': _T_Selection;
-        }
-    ] | readonly ['context', null] | readonly ['implement me', null] | readonly [
-        'imported variable',
-        {
-            readonly 'import': string;
-            readonly 'variable': string;
-        }
-    ] | readonly ['parameter', string] | readonly [
-        'transform optional value',
-        {
-            readonly 'if not set': _T_Selection;
-            readonly 'if set': _T_Selection;
-            readonly 'source': _T_Selection;
-        }
-    ] | readonly ['variable', string]>;
-    namespace tail {
-        type L = string;
-    }
-    type tail = _i_core._T_List<null, string>;
-}
-export declare namespace Type_Parameters {
-    type D = null;
-}
-export declare namespace Variables {
-    namespace D {
-        namespace initialization {
-        }
-        type initialization = _T_Initialization;
-        namespace _type {
-            namespace O {
-            }
-            type O = _i_imports_interface._T_Type;
-        }
-        type _type = _pt.Optional_Value<_i_imports_interface._T_Type>;
-    }
-    type D = {
-        readonly 'initialization': _T_Initialization;
-        readonly 'type': _pt.Optional_Value<_i_imports_interface._T_Type>;
-    };
-}