schemair 0.1.0 → 0.2.0

package/dist/standard-etPFZDJI.cjs

@@ -0,0 +1,513 @@
+
+//#region src/spec/standard/paths.ts
+const STANDARD_SEMANTIC_PATHS = {
+	string: {
+		date: [
+			"std",
+			"string",
+			"date"
+		],
+		datetime: [
+			"std",
+			"string",
+			"datetime"
+		],
+		datetimeIso: [
+			"std",
+			"string",
+			"datetime",
+			"iso"
+		],
+		email: [
+			"std",
+			"string",
+			"email"
+		],
+		url: [
+			"std",
+			"string",
+			"url"
+		],
+		ipV4: [
+			"std",
+			"string",
+			"ip",
+			"v4"
+		],
+		ipV6: [
+			"std",
+			"string",
+			"ip",
+			"v6"
+		],
+		uuid: [
+			"std",
+			"string",
+			"uuid"
+		],
+		uuidV4: [
+			"std",
+			"string",
+			"uuid",
+			"v4"
+		],
+		json: [
+			"std",
+			"string",
+			"json"
+		],
+		base64: [
+			"std",
+			"string",
+			"base64"
+		],
+		base64url: [
+			"std",
+			"string",
+			"base64url"
+		],
+		hex: [
+			"std",
+			"string",
+			"hex"
+		],
+		decimal: [
+			"std",
+			"string",
+			"decimal"
+		],
+		bigint: [
+			"std",
+			"string",
+			"bigint"
+		],
+		secret: [
+			"std",
+			"string",
+			"secret"
+		],
+		token: [
+			"std",
+			"string",
+			"secret",
+			"token"
+		],
+		password: [
+			"std",
+			"string",
+			"secret",
+			"password"
+		]
+	},
+	number: {
+		integer: [
+			"std",
+			"number",
+			"integer"
+		],
+		safeInteger: [
+			"std",
+			"number",
+			"safeInteger"
+		],
+		epochMillis: [
+			"std",
+			"number",
+			"epochMillis"
+		],
+		epochSeconds: [
+			"std",
+			"number",
+			"epochSeconds"
+		]
+	}
+};
+const STANDARD_SEMANTIC_PATH_LIST = [
+	STANDARD_SEMANTIC_PATHS.string.date,
+	STANDARD_SEMANTIC_PATHS.string.datetime,
+	STANDARD_SEMANTIC_PATHS.string.datetimeIso,
+	STANDARD_SEMANTIC_PATHS.string.email,
+	STANDARD_SEMANTIC_PATHS.string.url,
+	STANDARD_SEMANTIC_PATHS.string.ipV4,
+	STANDARD_SEMANTIC_PATHS.string.ipV6,
+	STANDARD_SEMANTIC_PATHS.string.uuid,
+	STANDARD_SEMANTIC_PATHS.string.uuidV4,
+	STANDARD_SEMANTIC_PATHS.string.json,
+	STANDARD_SEMANTIC_PATHS.string.base64,
+	STANDARD_SEMANTIC_PATHS.string.base64url,
+	STANDARD_SEMANTIC_PATHS.string.hex,
+	STANDARD_SEMANTIC_PATHS.string.decimal,
+	STANDARD_SEMANTIC_PATHS.string.bigint,
+	STANDARD_SEMANTIC_PATHS.string.secret,
+	STANDARD_SEMANTIC_PATHS.string.token,
+	STANDARD_SEMANTIC_PATHS.string.password,
+	STANDARD_SEMANTIC_PATHS.number.integer,
+	STANDARD_SEMANTIC_PATHS.number.safeInteger,
+	STANDARD_SEMANTIC_PATHS.number.epochMillis,
+	STANDARD_SEMANTIC_PATHS.number.epochSeconds
+];
+const STANDARD_CONSTRAINT_PATHS = {
+	string: {
+		minLength: ["std", "minLength"],
+		maxLength: ["std", "maxLength"],
+		pattern: ["std", "pattern"]
+	},
+	number: {
+		minimum: ["std", "minimum"],
+		maximum: ["std", "maximum"],
+		exclusiveMinimum: ["std", "exclusiveMinimum"],
+		exclusiveMaximum: ["std", "exclusiveMaximum"],
+		multipleOf: ["std", "multipleOf"]
+	},
+	array: {
+		minItems: ["std", "minItems"],
+		maxItems: ["std", "maxItems"],
+		uniqueItems: ["std", "uniqueItems"]
+	},
+	record: {
+		minProperties: ["std", "minProperties"],
+		maxProperties: ["std", "maxProperties"]
+	}
+};
+const STANDARD_CONSTRAINT_PATH_LIST = [
+	STANDARD_CONSTRAINT_PATHS.string.minLength,
+	STANDARD_CONSTRAINT_PATHS.string.maxLength,
+	STANDARD_CONSTRAINT_PATHS.string.pattern,
+	STANDARD_CONSTRAINT_PATHS.number.minimum,
+	STANDARD_CONSTRAINT_PATHS.number.maximum,
+	STANDARD_CONSTRAINT_PATHS.number.exclusiveMinimum,
+	STANDARD_CONSTRAINT_PATHS.number.exclusiveMaximum,
+	STANDARD_CONSTRAINT_PATHS.number.multipleOf,
+	STANDARD_CONSTRAINT_PATHS.array.minItems,
+	STANDARD_CONSTRAINT_PATHS.array.maxItems,
+	STANDARD_CONSTRAINT_PATHS.array.uniqueItems,
+	STANDARD_CONSTRAINT_PATHS.record.minProperties,
+	STANDARD_CONSTRAINT_PATHS.record.maxProperties
+];
+
+//#endregion
+//#region src/spec/standard/definitions.ts
+const STANDARD_SEMANTIC_DEFINITIONS = [
+	{
+		path: STANDARD_SEMANTIC_PATHS.string.date,
+		label: "Date",
+		description: "Calendar date string in YYYY-MM-DD form.",
+		primitive: "string",
+		role: "validation"
+	},
+	{
+		path: STANDARD_SEMANTIC_PATHS.string.datetime,
+		label: "DateTime",
+		description: "Date-time string.",
+		primitive: "string",
+		role: "validation"
+	},
+	{
+		path: STANDARD_SEMANTIC_PATHS.string.datetimeIso,
+		label: "ISO DateTime",
+		description: "ISO-like date-time string.",
+		primitive: "string",
+		role: "validation"
+	},
+	{
+		path: STANDARD_SEMANTIC_PATHS.string.email,
+		label: "Email",
+		description: "Email address string.",
+		primitive: "string",
+		role: "validation"
+	},
+	{
+		path: STANDARD_SEMANTIC_PATHS.string.url,
+		label: "URL",
+		description: "URL string.",
+		primitive: "string",
+		role: "validation"
+	},
+	{
+		path: STANDARD_SEMANTIC_PATHS.string.ipV4,
+		label: "IPv4",
+		description: "IPv4 address string.",
+		primitive: "string",
+		role: "validation"
+	},
+	{
+		path: STANDARD_SEMANTIC_PATHS.string.ipV6,
+		label: "IPv6",
+		description: "IPv6 address string.",
+		primitive: "string",
+		role: "validation"
+	},
+	{
+		path: STANDARD_SEMANTIC_PATHS.string.uuid,
+		label: "UUID",
+		description: "UUID string.",
+		primitive: "string",
+		role: "validation"
+	},
+	{
+		path: STANDARD_SEMANTIC_PATHS.string.uuidV4,
+		label: "UUID v4",
+		description: "UUID version 4 string.",
+		primitive: "string",
+		role: "validation"
+	},
+	{
+		path: STANDARD_SEMANTIC_PATHS.string.json,
+		label: "JSON String",
+		description: "String containing JSON text.",
+		primitive: "string",
+		role: "validation"
+	},
+	{
+		path: STANDARD_SEMANTIC_PATHS.string.base64,
+		label: "Base64",
+		description: "Base64 encoded string.",
+		primitive: "string",
+		role: "validation"
+	},
+	{
+		path: STANDARD_SEMANTIC_PATHS.string.base64url,
+		label: "Base64URL",
+		description: "Base64URL encoded string.",
+		primitive: "string",
+		role: "validation"
+	},
+	{
+		path: STANDARD_SEMANTIC_PATHS.string.hex,
+		label: "Hex",
+		description: "Hexadecimal string.",
+		primitive: "string",
+		role: "validation"
+	},
+	{
+		path: STANDARD_SEMANTIC_PATHS.string.decimal,
+		label: "Decimal",
+		description: "Exact finite decimal value stored as text.",
+		primitive: "string",
+		role: "validation"
+	},
+	{
+		path: STANDARD_SEMANTIC_PATHS.string.bigint,
+		label: "Big Integer",
+		description: "Canonical arbitrary-precision integer stored as text.",
+		primitive: "string",
+		role: "validation"
+	},
+	{
+		path: STANDARD_SEMANTIC_PATHS.string.secret,
+		label: "Secret",
+		description: "Sensitive secret-like string value.",
+		primitive: "string",
+		role: "annotation"
+	},
+	{
+		path: STANDARD_SEMANTIC_PATHS.string.token,
+		label: "Token",
+		description: "Sensitive token-like string value.",
+		primitive: "string",
+		role: "annotation"
+	},
+	{
+		path: STANDARD_SEMANTIC_PATHS.string.password,
+		label: "Password",
+		description: "Sensitive password-like string value.",
+		primitive: "string",
+		role: "annotation"
+	},
+	{
+		path: STANDARD_SEMANTIC_PATHS.number.integer,
+		label: "Integer",
+		description: "Whole number.",
+		primitive: "number",
+		role: "validation"
+	},
+	{
+		path: STANDARD_SEMANTIC_PATHS.number.safeInteger,
+		label: "Safe Integer",
+		description: "Binary64 integer from -9007199254740991 through 9007199254740991.",
+		primitive: "number",
+		role: "validation"
+	},
+	{
+		path: STANDARD_SEMANTIC_PATHS.number.epochMillis,
+		label: "Epoch Millis",
+		description: "Unix timestamp in milliseconds.",
+		primitive: "number",
+		role: "validation"
+	},
+	{
+		path: STANDARD_SEMANTIC_PATHS.number.epochSeconds,
+		label: "Epoch Seconds",
+		description: "Unix timestamp in seconds.",
+		primitive: "number",
+		role: "validation"
+	}
+];
+/** Explicit accepted-set implications; carrier types are not semantic paths. */
+const STANDARD_SEMANTIC_RELATIONS = [
+	{
+		source: STANDARD_SEMANTIC_PATHS.string.datetimeIso,
+		target: STANDARD_SEMANTIC_PATHS.string.datetime,
+		kind: "acceptedSetSubset"
+	},
+	{
+		source: STANDARD_SEMANTIC_PATHS.string.uuidV4,
+		target: STANDARD_SEMANTIC_PATHS.string.uuid,
+		kind: "acceptedSetSubset"
+	},
+	{
+		source: STANDARD_SEMANTIC_PATHS.number.safeInteger,
+		target: STANDARD_SEMANTIC_PATHS.number.integer,
+		kind: "acceptedSetSubset"
+	}
+];
+const STANDARD_CONSTRAINT_DEFINITIONS = [
+	{
+		path: STANDARD_CONSTRAINT_PATHS.string.minLength,
+		label: "Min Length",
+		description: "Minimum string length.",
+		target: "string",
+		argsType: "number",
+		argsDomain: "nonNegativeInteger"
+	},
+	{
+		path: STANDARD_CONSTRAINT_PATHS.string.maxLength,
+		label: "Max Length",
+		description: "Maximum string length.",
+		target: "string",
+		argsType: "number",
+		argsDomain: "nonNegativeInteger"
+	},
+	{
+		path: STANDARD_CONSTRAINT_PATHS.string.pattern,
+		label: "Pattern",
+		description: "Regular expression pattern.",
+		target: "string",
+		argsType: "string",
+		argsDomain: "regexSource"
+	},
+	{
+		path: STANDARD_CONSTRAINT_PATHS.number.minimum,
+		label: "Minimum",
+		description: "Inclusive numeric minimum.",
+		target: "number",
+		argsType: "number",
+		argsDomain: "finiteNumber"
+	},
+	{
+		path: STANDARD_CONSTRAINT_PATHS.number.maximum,
+		label: "Maximum",
+		description: "Inclusive numeric maximum.",
+		target: "number",
+		argsType: "number",
+		argsDomain: "finiteNumber"
+	},
+	{
+		path: STANDARD_CONSTRAINT_PATHS.number.exclusiveMinimum,
+		label: "Exclusive Minimum",
+		description: "Exclusive numeric minimum.",
+		target: "number",
+		argsType: "number",
+		argsDomain: "finiteNumber"
+	},
+	{
+		path: STANDARD_CONSTRAINT_PATHS.number.exclusiveMaximum,
+		label: "Exclusive Maximum",
+		description: "Exclusive numeric maximum.",
+		target: "number",
+		argsType: "number",
+		argsDomain: "finiteNumber"
+	},
+	{
+		path: STANDARD_CONSTRAINT_PATHS.number.multipleOf,
+		label: "Multiple Of",
+		description: "Numeric divisor constraint.",
+		target: "number",
+		argsType: "number",
+		argsDomain: "positiveNumber"
+	},
+	{
+		path: STANDARD_CONSTRAINT_PATHS.array.minItems,
+		label: "Min Items",
+		description: "Minimum array length.",
+		target: "array",
+		argsType: "number",
+		argsDomain: "nonNegativeInteger"
+	},
+	{
+		path: STANDARD_CONSTRAINT_PATHS.array.maxItems,
+		label: "Max Items",
+		description: "Maximum array length.",
+		target: "array",
+		argsType: "number",
+		argsDomain: "nonNegativeInteger"
+	},
+	{
+		path: STANDARD_CONSTRAINT_PATHS.array.uniqueItems,
+		label: "Unique Items",
+		description: "Require array items to be unique.",
+		target: "array",
+		argsType: "boolean",
+		argsDomain: "boolean"
+	},
+	{
+		path: STANDARD_CONSTRAINT_PATHS.record.minProperties,
+		label: "Min Properties",
+		description: "Minimum object property count.",
+		target: "record",
+		argsType: "number",
+		argsDomain: "nonNegativeInteger"
+	},
+	{
+		path: STANDARD_CONSTRAINT_PATHS.record.maxProperties,
+		label: "Max Properties",
+		description: "Maximum object property count.",
+		target: "record",
+		argsType: "number",
+		argsDomain: "nonNegativeInteger"
+	}
+];
+
+//#endregion
+Object.defineProperty(exports, 'STANDARD_CONSTRAINT_DEFINITIONS', {
+  enumerable: true,
+  get: function () {
+    return STANDARD_CONSTRAINT_DEFINITIONS;
+  }
+});
+Object.defineProperty(exports, 'STANDARD_CONSTRAINT_PATHS', {
+  enumerable: true,
+  get: function () {
+    return STANDARD_CONSTRAINT_PATHS;
+  }
+});
+Object.defineProperty(exports, 'STANDARD_CONSTRAINT_PATH_LIST', {
+  enumerable: true,
+  get: function () {
+    return STANDARD_CONSTRAINT_PATH_LIST;
+  }
+});
+Object.defineProperty(exports, 'STANDARD_SEMANTIC_DEFINITIONS', {
+  enumerable: true,
+  get: function () {
+    return STANDARD_SEMANTIC_DEFINITIONS;
+  }
+});
+Object.defineProperty(exports, 'STANDARD_SEMANTIC_PATHS', {
+  enumerable: true,
+  get: function () {
+    return STANDARD_SEMANTIC_PATHS;
+  }
+});
+Object.defineProperty(exports, 'STANDARD_SEMANTIC_PATH_LIST', {
+  enumerable: true,
+  get: function () {
+    return STANDARD_SEMANTIC_PATH_LIST;
+  }
+});
+Object.defineProperty(exports, 'STANDARD_SEMANTIC_RELATIONS', {
+  enumerable: true,
+  get: function () {
+    return STANDARD_SEMANTIC_RELATIONS;
+  }
+});

