pareto-liana 0.0.0 → 0.0.3

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

@@ -1,843 +0,0 @@
-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, };