pareto-liana 0.0.0

package/dist/interface/generated/pareto/schemas/schema/resolve.d.ts

@@ -0,0 +1,843 @@
+import * as _pi from "pareto-core-interface";
+import * as i_resolved from "./data/resolved";
+import * as i_unresolved from "./data/unresolved";
+export declare namespace Type_Parameters_ {
+    type I = i_unresolved.Type_Parameters;
+    type O = i_resolved.Type_Parameters;
+    namespace P {
+    }
+}
+export type Type_Parameters_ = ($$_: Type_Parameters_.I, $$_lookups: null, $$_p: null) => Type_Parameters_.O;
+export declare namespace Presence_ {
+    type I = i_unresolved.Presence;
+    type O = i_resolved.Presence;
+    namespace P {
+    }
+}
+export type Presence_ = ($$_: Presence_.I, $$_lookups: null, $$_p: null) => Presence_.O;
+export declare namespace Number_Type_ {
+    type I = i_unresolved.Number_Type;
+    type O = i_resolved.Number_Type;
+    namespace P {
+    }
+}
+export type Number_Type_ = ($$_: Number_Type_.I, $$_lookups: null, $$_p: null) => Number_Type_.O;
+export declare namespace Text_Type_ {
+    type I = i_unresolved.Text_Type;
+    type O = i_resolved.Text_Type;
+    namespace P {
+    }
+}
+export type Text_Type_ = ($$_: Text_Type_.I, $$_lookups: null, $$_p: null) => Text_Type_.O;
+export declare namespace Globals_ {
+    type I = i_unresolved.Globals;
+    type O = i_resolved.Globals;
+    namespace P {
+    }
+}
+export type Globals_ = ($$_: Globals_.I, $$_lookups: null, $$_p: null) => Globals_.O;
+export declare namespace Group_ {
+    type I = i_unresolved.Group;
+    type O = i_resolved.Group;
+    namespace L {
+        type noncircular_sibling_types = i_resolved.Types_.D;
+    }
+    namespace L {
+        type possibly_circular_dependent_sibling_types = i_resolved.Types_.D;
+    }
+    namespace P {
+        namespace globals {
+            type O = i_resolved.Globals_;
+        }
+        type globals = _pi.Optional_Value<globals.O>;
+        type type_parameters = i_resolved.Type_Parameters_;
+        namespace imports {
+            type O = i_resolved.Imports_;
+        }
+        type imports = _pi.Optional_Value<imports.O>;
+    }
+}
+export type Group_ = ($$_: Group_.I, $$_lookups: {
+    readonly 'noncircular sibling types': _pi.Acyclic_Lookup<Group_.L.noncircular_sibling_types>;
+    readonly 'possibly circular dependent sibling types': _pi.Cyclic_Lookup<Group_.L.possibly_circular_dependent_sibling_types>;
+}, $$_p: {
+    readonly 'globals': Group_.P.globals;
+    readonly 'type parameters': Group_.P.type_parameters;
+    readonly 'imports': Group_.P.imports;
+}) => Group_.O;
+export declare namespace Dictionary_ {
+    type I = i_unresolved.Dictionary;
+    type O = i_resolved.Dictionary;
+    namespace L {
+        type noncircular_sibling_types = i_resolved.Types_.D;
+    }
+    namespace L {
+        type possibly_circular_dependent_sibling_types = i_resolved.Types_.D;
+    }
+    namespace P {
+        namespace globals {
+            type O = i_resolved.Globals_;
+        }
+        type globals = _pi.Optional_Value<globals.O>;
+        type type_parameters = i_resolved.Type_Parameters_;
+        namespace imports {
+            type O = i_resolved.Imports_;
+        }
+        type imports = _pi.Optional_Value<imports.O>;
+    }
+}
+export type Dictionary_ = ($$_: Dictionary_.I, $$_lookups: {
+    readonly 'noncircular sibling types': _pi.Acyclic_Lookup<Dictionary_.L.noncircular_sibling_types>;
+    readonly 'possibly circular dependent sibling types': _pi.Cyclic_Lookup<Dictionary_.L.possibly_circular_dependent_sibling_types>;
+}, $$_p: {
+    readonly 'globals': Dictionary_.P.globals;
+    readonly 'type parameters': Dictionary_.P.type_parameters;
+    readonly 'imports': Dictionary_.P.imports;
+}) => Dictionary_.O;
+export declare namespace Type_Node_ {
+    type I = i_unresolved.Type_Node;
+    type O = i_resolved.Type_Node;
+    namespace L {
+        type noncircular_sibling_types = i_resolved.Types_.D;
+    }
+    namespace L {
+        type possibly_circular_dependent_sibling_types = i_resolved.Types_.D;
+    }
+    namespace P {
+        namespace globals {
+            type O = i_resolved.Globals_;
+        }
+        type globals = _pi.Optional_Value<globals.O>;
+        type type_parameters = i_resolved.Type_Parameters_;
+        namespace imports {
+            type O = i_resolved.Imports_;
+        }
+        type imports = _pi.Optional_Value<imports.O>;
+    }
+}
+export type Type_Node_ = ($$_: Type_Node_.I, $$_lookups: {
+    readonly 'noncircular sibling types': _pi.Acyclic_Lookup<Type_Node_.L.noncircular_sibling_types>;
+    readonly 'possibly circular dependent sibling types': _pi.Cyclic_Lookup<Type_Node_.L.possibly_circular_dependent_sibling_types>;
+}, $$_p: {
+    readonly 'globals': Type_Node_.P.globals;
+    readonly 'type parameters': Type_Node_.P.type_parameters;
+    readonly 'imports': Type_Node_.P.imports;
+}) => Type_Node_.O;
+export declare namespace Type_ {
+    type I = i_unresolved.Type;
+    type O = i_resolved.Type;
+    namespace L {
+        type noncircular_sibling_types = i_resolved.Types_.D;
+    }
+    namespace L {
+        type possibly_circular_dependent_sibling_types = i_resolved.Types_.D;
+    }
+    namespace P {
+        namespace globals {
+            type O = i_resolved.Globals_;
+        }
+        type globals = _pi.Optional_Value<globals.O>;
+        namespace imports {
+            type O = i_resolved.Imports_;
+        }
+        type imports = _pi.Optional_Value<imports.O>;
+    }
+}
+export type Type_ = ($$_: Type_.I, $$_lookups: {
+    readonly 'noncircular sibling types': _pi.Acyclic_Lookup<Type_.L.noncircular_sibling_types>;
+    readonly 'possibly circular dependent sibling types': _pi.Cyclic_Lookup<Type_.L.possibly_circular_dependent_sibling_types>;
+}, $$_p: {
+    readonly 'globals': Type_.P.globals;
+    readonly 'imports': Type_.P.imports;
+}) => Type_.O;
+export declare namespace Type_Reference_ {
+    type I = i_unresolved.Type_Reference;
+    type O = i_resolved.Type_Reference;
+    namespace L {
+        type types = i_resolved.Types_.D;
+    }
+    namespace P {
+        namespace imports {
+            type O = i_resolved.Imports_;
+        }
+        type imports = _pi.Optional_Value<imports.O>;
+    }
+}
+export type Type_Reference_ = ($$_: Type_Reference_.I, $$_lookups: {
+    readonly 'types': _pi.Acyclic_Lookup<Type_Reference_.L.types>;
+}, $$_p: {
+    readonly 'imports': Type_Reference_.P.imports;
+}) => Type_Reference_.O;
+export declare namespace Type_Node_Reference_ {
+    type I = i_unresolved.Type_Node_Reference;
+    type O = i_resolved.Type_Node_Reference;
+    namespace L {
+        type types = i_resolved.Types_.D;
+    }
+    namespace P {
+        namespace imports {
+            type O = i_resolved.Imports_;
+        }
+        type imports = _pi.Optional_Value<imports.O>;
+    }
+}
+export type Type_Node_Reference_ = ($$_: Type_Node_Reference_.I, $$_lookups: {
+    readonly 'types': _pi.Acyclic_Lookup<Type_Node_Reference_.L.types>;
+}, $$_p: {
+    readonly 'imports': Type_Node_Reference_.P.imports;
+}) => Type_Node_Reference_.O;
+export declare namespace Node_Resolver_ {
+    type I = i_unresolved.Node_Resolver;
+    type O = i_resolved.Node_Resolver;
+    namespace L {
+        type sibling_property_resolvers = i_resolved.Node_Resolver_Group_.D;
+    }
+    namespace L {
+        type parent_sibling_property_resolvers = i_resolved.Node_Resolver_Group_.D;
+    }
+    namespace P {
+        type definition = i_resolved.Type_Node_;
+        namespace list_cursor {
+            type O = i_resolved.Node_Resolver_List_Result_;
+        }
+        type list_cursor = _pi.Optional_Value<list_cursor.O>;
+        namespace linked_entry {
+            type O = i_resolved.Benchmark_;
+        }
+        type linked_entry = _pi.Optional_Value<linked_entry.O>;
+        namespace current_dictionary {
+            type O = i_resolved.Dictionary_;
+        }
+        type current_dictionary = _pi.Optional_Value<current_dictionary.O>;
+        namespace current_ordered_dictionary {
+            type O = i_resolved.Dictionary_;
+        }
+        type current_ordered_dictionary = _pi.Optional_Value<current_ordered_dictionary.O>;
+        type signature = i_resolved.Signature_;
+        namespace imports {
+            type O = i_resolved.Imports_;
+        }
+        type imports = _pi.Optional_Value<imports.O>;
+        type signatures = i_resolved.Signatures_;
+        type types = i_resolved.Types_;
+        namespace option_constraints {
+            type O = i_resolved.Option_Constraints_;
+        }
+        type option_constraints = _pi.Optional_Value<option_constraints.O>;
+    }
+}
+export type Node_Resolver_ = ($$_: Node_Resolver_.I, $$_lookups: {
+    readonly 'sibling property resolvers': _pi.Acyclic_Lookup<Node_Resolver_.L.sibling_property_resolvers>;
+    readonly 'parent sibling property resolvers': _pi.Acyclic_Lookup<Node_Resolver_.L.parent_sibling_property_resolvers>;
+}, $$_p: {
+    readonly 'definition': Node_Resolver_.P.definition;
+    readonly 'list cursor': Node_Resolver_.P.list_cursor;
+    readonly 'linked entry': Node_Resolver_.P.linked_entry;
+    readonly 'current dictionary': Node_Resolver_.P.current_dictionary;
+    readonly 'current ordered dictionary': Node_Resolver_.P.current_ordered_dictionary;
+    readonly 'signature': Node_Resolver_.P.signature;
+    readonly 'imports': Node_Resolver_.P.imports;
+    readonly 'signatures': Node_Resolver_.P.signatures;
+    readonly 'types': Node_Resolver_.P.types;
+    readonly 'option constraints': Node_Resolver_.P.option_constraints;
+}) => Node_Resolver_.O;
+export declare namespace Possible_Value_Selection_ {
+    type I = i_unresolved.Possible_Value_Selection;
+    type O = i_resolved.Possible_Value_Selection;
+    namespace L {
+        type sibling_property_resolvers = i_resolved.Node_Resolver_Group_.D;
+    }
+    namespace L {
+        type parent_sibling_property_resolvers = i_resolved.Node_Resolver_Group_.D;
+    }
+    namespace P {
+        type definition = i_resolved.Type_Node_;
+        namespace list_cursor {
+            type O = i_resolved.Node_Resolver_List_Result_;
+        }
+        type list_cursor = _pi.Optional_Value<list_cursor.O>;
+        namespace linked_entry {
+            type O = i_resolved.Benchmark_;
+        }
+        type linked_entry = _pi.Optional_Value<linked_entry.O>;
+        namespace current_dictionary {
+            type O = i_resolved.Dictionary_;
+        }
+        type current_dictionary = _pi.Optional_Value<current_dictionary.O>;
+        namespace current_ordered_dictionary {
+            type O = i_resolved.Dictionary_;
+        }
+        type current_ordered_dictionary = _pi.Optional_Value<current_ordered_dictionary.O>;
+        type signature = i_resolved.Signature_;
+        namespace imports {
+            type O = i_resolved.Imports_;
+        }
+        type imports = _pi.Optional_Value<imports.O>;
+        type signatures = i_resolved.Signatures_;
+        type types = i_resolved.Types_;
+        namespace option_constraints {
+            type O = i_resolved.Option_Constraints_;
+        }
+        type option_constraints = _pi.Optional_Value<option_constraints.O>;
+    }
+}
+export type Possible_Value_Selection_ = ($$_: Possible_Value_Selection_.I, $$_lookups: {
+    readonly 'sibling property resolvers': _pi.Acyclic_Lookup<Possible_Value_Selection_.L.sibling_property_resolvers>;
+    readonly 'parent sibling property resolvers': _pi.Acyclic_Lookup<Possible_Value_Selection_.L.parent_sibling_property_resolvers>;
+}, $$_p: {
+    readonly 'definition': Possible_Value_Selection_.P.definition;
+    readonly 'list cursor': Possible_Value_Selection_.P.list_cursor;
+    readonly 'linked entry': Possible_Value_Selection_.P.linked_entry;
+    readonly 'current dictionary': Possible_Value_Selection_.P.current_dictionary;
+    readonly 'current ordered dictionary': Possible_Value_Selection_.P.current_ordered_dictionary;
+    readonly 'signature': Possible_Value_Selection_.P.signature;
+    readonly 'imports': Possible_Value_Selection_.P.imports;
+    readonly 'signatures': Possible_Value_Selection_.P.signatures;
+    readonly 'types': Possible_Value_Selection_.P.types;
+    readonly 'option constraints': Possible_Value_Selection_.P.option_constraints;
+}) => Possible_Value_Selection_.O;
+export declare namespace Guaranteed_Value_Selection_ {
+    type I = i_unresolved.Guaranteed_Value_Selection;
+    type O = i_resolved.Guaranteed_Value_Selection;
+    namespace L {
+        type sibling_property_resolvers = i_resolved.Node_Resolver_Group_.D;
+    }
+    namespace L {
+        type parent_sibling_property_resolvers = i_resolved.Node_Resolver_Group_.D;
+    }
+    namespace P {
+        type definition = i_resolved.Type_Node_;
+        namespace list_cursor {
+            type O = i_resolved.Node_Resolver_List_Result_;
+        }
+        type list_cursor = _pi.Optional_Value<list_cursor.O>;
+        namespace linked_entry {
+            type O = i_resolved.Benchmark_;
+        }
+        type linked_entry = _pi.Optional_Value<linked_entry.O>;
+        namespace current_dictionary {
+            type O = i_resolved.Dictionary_;
+        }
+        type current_dictionary = _pi.Optional_Value<current_dictionary.O>;
+        namespace current_ordered_dictionary {
+            type O = i_resolved.Dictionary_;
+        }
+        type current_ordered_dictionary = _pi.Optional_Value<current_ordered_dictionary.O>;
+        type signature = i_resolved.Signature_;
+        namespace imports {
+            type O = i_resolved.Imports_;
+        }
+        type imports = _pi.Optional_Value<imports.O>;
+        type signatures = i_resolved.Signatures_;
+        type types = i_resolved.Types_;
+        namespace option_constraints {
+            type O = i_resolved.Option_Constraints_;
+        }
+        type option_constraints = _pi.Optional_Value<option_constraints.O>;
+    }
+}
+export type Guaranteed_Value_Selection_ = ($$_: Guaranteed_Value_Selection_.I, $$_lookups: {
+    readonly 'sibling property resolvers': _pi.Acyclic_Lookup<Guaranteed_Value_Selection_.L.sibling_property_resolvers>;
+    readonly 'parent sibling property resolvers': _pi.Acyclic_Lookup<Guaranteed_Value_Selection_.L.parent_sibling_property_resolvers>;
+}, $$_p: {
+    readonly 'definition': Guaranteed_Value_Selection_.P.definition;
+    readonly 'list cursor': Guaranteed_Value_Selection_.P.list_cursor;
+    readonly 'linked entry': Guaranteed_Value_Selection_.P.linked_entry;
+    readonly 'current dictionary': Guaranteed_Value_Selection_.P.current_dictionary;
+    readonly 'current ordered dictionary': Guaranteed_Value_Selection_.P.current_ordered_dictionary;
+    readonly 'signature': Guaranteed_Value_Selection_.P.signature;
+    readonly 'imports': Guaranteed_Value_Selection_.P.imports;
+    readonly 'signatures': Guaranteed_Value_Selection_.P.signatures;
+    readonly 'types': Guaranteed_Value_Selection_.P.types;
+    readonly 'option constraints': Guaranteed_Value_Selection_.P.option_constraints;
+}) => Guaranteed_Value_Selection_.O;
+export declare namespace Benchmark_ {
+    type I = i_unresolved.Benchmark;
+    type O = i_resolved.Benchmark;
+    namespace L {
+        type sibling_property_resolvers = i_resolved.Node_Resolver_Group_.D;
+    }
+    namespace L {
+        type parent_sibling_property_resolvers = i_resolved.Node_Resolver_Group_.D;
+    }
+    namespace P {
+        type definition = i_resolved.Type_Node_;
+        namespace list_cursor {
+            type O = i_resolved.Node_Resolver_List_Result_;
+        }
+        type list_cursor = _pi.Optional_Value<list_cursor.O>;
+        namespace linked_entry {
+            type O = i_resolved.Benchmark_;
+        }
+        type linked_entry = _pi.Optional_Value<linked_entry.O>;
+        namespace current_dictionary {
+            type O = i_resolved.Dictionary_;
+        }
+        type current_dictionary = _pi.Optional_Value<current_dictionary.O>;
+        namespace current_ordered_dictionary {
+            type O = i_resolved.Dictionary_;
+        }
+        type current_ordered_dictionary = _pi.Optional_Value<current_ordered_dictionary.O>;
+        type signature = i_resolved.Signature_;
+        namespace imports {
+            type O = i_resolved.Imports_;
+        }
+        type imports = _pi.Optional_Value<imports.O>;
+        type signatures = i_resolved.Signatures_;
+        type types = i_resolved.Types_;
+        namespace option_constraints {
+            type O = i_resolved.Option_Constraints_;
+        }
+        type option_constraints = _pi.Optional_Value<option_constraints.O>;
+    }
+}
+export type Benchmark_ = ($$_: Benchmark_.I, $$_lookups: {
+    readonly 'sibling property resolvers': _pi.Acyclic_Lookup<Benchmark_.L.sibling_property_resolvers>;
+    readonly 'parent sibling property resolvers': _pi.Acyclic_Lookup<Benchmark_.L.parent_sibling_property_resolvers>;
+}, $$_p: {
+    readonly 'definition': Benchmark_.P.definition;
+    readonly 'list cursor': Benchmark_.P.list_cursor;
+    readonly 'linked entry': Benchmark_.P.linked_entry;
+    readonly 'current dictionary': Benchmark_.P.current_dictionary;
+    readonly 'current ordered dictionary': Benchmark_.P.current_ordered_dictionary;
+    readonly 'signature': Benchmark_.P.signature;
+    readonly 'imports': Benchmark_.P.imports;
+    readonly 'signatures': Benchmark_.P.signatures;
+    readonly 'types': Benchmark_.P.types;
+    readonly 'option constraints': Benchmark_.P.option_constraints;
+}) => Benchmark_.O;
+export declare namespace Optional_Value_Initialization_ {
+    type I = i_unresolved.Optional_Value_Initialization;
+    type O = i_resolved.Optional_Value_Initialization;
+    namespace L {
+        type sibling_property_resolvers = i_resolved.Node_Resolver_Group_.D;
+    }
+    namespace L {
+        type parent_sibling_property_resolvers = i_resolved.Node_Resolver_Group_.D;
+    }
+    namespace P {
+        type definition = i_resolved.Type_Node_;
+        namespace list_cursor {
+            type O = i_resolved.Node_Resolver_List_Result_;
+        }
+        type list_cursor = _pi.Optional_Value<list_cursor.O>;
+        namespace linked_entry {
+            type O = i_resolved.Benchmark_;
+        }
+        type linked_entry = _pi.Optional_Value<linked_entry.O>;
+        namespace current_dictionary {
+            type O = i_resolved.Dictionary_;
+        }
+        type current_dictionary = _pi.Optional_Value<current_dictionary.O>;
+        namespace current_ordered_dictionary {
+            type O = i_resolved.Dictionary_;
+        }
+        type current_ordered_dictionary = _pi.Optional_Value<current_ordered_dictionary.O>;
+        type signature = i_resolved.Signature_;
+        namespace imports {
+            type O = i_resolved.Imports_;
+        }
+        type imports = _pi.Optional_Value<imports.O>;
+        type signatures = i_resolved.Signatures_;
+        type types = i_resolved.Types_;
+        namespace option_constraints {
+            type O = i_resolved.Option_Constraints_;
+        }
+        type option_constraints = _pi.Optional_Value<option_constraints.O>;
+    }
+}
+export type Optional_Value_Initialization_ = ($$_: Optional_Value_Initialization_.I, $$_lookups: {
+    readonly 'sibling property resolvers': _pi.Acyclic_Lookup<Optional_Value_Initialization_.L.sibling_property_resolvers>;
+    readonly 'parent sibling property resolvers': _pi.Acyclic_Lookup<Optional_Value_Initialization_.L.parent_sibling_property_resolvers>;
+}, $$_p: {
+    readonly 'definition': Optional_Value_Initialization_.P.definition;
+    readonly 'list cursor': Optional_Value_Initialization_.P.list_cursor;
+    readonly 'linked entry': Optional_Value_Initialization_.P.linked_entry;
+    readonly 'current dictionary': Optional_Value_Initialization_.P.current_dictionary;
+    readonly 'current ordered dictionary': Optional_Value_Initialization_.P.current_ordered_dictionary;
+    readonly 'signature': Optional_Value_Initialization_.P.signature;
+    readonly 'imports': Optional_Value_Initialization_.P.imports;
+    readonly 'signatures': Optional_Value_Initialization_.P.signatures;
+    readonly 'types': Optional_Value_Initialization_.P.types;
+    readonly 'option constraints': Optional_Value_Initialization_.P.option_constraints;
+}) => Optional_Value_Initialization_.O;
+export declare namespace Lookup_Selection_ {
+    type I = i_unresolved.Lookup_Selection;
+    type O = i_resolved.Lookup_Selection;
+    namespace L {
+        type sibling_property_resolvers = i_resolved.Node_Resolver_Group_.D;
+    }
+    namespace L {
+        type parent_sibling_property_resolvers = i_resolved.Node_Resolver_Group_.D;
+    }
+    namespace P {
+        type definition = i_resolved.Type_Node_;
+        namespace list_cursor {
+            type O = i_resolved.Node_Resolver_List_Result_;
+        }
+        type list_cursor = _pi.Optional_Value<list_cursor.O>;
+        namespace linked_entry {
+            type O = i_resolved.Benchmark_;
+        }
+        type linked_entry = _pi.Optional_Value<linked_entry.O>;
+        namespace current_dictionary {
+            type O = i_resolved.Dictionary_;
+        }
+        type current_dictionary = _pi.Optional_Value<current_dictionary.O>;
+        namespace current_ordered_dictionary {
+            type O = i_resolved.Dictionary_;
+        }
+        type current_ordered_dictionary = _pi.Optional_Value<current_ordered_dictionary.O>;
+        type signature = i_resolved.Signature_;
+        namespace imports {
+            type O = i_resolved.Imports_;
+        }
+        type imports = _pi.Optional_Value<imports.O>;
+        type signatures = i_resolved.Signatures_;
+        type types = i_resolved.Types_;
+        namespace option_constraints {
+            type O = i_resolved.Option_Constraints_;
+        }
+        type option_constraints = _pi.Optional_Value<option_constraints.O>;
+    }
+}
+export type Lookup_Selection_ = ($$_: Lookup_Selection_.I, $$_lookups: {
+    readonly 'sibling property resolvers': _pi.Acyclic_Lookup<Lookup_Selection_.L.sibling_property_resolvers>;
+    readonly 'parent sibling property resolvers': _pi.Acyclic_Lookup<Lookup_Selection_.L.parent_sibling_property_resolvers>;
+}, $$_p: {
+    readonly 'definition': Lookup_Selection_.P.definition;
+    readonly 'list cursor': Lookup_Selection_.P.list_cursor;
+    readonly 'linked entry': Lookup_Selection_.P.linked_entry;
+    readonly 'current dictionary': Lookup_Selection_.P.current_dictionary;
+    readonly 'current ordered dictionary': Lookup_Selection_.P.current_ordered_dictionary;
+    readonly 'signature': Lookup_Selection_.P.signature;
+    readonly 'imports': Lookup_Selection_.P.imports;
+    readonly 'signatures': Lookup_Selection_.P.signatures;
+    readonly 'types': Lookup_Selection_.P.types;
+    readonly 'option constraints': Lookup_Selection_.P.option_constraints;
+}) => Lookup_Selection_.O;
+export declare namespace Option_Constraints_ {
+    type I = i_unresolved.Option_Constraints;
+    type O = i_resolved.Option_Constraints;
+    namespace L {
+        type sibling_property_resolvers = i_resolved.Node_Resolver_Group_.D;
+    }
+    namespace L {
+        type parent_sibling_property_resolvers = i_resolved.Node_Resolver_Group_.D;
+    }
+    namespace P {
+        type definition = i_resolved.Type_Node_;
+        namespace list_cursor {
+            type O = i_resolved.Node_Resolver_List_Result_;
+        }
+        type list_cursor = _pi.Optional_Value<list_cursor.O>;
+        namespace linked_entry {
+            type O = i_resolved.Benchmark_;
+        }
+        type linked_entry = _pi.Optional_Value<linked_entry.O>;
+        namespace current_dictionary {
+            type O = i_resolved.Dictionary_;
+        }
+        type current_dictionary = _pi.Optional_Value<current_dictionary.O>;
+        namespace current_ordered_dictionary {
+            type O = i_resolved.Dictionary_;
+        }
+        type current_ordered_dictionary = _pi.Optional_Value<current_ordered_dictionary.O>;
+        type signature = i_resolved.Signature_;
+        namespace imports {
+            type O = i_resolved.Imports_;
+        }
+        type imports = _pi.Optional_Value<imports.O>;
+        type signatures = i_resolved.Signatures_;
+        type types = i_resolved.Types_;
+        namespace option_constraints {
+            type O = i_resolved.Option_Constraints_;
+        }
+        type option_constraints = _pi.Optional_Value<option_constraints.O>;
+    }
+}
+export type Option_Constraints_ = ($$_: Option_Constraints_.I, $$_lookups: {
+    readonly 'sibling property resolvers': _pi.Acyclic_Lookup<Option_Constraints_.L.sibling_property_resolvers>;
+    readonly 'parent sibling property resolvers': _pi.Acyclic_Lookup<Option_Constraints_.L.parent_sibling_property_resolvers>;
+}, $$_p: {
+    readonly 'definition': Option_Constraints_.P.definition;
+    readonly 'list cursor': Option_Constraints_.P.list_cursor;
+    readonly 'linked entry': Option_Constraints_.P.linked_entry;
+    readonly 'current dictionary': Option_Constraints_.P.current_dictionary;
+    readonly 'current ordered dictionary': Option_Constraints_.P.current_ordered_dictionary;
+    readonly 'signature': Option_Constraints_.P.signature;
+    readonly 'imports': Option_Constraints_.P.imports;
+    readonly 'signatures': Option_Constraints_.P.signatures;
+    readonly 'types': Option_Constraints_.P.types;
+    readonly 'option constraints': Option_Constraints_.P.option_constraints;
+}) => Option_Constraints_.O;
+export declare namespace Node_Resolver_List_Result_ {
+    type I = i_unresolved.Node_Resolver_List_Result;
+    type O = i_resolved.Node_Resolver_List_Result;
+    namespace L {
+        type types = i_resolved.Types_.D;
+    }
+    namespace P {
+        namespace imports {
+            type O = i_resolved.Imports_;
+        }
+        type imports = _pi.Optional_Value<imports.O>;
+    }
+}
+export type Node_Resolver_List_Result_ = ($$_: Node_Resolver_List_Result_.I, $$_lookups: {
+    readonly 'types': _pi.Acyclic_Lookup<Node_Resolver_List_Result_.L.types>;
+}, $$_p: {
+    readonly 'imports': Node_Resolver_List_Result_.P.imports;
+}) => Node_Resolver_List_Result_.O;
+export declare namespace Node_Resolver_Group_ {
+    type I = i_unresolved.Node_Resolver_Group;
+    type O = i_resolved.Node_Resolver_Group;
+    namespace L {
+        type sibling_property_resolvers = i_resolved.Node_Resolver_Group_.D;
+    }
+    namespace L {
+        type parent_sibling_property_resolvers = i_resolved.Node_Resolver_Group_.D;
+    }
+    namespace P {
+        type definition = i_resolved.Group_;
+        namespace list_cursor {
+            type O = i_resolved.Node_Resolver_List_Result_;
+        }
+        type list_cursor = _pi.Optional_Value<list_cursor.O>;
+        namespace linked_entry {
+            type O = i_resolved.Benchmark_;
+        }
+        type linked_entry = _pi.Optional_Value<linked_entry.O>;
+        namespace current_dictionary {
+            type O = i_resolved.Dictionary_;
+        }
+        type current_dictionary = _pi.Optional_Value<current_dictionary.O>;
+        namespace current_ordered_dictionary {
+            type O = i_resolved.Dictionary_;
+        }
+        type current_ordered_dictionary = _pi.Optional_Value<current_ordered_dictionary.O>;
+        type signature = i_resolved.Signature_;
+        namespace imports {
+            type O = i_resolved.Imports_;
+        }
+        type imports = _pi.Optional_Value<imports.O>;
+        type signatures = i_resolved.Signatures_;
+        type types = i_resolved.Types_;
+        namespace option_constraints {
+            type O = i_resolved.Option_Constraints_;
+        }
+        type option_constraints = _pi.Optional_Value<option_constraints.O>;
+    }
+}
+export type Node_Resolver_Group_ = ($$_: Node_Resolver_Group_.I, $$_lookups: {
+    readonly 'sibling property resolvers': _pi.Acyclic_Lookup<Node_Resolver_Group_.L.sibling_property_resolvers>;
+    readonly 'parent sibling property resolvers': _pi.Acyclic_Lookup<Node_Resolver_Group_.L.parent_sibling_property_resolvers>;
+}, $$_p: {
+    readonly 'definition': Node_Resolver_Group_.P.definition;
+    readonly 'list cursor': Node_Resolver_Group_.P.list_cursor;
+    readonly 'linked entry': Node_Resolver_Group_.P.linked_entry;
+    readonly 'current dictionary': Node_Resolver_Group_.P.current_dictionary;
+    readonly 'current ordered dictionary': Node_Resolver_Group_.P.current_ordered_dictionary;
+    readonly 'signature': Node_Resolver_Group_.P.signature;
+    readonly 'imports': Node_Resolver_Group_.P.imports;
+    readonly 'signatures': Node_Resolver_Group_.P.signatures;
+    readonly 'types': Node_Resolver_Group_.P.types;
+    readonly 'option constraints': Node_Resolver_Group_.P.option_constraints;
+}) => Node_Resolver_Group_.O;
+export declare namespace Relative_Value_Selection_ {
+    type I = i_unresolved.Relative_Value_Selection;
+    type O = i_resolved.Relative_Value_Selection;
+    namespace P {
+        type node = i_resolved.Type_Node_;
+    }
+}
+export type Relative_Value_Selection_ = ($$_: Relative_Value_Selection_.I, $$_lookups: null, $$_p: {
+    readonly 'node': Relative_Value_Selection_.P.node;
+}) => Relative_Value_Selection_.O;
+export declare namespace Constraint_ {
+    type I = i_unresolved.Constraint;
+    type O = i_resolved.Constraint;
+    namespace P {
+        type node = i_resolved.Type_Node_;
+    }
+}
+export type Constraint_ = ($$_: Constraint_.I, $$_lookups: null, $$_p: {
+    readonly 'node': Constraint_.P.node;
+}) => Constraint_.O;
+export declare namespace Property_Constraints_ {
+    type I = i_unresolved.Property_Constraints;
+    type O = i_resolved.Property_Constraints;
+    namespace P {
+        type node = i_resolved.Type_Node_;
+    }
+}
+export type Property_Constraints_ = ($$_: Property_Constraints_.I, $$_lookups: null, $$_p: {
+    readonly 'node': Property_Constraints_.P.node;
+}) => Property_Constraints_.O;
+export declare namespace Property_Constraint_ {
+    type I = i_unresolved.Property_Constraint;
+    type O = i_resolved.Property_Constraint;
+    namespace L {
+        type property_constraints = i_resolved.Property_Constraints_.D;
+    }
+    namespace P {
+    }
+}
+export type Property_Constraint_ = ($$_: Property_Constraint_.I, $$_lookups: {
+    readonly 'property constraints': _pi.Acyclic_Lookup<Property_Constraint_.L.property_constraints>;
+}, $$_p: null) => Property_Constraint_.O;
+export declare namespace Resolve_Logic_ {
+    type I = i_unresolved.Resolve_Logic;
+    type O = i_resolved.Resolve_Logic;
+    namespace P {
+        type types = i_resolved.Types_;
+        type imports = i_resolved.Imports_;
+    }
+}
+export type Resolve_Logic_ = ($$_: Resolve_Logic_.I, $$_lookups: null, $$_p: {
+    readonly 'types': Resolve_Logic_.P.types;
+    readonly 'imports': Resolve_Logic_.P.imports;
+}) => Resolve_Logic_.O;
+export declare namespace Signature_Parameters_ {
+    type I = i_unresolved.Signature_Parameters;
+    type O = i_resolved.Signature_Parameters;
+    namespace P {
+        type types = i_resolved.Types_;
+        type imports = i_resolved.Imports_;
+    }
+}
+export type Signature_Parameters_ = ($$_: Signature_Parameters_.I, $$_lookups: null, $$_p: {
+    readonly 'types': Signature_Parameters_.P.types;
+    readonly 'imports': Signature_Parameters_.P.imports;
+}) => Signature_Parameters_.O;
+export declare namespace Signature_ {
+    type I = i_unresolved.Signature;
+    type O = i_resolved.Signature;
+    namespace L {
+        type sibling_signatures = i_resolved.Signatures_.D;
+    }
+    namespace P {
+        type types = i_resolved.Types_;
+        type _type = i_resolved.Type_;
+        type imports = i_resolved.Imports_;
+    }
+}
+export type Signature_ = ($$_: Signature_.I, $$_lookups: {
+    readonly 'sibling signatures': _pi.Acyclic_Lookup<Signature_.L.sibling_signatures>;
+}, $$_p: {
+    readonly 'types': Signature_.P.types;
+    readonly 'type': Signature_.P._type;
+    readonly 'imports': Signature_.P.imports;
+}) => Signature_.O;
+export declare namespace Signatures_ {
+    type I = i_unresolved.Signatures;
+    type O = i_resolved.Signatures;
+    namespace P {
+        type types = i_resolved.Types_;
+        type imports = i_resolved.Imports_;
+    }
+}
+export type Signatures_ = ($$_: Signatures_.I, $$_lookups: null, $$_p: {
+    readonly 'types': Signatures_.P.types;
+    readonly 'imports': Signatures_.P.imports;
+}) => Signatures_.O;
+export declare namespace Resolvers_ {
+    type I = i_unresolved.Resolvers;
+    type O = i_resolved.Resolvers;
+    namespace P {
+        type signatures = i_resolved.Signatures_;
+        type types = i_resolved.Types_;
+        type imports = i_resolved.Imports_;
+    }
+}
+export type Resolvers_ = ($$_: Resolvers_.I, $$_lookups: null, $$_p: {
+    readonly 'signatures': Resolvers_.P.signatures;
+    readonly 'types': Resolvers_.P.types;
+    readonly 'imports': Resolvers_.P.imports;
+}) => Resolvers_.O;
+export declare namespace Schemas_ {
+    type I = i_unresolved.Schemas;
+    type O = i_resolved.Schemas;
+    namespace L {
+        type sibling_schemas = i_resolved.Schemas_.D;
+    }
+    namespace P {
+    }
+}
+export type Schemas_ = ($$_: Schemas_.I, $$_lookups: {
+    readonly 'sibling schemas': _pi.Stack_Lookup<Schemas_.L.sibling_schemas>;
+}, $$_p: null) => Schemas_.O;
+export declare namespace Type_Specification_ {
+    type I = i_unresolved.Type_Specification;
+    type O = i_resolved.Type_Specification;
+    namespace P {
+    }
+}
+export type Type_Specification_ = ($$_: Type_Specification_.I, $$_lookups: null, $$_p: null) => Type_Specification_.O;
+export declare namespace Schema_Tree_ {
+    type I = i_unresolved.Schema_Tree;
+    type O = i_resolved.Schema_Tree;
+    namespace L {
+        type sibling_schemas = i_resolved.Schemas_.D;
+    }
+    namespace P {
+    }
+}
+export type Schema_Tree_ = ($$_: Schema_Tree_.I, $$_lookups: {
+    readonly 'sibling schemas': _pi.Stack_Lookup<Schema_Tree_.L.sibling_schemas>;
+}, $$_p: null) => Schema_Tree_.O;
+export declare namespace Schema_ {
+    type I = i_unresolved.Schema;
+    type O = i_resolved.Schema;
+    namespace L {
+        type sibling_schemas = i_resolved.Schemas_.D;
+    }
+    namespace P {
+    }
+}
+export type Schema_ = ($$_: Schema_.I, $$_lookups: {
+    readonly 'sibling schemas': _pi.Stack_Lookup<Schema_.L.sibling_schemas>;
+}, $$_p: null) => Schema_.O;
+export declare namespace Imports_ {
+    type I = i_unresolved.Imports;
+    type O = i_resolved.Imports;
+    namespace L {
+        type sibling_schemas = i_resolved.Schemas_.D;
+    }
+    namespace P {
+    }
+}
+export type Imports_ = ($$_: Imports_.I, $$_lookups: {
+    readonly 'sibling schemas': _pi.Stack_Lookup<Imports_.L.sibling_schemas>;
+}, $$_p: null) => Imports_.O;
+export declare namespace Reference_To_Property_Constraint_ {
+    type I = i_unresolved.Reference_To_Property_Constraint;
+    type O = i_resolved.Reference_To_Property_Constraint;
+    namespace L {
+        type property_constraints = i_resolved.Property_Constraints_.D;
+    }
+    namespace P {
+    }
+}
+export type Reference_To_Property_Constraint_ = ($$_: Reference_To_Property_Constraint_.I, $$_lookups: {
+    readonly 'property constraints': _pi.Acyclic_Lookup<Reference_To_Property_Constraint_.L.property_constraints>;
+}, $$_p: null) => Reference_To_Property_Constraint_.O;
+export declare namespace Types_ {
+    type I = i_unresolved.Types;
+    type O = i_resolved.Types;
+    namespace P {
+        namespace globals {
+            type O = i_resolved.Globals_;
+        }
+        type globals = _pi.Optional_Value<globals.O>;
+        namespace imports {
+            type O = i_resolved.Imports_;
+        }
+        type imports = _pi.Optional_Value<imports.O>;
+    }
+}
+export type Types_ = ($$_: Types_.I, $$_lookups: null, $$_p: {
+    readonly 'globals': Types_.P.globals;
+    readonly 'imports': Types_.P.imports;
+}) => Types_.O;
+export { Type_Parameters_ as Type_Parameters, Presence_ as Presence, Number_Type_ as Number_Type, Text_Type_ as Text_Type, Globals_ as Globals, Group_ as Group, Dictionary_ as Dictionary, Type_Node_ as Type_Node, Type_ as Type, Type_Reference_ as Type_Reference, Type_Node_Reference_ as Type_Node_Reference, Node_Resolver_ as Node_Resolver, Possible_Value_Selection_ as Possible_Value_Selection, Guaranteed_Value_Selection_ as Guaranteed_Value_Selection, Benchmark_ as Benchmark, Optional_Value_Initialization_ as Optional_Value_Initialization, Lookup_Selection_ as Lookup_Selection, Option_Constraints_ as Option_Constraints, Node_Resolver_List_Result_ as Node_Resolver_List_Result, Node_Resolver_Group_ as Node_Resolver_Group, Relative_Value_Selection_ as Relative_Value_Selection, Constraint_ as Constraint, Property_Constraints_ as Property_Constraints, Property_Constraint_ as Property_Constraint, Resolve_Logic_ as Resolve_Logic, Signature_Parameters_ as Signature_Parameters, Signature_ as Signature, Signatures_ as Signatures, Resolvers_ as Resolvers, Schemas_ as Schemas, Type_Specification_ as Type_Specification, Schema_Tree_ as Schema_Tree, Schema_ as Schema, Imports_ as Imports, Reference_To_Property_Constraint_ as Reference_To_Property_Constraint, Types_ as Types, };