package/dist/type-interpreter/index.cjs

@@ -1,10 +1,10 @@
-const require_type_interpreter = require('../type-interpreter-DAIBUqKf.cjs');
+const require_type_interpreter = require('../type-interpreter-OLt2W2yd.cjs');
 
 exports.checkTypeTermRelation = require_type_interpreter.checkTypeTermRelation;
 exports.checkTypeTermRelationAsync = require_type_interpreter.checkTypeTermRelationAsync;
 exports.evaluateExpression = require_type_interpreter.evaluateExpression;
 exports.evaluateExpressionAsync = require_type_interpreter.evaluateExpressionAsync;
-exports.evaluateSchemaValueTypeTerm = require_type_interpreter.evaluateSchemaValueTypeTerm;
-exports.evaluateSchemaValueTypeTermAsync = require_type_interpreter.evaluateSchemaValueTypeTermAsync;
+exports.evaluateSchemaTypeTerm = require_type_interpreter.evaluateSchemaTypeTerm;
+exports.evaluateSchemaTypeTermAsync = require_type_interpreter.evaluateSchemaTypeTermAsync;
 exports.solveTypeVariables = require_type_interpreter.solveTypeVariables;
 exports.solveTypeVariablesAsync = require_type_interpreter.solveTypeVariablesAsync;

