pareto-liana 0.0.1 → 0.0.3

package/dist/interface/generated/pareto/schemas/schema/data/unresolved.d.ts

@@ -1,1497 +0,0 @@
-import * as _pi from "pareto-core/dist/interface";
-import * as i__location from "../../../core/location";
-export declare namespace Text_Type_ {
-    namespace _type {
-        type location = i__location.Location;
-        namespace state_group {
-            type multi_line = null;
-            type single_line = null;
-        }
-        type state_group = readonly ['multi line', state_group.multi_line] | readonly ['single line', state_group.single_line];
-    }
-    type _type = {
-        readonly 'location': _type.location;
-        readonly 'state group': _type.state_group;
-    };
-}
-export type Text_Type_ = {
-    readonly 'type': Text_Type_._type;
-};
-export declare namespace Number_Type_ {
-    namespace precision {
-        type location = i__location.Location;
-        namespace state_group {
-            namespace approximation {
-                type significant_digits = number;
-            }
-            type approximation = {
-                readonly 'significant digits': approximation.significant_digits;
-            };
-            namespace exact {
-                namespace decimal_separator_offset {
-                    type O = number;
-                }
-                type decimal_separator_offset = _pi.Optional_Value<decimal_separator_offset.O>;
-                namespace _type {
-                    type location = i__location.Location;
-                    namespace state_group {
-                        type integer = null;
-                        type natural = null;
-                        type positive_natural = null;
-                    }
-                    type state_group = readonly ['integer', state_group.integer] | readonly ['natural', state_group.natural] | readonly ['positive natural', state_group.positive_natural];
-                }
-                type _type = {
-                    readonly 'location': _type.location;
-                    readonly 'state group': _type.state_group;
-                };
-            }
-            type exact = {
-                readonly 'decimal separator offset': exact.decimal_separator_offset;
-                readonly 'type': exact._type;
-            };
-        }
-        type state_group = readonly ['approximation', state_group.approximation] | readonly ['exact', state_group.exact];
-    }
-    type precision = {
-        readonly 'location': precision.location;
-        readonly 'state group': precision.state_group;
-    };
-}
-export type Number_Type_ = {
-    readonly 'precision': Number_Type_.precision;
-};
-export declare namespace Globals_ {
-    namespace complexity {
-        type location = i__location.Location;
-        namespace state_group {
-            type constrained = null;
-            type unconstrained = null;
-        }
-        type state_group = readonly ['constrained', state_group.constrained] | readonly ['unconstrained', state_group.unconstrained];
-    }
-    type complexity = {
-        readonly 'location': complexity.location;
-        readonly 'state group': complexity.state_group;
-    };
-    namespace text_types {
-        type location = i__location.Location;
-        namespace dictionary {
-            namespace D {
-                type location = i__location.Location;
-                type entry = Text_Type_;
-            }
-            type D = {
-                readonly 'location': D.location;
-                readonly 'entry': D.entry;
-            };
-        }
-        type dictionary = _pi.Dictionary<dictionary.D>;
-    }
-    type text_types = {
-        readonly 'location': text_types.location;
-        readonly 'dictionary': text_types.dictionary;
-    };
-    namespace number_types {
-        type location = i__location.Location;
-        namespace dictionary {
-            namespace D {
-                type location = i__location.Location;
-                type entry = Number_Type_;
-            }
-            type D = {
-                readonly 'location': D.location;
-                readonly 'entry': D.entry;
-            };
-        }
-        type dictionary = _pi.Dictionary<dictionary.D>;
-    }
-    type number_types = {
-        readonly 'location': number_types.location;
-        readonly 'dictionary': number_types.dictionary;
-    };
-}
-export type Globals_ = {
-    readonly 'complexity': Globals_.complexity;
-    readonly 'text types': Globals_.text_types;
-    readonly 'number types': Globals_.number_types;
-};
-export declare namespace Type_Parameters_ {
-    type location = i__location.Location;
-    namespace dictionary {
-        namespace D {
-            type location = i__location.Location;
-            type entry = null;
-        }
-        type D = {
-            readonly 'location': D.location;
-            readonly 'entry': D.entry;
-        };
-    }
-    type dictionary = _pi.Dictionary<dictionary.D>;
-}
-export type Type_Parameters_ = {
-    readonly 'location': Type_Parameters_.location;
-    readonly 'dictionary': Type_Parameters_.dictionary;
-};
-export declare namespace Type_ {
-    type type_parameters = Type_Parameters_;
-    type node = Type_Node_;
-}
-export type Type_ = {
-    readonly 'type parameters': Type_.type_parameters;
-    readonly 'node': Type_.node;
-};
-export declare namespace Types_ {
-    type location = i__location.Location;
-    namespace dictionary {
-        namespace D {
-            type location = i__location.Location;
-            type entry = Type_;
-        }
-        type D = {
-            readonly 'location': D.location;
-            readonly 'entry': D.entry;
-        };
-    }
-    type dictionary = _pi.Dictionary<dictionary.D>;
-}
-export type Types_ = {
-    readonly 'location': Types_.location;
-    readonly 'dictionary': Types_.dictionary;
-};
-export declare namespace Resolve_Logic_ {
-    namespace signatures {
-        type types = Signatures_;
-    }
-    type signatures = {
-        readonly 'types': signatures.types;
-    };
-    type resolvers = Resolvers_;
-}
-export type Resolve_Logic_ = {
-    readonly 'signatures': Resolve_Logic_.signatures;
-    readonly 'resolvers': Resolve_Logic_.resolvers;
-};
-export declare namespace Schema_ {
-    type imports = Imports_;
-    type globals = Globals_;
-    type types = Types_;
-    namespace complexity {
-        type location = i__location.Location;
-        namespace state_group {
-            type constrained = Resolve_Logic_;
-            type unconstrained = null;
-        }
-        type state_group = readonly ['constrained', state_group.constrained] | readonly ['unconstrained', state_group.unconstrained];
-    }
-    type complexity = {
-        readonly 'location': complexity.location;
-        readonly 'state group': complexity.state_group;
-    };
-}
-export type Schema_ = {
-    readonly 'imports': Schema_.imports;
-    readonly 'globals': Schema_.globals;
-    readonly 'types': Schema_.types;
-    readonly 'complexity': Schema_.complexity;
-};
-export declare namespace Schema_Tree_ {
-    type location = i__location.Location;
-    namespace state_group {
-        type schema = Schema_;
-        type _set = Schemas_;
-    }
-    type state_group = readonly ['schema', state_group.schema] | readonly ['set', state_group._set];
-}
-export type Schema_Tree_ = {
-    readonly 'location': Schema_Tree_.location;
-    readonly 'state group': Schema_Tree_.state_group;
-};
-export declare namespace Type_Specification_ {
-    type schema = Schema_Tree_;
-    namespace schema_path {
-        type location = i__location.Location;
-        namespace list {
-            namespace L {
-                type location = i__location.Location;
-                type element = string;
-            }
-            type L = {
-                readonly 'location': L.location;
-                readonly 'element': L.element;
-            };
-        }
-        type list = _pi.List<list.L>;
-    }
-    type schema_path = {
-        readonly 'location': schema_path.location;
-        readonly 'list': schema_path.list;
-    };
-    type _type = string;
-}
-export type Type_Specification_ = {
-    readonly 'schema': Type_Specification_.schema;
-    readonly 'schema path': Type_Specification_.schema_path;
-    readonly 'type': Type_Specification_._type;
-};
-export declare namespace Schemas_ {
-    type location = i__location.Location;
-    namespace dictionary {
-        namespace D {
-            type location = i__location.Location;
-            type entry = Schema_Tree_;
-        }
-        type D = {
-            readonly 'location': D.location;
-            readonly 'entry': D.entry;
-        };
-    }
-    type dictionary = _pi.Dictionary<dictionary.D>;
-}
-export type Schemas_ = {
-    readonly 'location': Schemas_.location;
-    readonly 'dictionary': Schemas_.dictionary;
-};
-export declare namespace Imports_ {
-    type location = i__location.Location;
-    namespace dictionary {
-        namespace D {
-            type location = i__location.Location;
-            namespace entry {
-                namespace schema_set_child {
-                    type location = i__location.Location;
-                    type key = string;
-                }
-                type schema_set_child = {
-                    readonly 'location': schema_set_child.location;
-                    readonly 'key': schema_set_child.key;
-                };
-                type schema = null;
-            }
-            type entry = {
-                readonly 'schema set child': entry.schema_set_child;
-                readonly 'schema': entry.schema;
-            };
-        }
-        type D = {
-            readonly 'location': D.location;
-            readonly 'entry': D.entry;
-        };
-    }
-    type dictionary = _pi.Dictionary<dictionary.D>;
-}
-export type Imports_ = {
-    readonly 'location': Imports_.location;
-    readonly 'dictionary': Imports_.dictionary;
-};
-export declare namespace Presence_ {
-    type location = i__location.Location;
-    namespace state_group {
-        type optional = null;
-        type required = null;
-    }
-    type state_group = readonly ['optional', state_group.optional] | readonly ['required', state_group.required];
-}
-export type Presence_ = {
-    readonly 'location': Presence_.location;
-    readonly 'state group': Presence_.state_group;
-};
-export declare namespace Dictionary_ {
-    type node = Type_Node_;
-    type ordered = boolean;
-}
-export type Dictionary_ = {
-    readonly 'node': Dictionary_.node;
-    readonly 'ordered': Dictionary_.ordered;
-};
-export declare namespace Signatures_ {
-    type location = i__location.Location;
-    namespace dictionary {
-        namespace D {
-            type location = i__location.Location;
-            type entry = Signature_;
-        }
-        type D = {
-            readonly 'location': D.location;
-            readonly 'entry': D.entry;
-        };
-    }
-    type dictionary = _pi.Dictionary<dictionary.D>;
-}
-export type Signatures_ = {
-    readonly 'location': Signatures_.location;
-    readonly 'dictionary': Signatures_.dictionary;
-};
-export declare namespace Resolvers_ {
-    type location = i__location.Location;
-    namespace dictionary {
-        namespace D {
-            type location = i__location.Location;
-            namespace entry {
-                type signature = null;
-                type type_resolver = Node_Resolver_;
-            }
-            type entry = {
-                readonly 'signature': entry.signature;
-                readonly 'type resolver': entry.type_resolver;
-            };
-        }
-        type D = {
-            readonly 'location': D.location;
-            readonly 'entry': D.entry;
-        };
-    }
-    type dictionary = _pi.Dictionary<dictionary.D>;
-}
-export type Resolvers_ = {
-    readonly 'location': Resolvers_.location;
-    readonly 'dictionary': Resolvers_.dictionary;
-};
-export declare namespace Group_ {
-    type location = i__location.Location;
-    namespace dictionary {
-        namespace D {
-            type location = i__location.Location;
-            namespace entry {
-                namespace description {
-                    type O = string;
-                }
-                type description = _pi.Optional_Value<description.O>;
-                type node = Type_Node_;
-            }
-            type entry = {
-                readonly 'description': entry.description;
-                readonly 'node': entry.node;
-            };
-        }
-        type D = {
-            readonly 'location': D.location;
-            readonly 'entry': D.entry;
-        };
-    }
-    type dictionary = _pi.Dictionary<dictionary.D>;
-}
-export type Group_ = {
-    readonly 'location': Group_.location;
-    readonly 'dictionary': Group_.dictionary;
-};
-export declare namespace Type_Node_ {
-    type location = i__location.Location;
-    namespace state_group {
-        type _boolean = null;
-        namespace component {
-            type location = i__location.Location;
-            namespace state_group {
-                namespace external {
-                    namespace _import {
-                        type location = i__location.Location;
-                        type key = string;
-                    }
-                    type _import = {
-                        readonly 'location': _import.location;
-                        readonly 'key': _import.key;
-                    };
-                    namespace _type {
-                        type location = i__location.Location;
-                        type key = string;
-                    }
-                    type _type = {
-                        readonly 'location': _type.location;
-                        readonly 'key': _type.key;
-                    };
-                }
-                type external = {
-                    readonly 'import': external._import;
-                    readonly 'type': external._type;
-                };
-                namespace internal {
-                    type location = i__location.Location;
-                    type key = string;
-                }
-                type internal = {
-                    readonly 'location': internal.location;
-                    readonly 'key': internal.key;
-                };
-                namespace internal_cyclic {
-                    type location = i__location.Location;
-                    type key = string;
-                }
-                type internal_cyclic = {
-                    readonly 'location': internal_cyclic.location;
-                    readonly 'key': internal_cyclic.key;
-                };
-            }
-            type state_group = readonly ['external', state_group.external] | readonly ['internal', state_group.internal] | readonly ['internal cyclic', state_group.internal_cyclic];
-        }
-        type component = {
-            readonly 'location': component.location;
-            readonly 'state group': component.state_group;
-        };
-        type dictionary = Dictionary_;
-        type group = Group_;
-        namespace list {
-            type node = Type_Node_;
-        }
-        type list = {
-            readonly 'node': list.node;
-        };
-        type nothing = null;
-        namespace _number {
-            type location = i__location.Location;
-            namespace state_group {
-                namespace global {
-                    type location = i__location.Location;
-                    type key = string;
-                }
-                type global = {
-                    readonly 'location': global.location;
-                    readonly 'key': global.key;
-                };
-                type local = Number_Type_;
-            }
-            type state_group = readonly ['global', state_group.global] | readonly ['local', state_group.local];
-        }
-        type _number = {
-            readonly 'location': _number.location;
-            readonly 'state group': _number.state_group;
-        };
-        type optional = Type_Node_;
-        namespace reference {
-            type referent = Type_Node_Reference_;
-            namespace _type {
-                type location = i__location.Location;
-                namespace state_group {
-                    type derived = null;
-                    namespace selected {
-                        type dictionary = null;
-                        namespace dependency {
-                            type location = i__location.Location;
-                            namespace state_group {
-                                type acyclic = null;
-                                type cyclic = null;
-                                type stack = null;
-                            }
-                            type state_group = readonly ['acyclic', state_group.acyclic] | readonly ['cyclic', state_group.cyclic] | readonly ['stack', state_group.stack];
-                        }
-                        type dependency = {
-                            readonly 'location': dependency.location;
-                            readonly 'state group': dependency.state_group;
-                        };
-                    }
-                    type selected = {
-                        readonly 'dictionary': selected.dictionary;
-                        readonly 'dependency': selected.dependency;
-                    };
-                }
-                type state_group = readonly ['derived', state_group.derived] | readonly ['selected', state_group.selected];
-            }
-            type _type = {
-                readonly 'location': _type.location;
-                readonly 'state group': _type.state_group;
-            };
-        }
-        type reference = {
-            readonly 'referent': reference.referent;
-            readonly 'type': reference._type;
-        };
-        namespace state_group {
-            type location = i__location.Location;
-            namespace dictionary {
-                namespace D {
-                    type location = i__location.Location;
-                    namespace entry {
-                        namespace description {
-                            type O = string;
-                        }
-                        type description = _pi.Optional_Value<description.O>;
-                        type node = Type_Node_;
-                    }
-                    type entry = {
-                        readonly 'description': entry.description;
-                        readonly 'node': entry.node;
-                    };
-                }
-                type D = {
-                    readonly 'location': D.location;
-                    readonly 'entry': D.entry;
-                };
-            }
-            type dictionary = _pi.Dictionary<dictionary.D>;
-        }
-        type state_group = {
-            readonly 'location': state_group.location;
-            readonly 'dictionary': state_group.dictionary;
-        };
-        namespace text {
-            type location = i__location.Location;
-            namespace state_group {
-                namespace global {
-                    type location = i__location.Location;
-                    type key = string;
-                }
-                type global = {
-                    readonly 'location': global.location;
-                    readonly 'key': global.key;
-                };
-                type local = Text_Type_;
-            }
-            type state_group = readonly ['global', state_group.global] | readonly ['local', state_group.local];
-        }
-        type text = {
-            readonly 'location': text.location;
-            readonly 'state group': text.state_group;
-        };
-    }
-    type state_group = readonly ['boolean', state_group._boolean] | readonly ['component', state_group.component] | readonly ['dictionary', state_group.dictionary] | readonly ['group', state_group.group] | readonly ['list', state_group.list] | readonly ['nothing', state_group.nothing] | readonly ['number', state_group._number] | readonly ['optional', state_group.optional] | readonly ['reference', state_group.reference] | readonly ['state group', state_group.state_group] | readonly ['text', state_group.text];
-}
-export type Type_Node_ = {
-    readonly 'location': Type_Node_.location;
-    readonly 'state group': Type_Node_.state_group;
-};
-export declare namespace Type_Reference_ {
-    namespace location {
-        type location = i__location.Location;
-        namespace state_group {
-            namespace internal {
-                type location = i__location.Location;
-                type key = string;
-            }
-            type internal = {
-                readonly 'location': internal.location;
-                readonly 'key': internal.key;
-            };
-            namespace external {
-                namespace _import {
-                    type location = i__location.Location;
-                    type key = string;
-                }
-                type _import = {
-                    readonly 'location': _import.location;
-                    readonly 'key': _import.key;
-                };
-                namespace _type {
-                    type location = i__location.Location;
-                    type key = string;
-                }
-                type _type = {
-                    readonly 'location': _type.location;
-                    readonly 'key': _type.key;
-                };
-            }
-            type external = {
-                readonly 'import': external._import;
-                readonly 'type': external._type;
-            };
-        }
-        type state_group = readonly ['internal', state_group.internal] | readonly ['external', state_group.external];
-    }
-    type location = {
-        readonly 'location': location.location;
-        readonly 'state group': location.state_group;
-    };
-    type resulting_node = null;
-}
-export type Type_Reference_ = {
-    readonly 'location': Type_Reference_.location;
-    readonly 'resulting node': Type_Reference_.resulting_node;
-};
-export declare namespace Type_Node_Reference_ {
-    type type_location = Type_Reference_;
-    namespace tail {
-        type location = i__location.Location;
-        namespace list {
-            namespace L {
-                type location = i__location.Location;
-                namespace element {
-                    type location = i__location.Location;
-                    namespace state_group {
-                        type dictionary = null;
-                        namespace group {
-                            type location = i__location.Location;
-                            type key = string;
-                        }
-                        type group = {
-                            readonly 'location': group.location;
-                            readonly 'key': group.key;
-                        };
-                        type list = null;
-                        type optional = null;
-                        namespace state_group {
-                            type location = i__location.Location;
-                            type key = string;
-                        }
-                        type state_group = {
-                            readonly 'location': state_group.location;
-                            readonly 'key': state_group.key;
-                        };
-                    }
-                    type state_group = readonly ['dictionary', state_group.dictionary] | readonly ['group', state_group.group] | readonly ['list', state_group.list] | readonly ['optional', state_group.optional] | readonly ['state group', state_group.state_group];
-                }
-                type element = {
-                    readonly 'location': element.location;
-                    readonly 'state group': element.state_group;
-                };
-            }
-            type L = {
-                readonly 'location': L.location;
-                readonly 'element': L.element;
-            };
-        }
-        type list = _pi.List<list.L>;
-    }
-    type tail = {
-        readonly 'location': tail.location;
-        readonly 'list': tail.list;
-    };
-    type resulting_node = null;
-}
-export type Type_Node_Reference_ = {
-    readonly 'type location': Type_Node_Reference_.type_location;
-    readonly 'tail': Type_Node_Reference_.tail;
-    readonly 'resulting node': Type_Node_Reference_.resulting_node;
-};
-export declare namespace Signature_Parameters_ {
-    namespace values {
-        type location = i__location.Location;
-        namespace dictionary {
-            namespace D {
-                type location = i__location.Location;
-                namespace entry {
-                    type data_type = Type_Reference_;
-                    type presence = Presence_;
-                }
-                type entry = {
-                    readonly 'data type': entry.data_type;
-                    readonly 'presence': entry.presence;
-                };
-            }
-            type D = {
-                readonly 'location': D.location;
-                readonly 'entry': D.entry;
-            };
-        }
-        type dictionary = _pi.Dictionary<dictionary.D>;
-    }
-    type values = {
-        readonly 'location': values.location;
-        readonly 'dictionary': values.dictionary;
-    };
-    namespace lookups {
-        type location = i__location.Location;
-        namespace dictionary {
-            namespace D {
-                type location = i__location.Location;
-                namespace entry {
-                    type referent = Type_Reference_;
-                    type dictionary = null;
-                    namespace _type {
-                        type location = i__location.Location;
-                        namespace state_group {
-                            type cyclic = null;
-                            type acyclic = null;
-                            type stack = null;
-                        }
-                        type state_group = readonly ['cyclic', state_group.cyclic] | readonly ['acyclic', state_group.acyclic] | readonly ['stack', state_group.stack];
-                    }
-                    type _type = {
-                        readonly 'location': _type.location;
-                        readonly 'state group': _type.state_group;
-                    };
-                    type presence = Presence_;
-                }
-                type entry = {
-                    readonly 'referent': entry.referent;
-                    readonly 'dictionary': entry.dictionary;
-                    readonly 'type': entry._type;
-                    readonly 'presence': entry.presence;
-                };
-            }
-            type D = {
-                readonly 'location': D.location;
-                readonly 'entry': D.entry;
-            };
-        }
-        type dictionary = _pi.Dictionary<dictionary.D>;
-    }
-    type lookups = {
-        readonly 'location': lookups.location;
-        readonly 'dictionary': lookups.dictionary;
-    };
-}
-export type Signature_Parameters_ = {
-    readonly 'values': Signature_Parameters_.values;
-    readonly 'lookups': Signature_Parameters_.lookups;
-};
-export declare namespace Signature_ {
-    type _type = null;
-    namespace parameters {
-        type location = i__location.Location;
-        namespace state_group {
-            type local = Signature_Parameters_;
-            namespace same_as {
-                type location = i__location.Location;
-                type key = string;
-            }
-            type same_as = {
-                readonly 'location': same_as.location;
-                readonly 'key': same_as.key;
-            };
-        }
-        type state_group = readonly ['local', state_group.local] | readonly ['same as', state_group.same_as];
-    }
-    type parameters = {
-        readonly 'location': parameters.location;
-        readonly 'state group': parameters.state_group;
-    };
-    type resolved_parameters = null;
-}
-export type Signature_ = {
-    readonly 'type': Signature_._type;
-    readonly 'parameters': Signature_.parameters;
-    readonly 'resolved parameters': Signature_.resolved_parameters;
-};
-export declare namespace Relative_Value_Selection_ {
-    namespace path {
-        type location = i__location.Location;
-        namespace list {
-            namespace L {
-                type location = i__location.Location;
-                namespace element {
-                    type location = i__location.Location;
-                    namespace state_group {
-                        type component = null;
-                        namespace group {
-                            type location = i__location.Location;
-                            type key = string;
-                        }
-                        type group = {
-                            readonly 'location': group.location;
-                            readonly 'key': group.key;
-                        };
-                        namespace reference {
-                            type definition = null;
-                        }
-                        type reference = {
-                            readonly 'definition': reference.definition;
-                        };
-                    }
-                    type state_group = readonly ['component', state_group.component] | readonly ['group', state_group.group] | readonly ['reference', state_group.reference];
-                }
-                type element = {
-                    readonly 'location': element.location;
-                    readonly 'state group': element.state_group;
-                };
-            }
-            type L = {
-                readonly 'location': L.location;
-                readonly 'element': L.element;
-            };
-        }
-        type list = _pi.List<list.L>;
-    }
-    type path = {
-        readonly 'location': path.location;
-        readonly 'list': path.list;
-    };
-    type resulting_node = null;
-}
-export type Relative_Value_Selection_ = {
-    readonly 'path': Relative_Value_Selection_.path;
-    readonly 'resulting node': Relative_Value_Selection_.resulting_node;
-};
-export declare namespace Lookup_Selection_ {
-    namespace _type {
-        type location = i__location.Location;
-        namespace state_group {
-            namespace dictionary {
-                type selection = Guaranteed_Value_Selection_;
-                type selected_dictionary = null;
-            }
-            type dictionary = {
-                readonly 'selection': dictionary.selection;
-                readonly 'selected dictionary': dictionary.selected_dictionary;
-            };
-            namespace parameter {
-                type location = i__location.Location;
-                type key = string;
-            }
-            type parameter = {
-                readonly 'location': parameter.location;
-                readonly 'key': parameter.key;
-            };
-            type not_circular_dependent_siblings = null;
-            type possibly_circular_dependent_siblings = null;
-        }
-        type state_group = readonly ['dictionary', state_group.dictionary] | readonly ['parameter', state_group.parameter] | readonly ['not circular dependent siblings', state_group.not_circular_dependent_siblings] | readonly ['possibly circular dependent siblings', state_group.possibly_circular_dependent_siblings];
-    }
-    type _type = {
-        readonly 'location': _type.location;
-        readonly 'state group': _type.state_group;
-    };
-    type resulting_dictionary = null;
-}
-export type Lookup_Selection_ = {
-    readonly 'type': Lookup_Selection_._type;
-    readonly 'resulting dictionary': Lookup_Selection_.resulting_dictionary;
-};
-export declare namespace Constraint_ {
-    type selection = Relative_Value_Selection_;
-    namespace _type {
-        type location = i__location.Location;
-        namespace state_group {
-            namespace state {
-                type selected_state_group = null;
-                namespace state {
-                    type location = i__location.Location;
-                    type key = string;
-                }
-                type state = {
-                    readonly 'location': state.location;
-                    readonly 'key': state.key;
-                };
-            }
-            type state = {
-                readonly 'selected state group': state.selected_state_group;
-                readonly 'state': state.state;
-            };
-            namespace optional_value {
-                type selected_optional_value = null;
-            }
-            type optional_value = {
-                readonly 'selected optional value': optional_value.selected_optional_value;
-            };
-        }
-        type state_group = readonly ['state', state_group.state] | readonly ['optional value', state_group.optional_value];
-    }
-    type _type = {
-        readonly 'location': _type.location;
-        readonly 'state group': _type.state_group;
-    };
-}
-export type Constraint_ = {
-    readonly 'selection': Constraint_.selection;
-    readonly 'type': Constraint_._type;
-};
-export declare namespace Option_Constraints_ {
-    type location = i__location.Location;
-    namespace dictionary {
-        namespace D {
-            type location = i__location.Location;
-            namespace entry {
-                type location = i__location.Location;
-                namespace state_group {
-                    namespace state {
-                        type selection = Guaranteed_Value_Selection_;
-                        type selected_state_group = null;
-                        namespace state {
-                            type location = i__location.Location;
-                            type key = string;
-                        }
-                        type state = {
-                            readonly 'location': state.location;
-                            readonly 'key': state.key;
-                        };
-                    }
-                    type state = {
-                        readonly 'selection': state.selection;
-                        readonly 'selected state group': state.selected_state_group;
-                        readonly 'state': state.state;
-                    };
-                    type assert_is_set = Possible_Value_Selection_;
-                }
-                type state_group = readonly ['state', state_group.state] | readonly ['assert is set', state_group.assert_is_set];
-            }
-            type entry = {
-                readonly 'location': entry.location;
-                readonly 'state group': entry.state_group;
-            };
-        }
-        type D = {
-            readonly 'location': D.location;
-            readonly 'entry': D.entry;
-        };
-    }
-    type dictionary = _pi.Dictionary<dictionary.D>;
-}
-export type Option_Constraints_ = {
-    readonly 'location': Option_Constraints_.location;
-    readonly 'dictionary': Option_Constraints_.dictionary;
-};
-export declare namespace Property_Constraints_ {
-    type location = i__location.Location;
-    namespace dictionary {
-        namespace D {
-            type location = i__location.Location;
-            type entry = Property_Constraint_;
-        }
-        type D = {
-            readonly 'location': D.location;
-            readonly 'entry': D.entry;
-        };
-    }
-    type dictionary = _pi.Dictionary<dictionary.D>;
-}
-export type Property_Constraints_ = {
-    readonly 'location': Property_Constraints_.location;
-    readonly 'dictionary': Property_Constraints_.dictionary;
-};
-export declare namespace Reference_To_Property_Constraint_ {
-    type location = i__location.Location;
-    type key = string;
-}
-export type Reference_To_Property_Constraint_ = {
-    readonly 'location': Reference_To_Property_Constraint_.location;
-    readonly 'key': Reference_To_Property_Constraint_.key;
-};
-export declare namespace Property_Constraint_ {
-    namespace start {
-        type location = i__location.Location;
-        namespace state_group {
-            type property = null;
-            type sibling = Reference_To_Property_Constraint_;
-        }
-        type state_group = readonly ['property', state_group.property] | readonly ['sibling', state_group.sibling];
-    }
-    type start = {
-        readonly 'location': start.location;
-        readonly 'state group': start.state_group;
-    };
-    type constraint = Constraint_;
-}
-export type Property_Constraint_ = {
-    readonly 'start': Property_Constraint_.start;
-    readonly 'constraint': Property_Constraint_.constraint;
-};
-export declare namespace Optional_Value_Initialization_ {
-    type location = i__location.Location;
-    namespace state_group {
-        type not_set = null;
-        type _set = Guaranteed_Value_Selection_;
-        type selection = Possible_Value_Selection_;
-    }
-    type state_group = readonly ['not set', state_group.not_set] | readonly ['set', state_group._set] | readonly ['selection', state_group.selection];
-}
-export type Optional_Value_Initialization_ = {
-    readonly 'location': Optional_Value_Initialization_.location;
-    readonly 'state group': Optional_Value_Initialization_.state_group;
-};
-export declare namespace Node_Resolver_Group_ {
-    type location = i__location.Location;
-    namespace dictionary {
-        namespace D {
-            type location = i__location.Location;
-            namespace entry {
-                type definition = null;
-                type resolver = Node_Resolver_;
-            }
-            type entry = {
-                readonly 'definition': entry.definition;
-                readonly 'resolver': entry.resolver;
-            };
-        }
-        type D = {
-            readonly 'location': D.location;
-            readonly 'entry': D.entry;
-        };
-    }
-    type dictionary = _pi.Dictionary<dictionary.D>;
-}
-export type Node_Resolver_Group_ = {
-    readonly 'location': Node_Resolver_Group_.location;
-    readonly 'dictionary': Node_Resolver_Group_.dictionary;
-};
-export type Node_Resolver_List_Result_ = Type_Reference_;
-export declare namespace Benchmark_ {
-    type selection = Guaranteed_Value_Selection_;
-    type resulting_dictionary = null;
-    type dense = boolean;
-}
-export type Benchmark_ = {
-    readonly 'selection': Benchmark_.selection;
-    readonly 'resulting dictionary': Benchmark_.resulting_dictionary;
-    readonly 'dense': Benchmark_.dense;
-};
-export declare namespace Node_Resolver_ {
-    type location = i__location.Location;
-    namespace state_group {
-        type _boolean = null;
-        namespace component {
-            namespace location {
-                type location = i__location.Location;
-                namespace state_group {
-                    namespace external {
-                        namespace _import {
-                            type location = i__location.Location;
-                            type key = string;
-                        }
-                        type _import = {
-                            readonly 'location': _import.location;
-                            readonly 'key': _import.key;
-                        };
-                        namespace _type {
-                            type location = i__location.Location;
-                            type key = string;
-                        }
-                        type _type = {
-                            readonly 'location': _type.location;
-                            readonly 'key': _type.key;
-                        };
-                    }
-                    type external = {
-                        readonly 'import': external._import;
-                        readonly 'type': external._type;
-                    };
-                    namespace internal {
-                        type location = i__location.Location;
-                        type key = string;
-                    }
-                    type internal = {
-                        readonly 'location': internal.location;
-                        readonly 'key': internal.key;
-                    };
-                }
-                type state_group = readonly ['external', state_group.external] | readonly ['internal', state_group.internal];
-            }
-            type location = {
-                readonly 'location': location.location;
-                readonly 'state group': location.state_group;
-            };
-            type signature = null;
-            namespace _arguments {
-                namespace O {
-                    namespace values {
-                        namespace O {
-                            type location = i__location.Location;
-                            namespace dictionary {
-                                namespace D {
-                                    type location = i__location.Location;
-                                    namespace entry {
-                                        type location = i__location.Location;
-                                        namespace state_group {
-                                            type optional = Optional_Value_Initialization_;
-                                            type required = Guaranteed_Value_Selection_;
-                                            namespace parameter {
-                                                type location = i__location.Location;
-                                                type key = string;
-                                            }
-                                            type parameter = {
-                                                readonly 'location': parameter.location;
-                                                readonly 'key': parameter.key;
-                                            };
-                                        }
-                                        type state_group = readonly ['optional', state_group.optional] | readonly ['required', state_group.required] | readonly ['parameter', state_group.parameter];
-                                    }
-                                    type entry = {
-                                        readonly 'location': entry.location;
-                                        readonly 'state group': entry.state_group;
-                                    };
-                                }
-                                type D = {
-                                    readonly 'location': D.location;
-                                    readonly 'entry': D.entry;
-                                };
-                            }
-                            type dictionary = _pi.Dictionary<dictionary.D>;
-                        }
-                        type O = {
-                            readonly 'location': O.location;
-                            readonly 'dictionary': O.dictionary;
-                        };
-                    }
-                    type values = _pi.Optional_Value<values.O>;
-                    namespace lookups {
-                        namespace O {
-                            type location = i__location.Location;
-                            namespace dictionary {
-                                namespace D {
-                                    type location = i__location.Location;
-                                    namespace entry {
-                                        type location = i__location.Location;
-                                        namespace state_group {
-                                            type empty_stack = null;
-                                            type not_set = null;
-                                            type selection = Lookup_Selection_;
-                                            namespace stack {
-                                                type stack = Lookup_Selection_;
-                                                type element = Lookup_Selection_;
-                                            }
-                                            type stack = {
-                                                readonly 'stack': stack.stack;
-                                                readonly 'element': stack.element;
-                                            };
-                                        }
-                                        type state_group = readonly ['empty stack', state_group.empty_stack] | readonly ['not set', state_group.not_set] | readonly ['selection', state_group.selection] | readonly ['stack', state_group.stack];
-                                    }
-                                    type entry = {
-                                        readonly 'location': entry.location;
-                                        readonly 'state group': entry.state_group;
-                                    };
-                                }
-                                type D = {
-                                    readonly 'location': D.location;
-                                    readonly 'entry': D.entry;
-                                };
-                            }
-                            type dictionary = _pi.Dictionary<dictionary.D>;
-                        }
-                        type O = {
-                            readonly 'location': O.location;
-                            readonly 'dictionary': O.dictionary;
-                        };
-                    }
-                    type lookups = _pi.Optional_Value<lookups.O>;
-                }
-                type O = {
-                    readonly 'values': O.values;
-                    readonly 'lookups': O.lookups;
-                };
-            }
-            type _arguments = _pi.Optional_Value<_arguments.O>;
-            type constraints = Property_Constraints_;
-        }
-        type component = {
-            readonly 'location': component.location;
-            readonly 'signature': component.signature;
-            readonly 'arguments': component._arguments;
-            readonly 'constraints': component.constraints;
-        };
-        namespace dictionary {
-            type definition = null;
-            type resolver = Node_Resolver_;
-            namespace benchmark {
-                type O = Benchmark_;
-            }
-            type benchmark = _pi.Optional_Value<benchmark.O>;
-        }
-        type dictionary = {
-            readonly 'definition': dictionary.definition;
-            readonly 'resolver': dictionary.resolver;
-            readonly 'benchmark': dictionary.benchmark;
-        };
-        type group = Node_Resolver_Group_;
-        namespace list {
-            type definition = null;
-            type resolver = Node_Resolver_;
-            namespace result {
-                type O = Node_Resolver_List_Result_;
-            }
-            type result = _pi.Optional_Value<result.O>;
-        }
-        type list = {
-            readonly 'definition': list.definition;
-            readonly 'resolver': list.resolver;
-            readonly 'result': list.result;
-        };
-        type nothing = null;
-        type _number = null;
-        namespace optional {
-            type constraints = Option_Constraints_;
-            type resolver = Node_Resolver_;
-        }
-        type optional = {
-            readonly 'constraints': optional.constraints;
-            readonly 'resolver': optional.resolver;
-        };
-        namespace reference {
-            type definition = null;
-            namespace _type {
-                type location = i__location.Location;
-                namespace state_group {
-                    namespace derived {
-                        type value = Guaranteed_Value_Selection_;
-                    }
-                    type derived = {
-                        readonly 'value': derived.value;
-                    };
-                    namespace selected {
-                        type definition = null;
-                        type lookup = Lookup_Selection_;
-                        type constraints = Property_Constraints_;
-                    }
-                    type selected = {
-                        readonly 'definition': selected.definition;
-                        readonly 'lookup': selected.lookup;
-                        readonly 'constraints': selected.constraints;
-                    };
-                }
-                type state_group = readonly ['derived', state_group.derived] | readonly ['selected', state_group.selected];
-            }
-            type _type = {
-                readonly 'location': _type.location;
-                readonly 'state group': _type.state_group;
-            };
-        }
-        type reference = {
-            readonly 'definition': reference.definition;
-            readonly 'type': reference._type;
-        };
-        namespace state_group {
-            type definition = null;
-            namespace states {
-                type location = i__location.Location;
-                namespace dictionary {
-                    namespace D {
-                        type location = i__location.Location;
-                        namespace entry {
-                            type constraints = Option_Constraints_;
-                            type resolver = Node_Resolver_;
-                        }
-                        type entry = {
-                            readonly 'constraints': entry.constraints;
-                            readonly 'resolver': entry.resolver;
-                        };
-                    }
-                    type D = {
-                        readonly 'location': D.location;
-                        readonly 'entry': D.entry;
-                    };
-                }
-                type dictionary = _pi.Dictionary<dictionary.D>;
-            }
-            type states = {
-                readonly 'location': states.location;
-                readonly 'dictionary': states.dictionary;
-            };
-        }
-        type state_group = {
-            readonly 'definition': state_group.definition;
-            readonly 'states': state_group.states;
-        };
-        type text = null;
-    }
-    type state_group = readonly ['boolean', state_group._boolean] | readonly ['component', state_group.component] | readonly ['dictionary', state_group.dictionary] | readonly ['group', state_group.group] | readonly ['list', state_group.list] | readonly ['nothing', state_group.nothing] | readonly ['number', state_group._number] | readonly ['optional', state_group.optional] | readonly ['reference', state_group.reference] | readonly ['state group', state_group.state_group] | readonly ['text', state_group.text];
-}
-export type Node_Resolver_ = {
-    readonly 'location': Node_Resolver_.location;
-    readonly 'state group': Node_Resolver_.state_group;
-};
-export declare namespace Guaranteed_Value_Selection_ {
-    namespace start {
-        type location = i__location.Location;
-        namespace state_group {
-            namespace sibling {
-                type location = i__location.Location;
-                type key = string;
-            }
-            type sibling = {
-                readonly 'location': sibling.location;
-                readonly 'key': sibling.key;
-            };
-            namespace parent_sibling {
-                type location = i__location.Location;
-                type key = string;
-            }
-            type parent_sibling = {
-                readonly 'location': parent_sibling.location;
-                readonly 'key': parent_sibling.key;
-            };
-            namespace option_constraint {
-                type location = i__location.Location;
-                type key = string;
-            }
-            type option_constraint = {
-                readonly 'location': option_constraint.location;
-                readonly 'key': option_constraint.key;
-            };
-            type list_cursor = null;
-            type linked_entry = null;
-            namespace constraint {
-                type location = i__location.Location;
-                namespace state_group {
-                    namespace component {
-                        namespace property {
-                            type location = i__location.Location;
-                            type key = string;
-                        }
-                        type property = {
-                            readonly 'location': property.location;
-                            readonly 'key': property.key;
-                        };
-                        namespace constraint {
-                            type location = i__location.Location;
-                            type key = string;
-                        }
-                        type constraint = {
-                            readonly 'location': constraint.location;
-                            readonly 'key': constraint.key;
-                        };
-                    }
-                    type component = {
-                        readonly 'property': component.property;
-                        readonly 'constraint': component.constraint;
-                    };
-                    namespace reference {
-                        namespace property {
-                            type location = i__location.Location;
-                            type key = string;
-                        }
-                        type property = {
-                            readonly 'location': property.location;
-                            readonly 'key': property.key;
-                        };
-                        namespace constraint {
-                            type location = i__location.Location;
-                            type key = string;
-                        }
-                        type constraint = {
-                            readonly 'location': constraint.location;
-                            readonly 'key': constraint.key;
-                        };
-                    }
-                    type reference = {
-                        readonly 'property': reference.property;
-                        readonly 'constraint': reference.constraint;
-                    };
-                }
-                type state_group = readonly ['component', state_group.component] | readonly ['reference', state_group.reference];
-            }
-            type constraint = {
-                readonly 'location': constraint.location;
-                readonly 'state group': constraint.state_group;
-            };
-            namespace parameter {
-                type location = i__location.Location;
-                type key = string;
-            }
-            type parameter = {
-                readonly 'location': parameter.location;
-                readonly 'key': parameter.key;
-            };
-            namespace result {
-                type location = i__location.Location;
-                namespace state_group {
-                    namespace list {
-                        namespace property {
-                            type location = i__location.Location;
-                            type key = string;
-                        }
-                        type property = {
-                            readonly 'location': property.location;
-                            readonly 'key': property.key;
-                        };
-                        type list_result = null;
-                    }
-                    type list = {
-                        readonly 'property': list.property;
-                        readonly 'list result': list.list_result;
-                    };
-                    namespace state_group {
-                        namespace property {
-                            type location = i__location.Location;
-                            type key = string;
-                        }
-                        type property = {
-                            readonly 'location': property.location;
-                            readonly 'key': property.key;
-                        };
-                        type state_group = null;
-                        type result = Type_Reference_;
-                    }
-                    type state_group = {
-                        readonly 'property': state_group.property;
-                        readonly 'state group': state_group.state_group;
-                        readonly 'result': state_group.result;
-                    };
-                    namespace optional_value {
-                        namespace property {
-                            type location = i__location.Location;
-                            type key = string;
-                        }
-                        type property = {
-                            readonly 'location': property.location;
-                            readonly 'key': property.key;
-                        };
-                        type optional_value = null;
-                        type result = Type_Reference_;
-                    }
-                    type optional_value = {
-                        readonly 'property': optional_value.property;
-                        readonly 'optional value': optional_value.optional_value;
-                        readonly 'result': optional_value.result;
-                    };
-                }
-                type state_group = readonly ['list', state_group.list] | readonly ['state group', state_group.state_group] | readonly ['optional value', state_group.optional_value];
-            }
-            type result = {
-                readonly 'location': result.location;
-                readonly 'state group': result.state_group;
-            };
-        }
-        type state_group = readonly ['sibling', state_group.sibling] | readonly ['parent sibling', state_group.parent_sibling] | readonly ['option constraint', state_group.option_constraint] | readonly ['list cursor', state_group.list_cursor] | readonly ['linked entry', state_group.linked_entry] | readonly ['constraint', state_group.constraint] | readonly ['parameter', state_group.parameter] | readonly ['result', state_group.result];
-    }
-    type start = {
-        readonly 'location': start.location;
-        readonly 'state group': start.state_group;
-    };
-    type tail = Relative_Value_Selection_;
-    type resulting_node = null;
-}
-export type Guaranteed_Value_Selection_ = {
-    readonly 'start': Guaranteed_Value_Selection_.start;
-    readonly 'tail': Guaranteed_Value_Selection_.tail;
-    readonly 'resulting node': Guaranteed_Value_Selection_.resulting_node;
-};
-export declare namespace Possible_Value_Selection_ {
-    type location = i__location.Location;
-    namespace state_group {
-        namespace parameter {
-            type location = i__location.Location;
-            type key = string;
-        }
-        type parameter = {
-            readonly 'location': parameter.location;
-            readonly 'key': parameter.key;
-        };
-        namespace result {
-            type location = i__location.Location;
-            namespace state_group {
-                namespace state_group {
-                    namespace property {
-                        type location = i__location.Location;
-                        type key = string;
-                    }
-                    type property = {
-                        readonly 'location': property.location;
-                        readonly 'key': property.key;
-                    };
-                    type state_group = null;
-                    type result = Type_Reference_;
-                }
-                type state_group = {
-                    readonly 'property': state_group.property;
-                    readonly 'state group': state_group.state_group;
-                    readonly 'result': state_group.result;
-                };
-                namespace optional_value {
-                    namespace property {
-                        type location = i__location.Location;
-                        type key = string;
-                    }
-                    type property = {
-                        readonly 'location': property.location;
-                        readonly 'key': property.key;
-                    };
-                    type optional_value = null;
-                    type result = Type_Reference_;
-                }
-                type optional_value = {
-                    readonly 'property': optional_value.property;
-                    readonly 'optional value': optional_value.optional_value;
-                    readonly 'result': optional_value.result;
-                };
-            }
-            type state_group = readonly ['state group', state_group.state_group] | readonly ['optional value', state_group.optional_value];
-        }
-        type result = {
-            readonly 'location': result.location;
-            readonly 'state group': result.state_group;
-        };
-    }
-    type state_group = readonly ['parameter', state_group.parameter] | readonly ['result', state_group.result];
-}
-export type Possible_Value_Selection_ = {
-    readonly 'location': Possible_Value_Selection_.location;
-    readonly 'state group': Possible_Value_Selection_.state_group;
-};
-export { Text_Type_ as Text_Type, Number_Type_ as Number_Type, Globals_ as Globals, Type_Parameters_ as Type_Parameters, Type_ as Type, Types_ as Types, Resolve_Logic_ as Resolve_Logic, Schema_ as Schema, Schema_Tree_ as Schema_Tree, Type_Specification_ as Type_Specification, Schemas_ as Schemas, Imports_ as Imports, Presence_ as Presence, Dictionary_ as Dictionary, Signatures_ as Signatures, Resolvers_ as Resolvers, Group_ as Group, Type_Node_ as Type_Node, Type_Reference_ as Type_Reference, Type_Node_Reference_ as Type_Node_Reference, Signature_Parameters_ as Signature_Parameters, Signature_ as Signature, Relative_Value_Selection_ as Relative_Value_Selection, Lookup_Selection_ as Lookup_Selection, Constraint_ as Constraint, Option_Constraints_ as Option_Constraints, Property_Constraints_ as Property_Constraints, Reference_To_Property_Constraint_ as Reference_To_Property_Constraint, Property_Constraint_ as Property_Constraint, Optional_Value_Initialization_ as Optional_Value_Initialization, Node_Resolver_Group_ as Node_Resolver_Group, Node_Resolver_List_Result_ as Node_Resolver_List_Result, Benchmark_ as Benchmark, Node_Resolver_ as Node_Resolver, Guaranteed_Value_Selection_ as Guaranteed_Value_Selection, Possible_Value_Selection_ as Possible_Value_Selection, };