package/dist/type-interpreter/index.d.cts

@@ -1,99 +1,2 @@
-import { A as SchemaValueTypeTerm, J as SchemaNode, k as SchemaValueTypeExpr } from "../index-rzkFjgrt.cjs";
-import { l as RelationResult, n as RelationContext, t as AsyncRelationContext } from "../index-TACcK_mi.cjs";
-
-//#region src/type-interpreter/interpreter.d.ts
-type TypeInterpreterPath = readonly (string | number)[];
-interface TypeInterpreterDiagnostic {
-  readonly code: string;
-  readonly path: TypeInterpreterPath;
-  readonly message: string;
-}
-type TypeInterpreterStatus = 'evaluated' | 'incomplete' | 'rejected';
-type EvaluatedTypeTerm = SchemaNode | SchemaValueTypeExpr;
-type TypeInterpreterResult = {
-  readonly status: 'evaluated';
-  readonly term: EvaluatedTypeTerm;
-  readonly schema?: SchemaNode;
-  readonly unresolvedTypeVars?: readonly string[];
-  readonly issues: readonly TypeInterpreterDiagnostic[];
-} | {
-  readonly status: 'incomplete';
-  readonly issues: readonly TypeInterpreterDiagnostic[];
-} | {
-  readonly status: 'rejected';
-  readonly issues: readonly TypeInterpreterDiagnostic[];
-};
-type TypeInterpreterRefResolution = SchemaNode | {
-  readonly status: 'resolved';
-  readonly schema: SchemaNode;
-} | {
-  readonly status: 'unknown' | 'unsupported';
-  readonly message?: string;
-} | undefined;
-type AsyncTypeInterpreterRefResolution = TypeInterpreterRefResolution | PromiseLike<TypeInterpreterRefResolution>;
-interface TypeInterpreterContext {
-  readonly typeVars?: Readonly<Record<string, SchemaValueTypeTerm>>;
-  readonly resolveRef?: (refPath: readonly string[]) => TypeInterpreterRefResolution;
-  readonly maxDepth?: number;
-  readonly maxSteps?: number;
-}
-interface AsyncTypeInterpreterContext {
-  readonly typeVars?: Readonly<Record<string, SchemaValueTypeTerm>>;
-  readonly resolveRef?: (refPath: readonly string[]) => AsyncTypeInterpreterRefResolution;
-  readonly maxDepth?: number;
-  readonly maxSteps?: number;
-}
-declare function evaluateExpression(term: unknown, context?: TypeInterpreterContext): TypeInterpreterResult;
-declare function evaluateExpressionAsync(term: unknown, context?: AsyncTypeInterpreterContext): Promise<TypeInterpreterResult>;
-declare const evaluateSchemaValueTypeTerm: typeof evaluateExpression;
-declare const evaluateSchemaValueTypeTermAsync: typeof evaluateExpressionAsync;
-//#endregion
-//#region src/type-interpreter/term-relation.d.ts
-interface TypeTermRelationContext {
-  readonly interpreter?: TypeInterpreterContext;
-  readonly relation?: RelationContext;
-  readonly hostTypeRelation?: (sourcePath: readonly string[], targetPath: readonly string[]) => HostTypeRelationDecision;
-}
-interface AsyncTypeTermRelationContext {
-  readonly interpreter?: AsyncTypeInterpreterContext;
-  readonly relation?: AsyncRelationContext;
-  readonly hostTypeRelation?: (sourcePath: readonly string[], targetPath: readonly string[]) => HostTypeRelationDecision | PromiseLike<HostTypeRelationDecision>;
-}
-type HostTypeRelationDecision = boolean | {
-  readonly status: 'assignable' | 'incompatible' | 'unknown' | 'unsupported';
-  readonly message?: string;
-};
-declare function checkTypeTermRelation(source: SchemaValueTypeTerm, target: SchemaValueTypeTerm, context?: TypeTermRelationContext): RelationResult;
-declare function checkTypeTermRelationAsync(source: SchemaValueTypeTerm, target: SchemaValueTypeTerm, context?: AsyncTypeTermRelationContext): Promise<RelationResult>;
-//#endregion
-//#region src/type-interpreter/type-variable-solver.d.ts
-interface TypeVariableConstraint {
-  readonly source: SchemaValueTypeTerm;
-  readonly target: SchemaValueTypeTerm;
-}
-interface TypeVariableSolverInput {
-  readonly variables: readonly string[];
-  readonly constraints: readonly TypeVariableConstraint[];
-}
-interface TypeVariableSolverIssue {
-  readonly code: string;
-  readonly constraint?: number;
-  readonly variable?: string;
-  readonly message: string;
-}
-interface TypeVariableSolverResult {
-  readonly status: 'solved' | 'unknown' | 'incompatible' | 'rejected';
-  readonly bindings: Readonly<Record<string, EvaluatedTypeTerm>>;
-  readonly unresolved: readonly string[];
-  readonly issues: readonly TypeVariableSolverIssue[];
-}
-interface TypeVariableSolverContext extends TypeTermRelationContext {
-  readonly interpreter?: TypeInterpreterContext;
-}
-interface AsyncTypeVariableSolverContext extends AsyncTypeTermRelationContext {
-  readonly interpreter?: AsyncTypeInterpreterContext;
-}
-declare function solveTypeVariables(input: TypeVariableSolverInput, context?: TypeVariableSolverContext): TypeVariableSolverResult;
-declare function solveTypeVariablesAsync(input: TypeVariableSolverInput, context?: AsyncTypeVariableSolverContext): Promise<TypeVariableSolverResult>;
-//#endregion
-export { AsyncTypeInterpreterContext, AsyncTypeInterpreterRefResolution, AsyncTypeTermRelationContext, AsyncTypeVariableSolverContext, EvaluatedTypeTerm, HostTypeRelationDecision, TypeInterpreterContext, TypeInterpreterDiagnostic, TypeInterpreterPath, TypeInterpreterRefResolution, TypeInterpreterResult, TypeInterpreterStatus, TypeTermRelationContext, TypeVariableConstraint, TypeVariableSolverContext, TypeVariableSolverInput, TypeVariableSolverIssue, TypeVariableSolverResult, checkTypeTermRelation, checkTypeTermRelationAsync, evaluateExpression, evaluateExpressionAsync, evaluateSchemaValueTypeTerm, evaluateSchemaValueTypeTermAsync, solveTypeVariables, solveTypeVariablesAsync };
+import { C as evaluateExpression, E as evaluateSchemaTypeTermAsync, S as TypeInterpreterStatus, T as evaluateSchemaTypeTerm, _ as TypeInterpreterContext, a as TypeVariableSolverIssue, b as TypeInterpreterRefResolution, c as solveTypeVariablesAsync, d as TypeTermRelationContext, f as checkTypeTermRelation, g as EvaluatedTypeTerm, h as AsyncTypeInterpreterRefResolution, i as TypeVariableSolverInput, l as AsyncTypeTermRelationContext, m as AsyncTypeInterpreterContext, n as TypeVariableConstraint, o as TypeVariableSolverResult, p as checkTypeTermRelationAsync, r as TypeVariableSolverContext, s as solveTypeVariables, t as AsyncTypeVariableSolverContext, u as HostTypeRelationDecision, v as TypeInterpreterDiagnostic, w as evaluateExpressionAsync, x as TypeInterpreterResult, y as TypeInterpreterPath } from "../index-DhmHCGpT.cjs";
+export { AsyncTypeInterpreterContext, AsyncTypeInterpreterRefResolution, AsyncTypeTermRelationContext, AsyncTypeVariableSolverContext, EvaluatedTypeTerm, HostTypeRelationDecision, TypeInterpreterContext, TypeInterpreterDiagnostic, TypeInterpreterPath, TypeInterpreterRefResolution, TypeInterpreterResult, TypeInterpreterStatus, TypeTermRelationContext, TypeVariableConstraint, TypeVariableSolverContext, TypeVariableSolverInput, TypeVariableSolverIssue, TypeVariableSolverResult, checkTypeTermRelation, checkTypeTermRelationAsync, evaluateExpression, evaluateExpressionAsync, evaluateSchemaTypeTerm, evaluateSchemaTypeTermAsync, solveTypeVariables, solveTypeVariablesAsync };