@tsonic/frontend 0.0.62 → 0.0.63

package/dist/ir/binding/binding-types.d.ts

@@ -0,0 +1,203 @@
+/**
+ * Binding Layer — Type Definitions
+ *
+ * Public and internal type definitions for the Binding layer.
+ * Contains Binding/BindingInternal interfaces and internal entry types
+ * used by the factory and handle registry.
+ */
+import ts from "typescript";
+import type { DeclId, SignatureId, MemberId, TypeSyntaxId } from "../type-system/types.js";
+import type { DeclKind, ParameterNode, TypeParameterNode, SignatureTypePredicate, ClassMemberNames } from "../type-system/internal/handle-types.js";
+/**
+ * Binding interface — wraps TS symbol resolution APIs.
+ *
+ * All methods return opaque handles. Use HandleRegistry to look up
+ * the underlying declaration/signature information.
+ */
+export type Binding = {
+    /**
+     * Resolve an identifier to its declaration.
+     * Uses checker.getSymbolAtLocation + symbol.getDeclarations().
+     */
+    resolveIdentifier(node: ts.Identifier): DeclId | undefined;
+    /**
+     * Resolve a type reference to its declaration.
+     * For qualified names (A.B.C), resolves the rightmost symbol.
+     */
+    resolveTypeReference(node: ts.TypeReferenceNode): DeclId | undefined;
+    /**
+     * Resolve a property access to its member declaration.
+     */
+    resolvePropertyAccess(node: ts.PropertyAccessExpression): MemberId | undefined;
+    /**
+     * Resolve an element access to its member (for known keys).
+     */
+    resolveElementAccess(node: ts.ElementAccessExpression): MemberId | undefined;
+    /**
+     * Pick the correct overload for a call expression.
+     * Uses checker.getResolvedSignature to pick the overload.
+     */
+    resolveCallSignature(node: ts.CallExpression): SignatureId | undefined;
+    /**
+     * Return candidate overload signatures for a call expression, filtered by arity.
+     *
+     * This is used when TypeScript overload selection is ambiguous due to
+     * erased types in the TS layer (e.g., `char` is `string` in TypeScript).
+     *
+     * IMPORTANT: This returns *candidates*, not the final selection.
+     * The TypeSystem remains the authority for semantic selection.
+     */
+    resolveCallSignatureCandidates(node: ts.CallExpression): readonly SignatureId[] | undefined;
+    /**
+     * Resolve new expression constructor signature.
+     */
+    resolveConstructorSignature(node: ts.NewExpression): SignatureId | undefined;
+    /**
+     * Return candidate overload signatures for a constructor call, filtered by arity.
+     */
+    resolveConstructorSignatureCandidates(node: ts.NewExpression): readonly SignatureId[] | undefined;
+    /**
+     * Resolve an import specifier to its actual declaration.
+     * Uses checker.getAliasedSymbol to follow the import chain.
+     */
+    resolveImport(node: ts.ImportSpecifier): DeclId | undefined;
+    /**
+     * Resolve a shorthand property assignment to its declaration.
+     * For `{ foo }` syntax, resolves `foo` to its declaration.
+     */
+    resolveShorthandAssignment(node: ts.ShorthandPropertyAssignment): DeclId | undefined;
+    /**
+     * Get the declaring type name for a resolved member handle.
+     *
+     * This is used for features that depend on the syntactic container of a member
+     * declaration (e.g. tsbindgen extension-method interfaces like `__Ext_*`).
+     */
+    getDeclaringTypeNameOfMember(member: MemberId): string | undefined;
+    /**
+     * Get the absolute source file path where a resolved member is declared.
+     *
+     * Used to disambiguate tsbindgen bindings when multiple CLR types share the same
+     * TS alias (e.g., `Server.listen` exists on both `nodejs.Server` and `nodejs.Http.Server`).
+     */
+    getSourceFilePathOfMember(member: MemberId): string | undefined;
+    /**
+     * Get the fully-qualified name for a declaration.
+     * Used for override detection and .NET type identification.
+     */
+    getFullyQualifiedName(decl: DeclId): string | undefined;
+    /**
+     * Get the absolute source file path where a resolved declaration is declared.
+     *
+     * Used to map re-exported tsbindgen symbols back to their owning bindings.json
+     * namespace deterministically (airplane-grade).
+     */
+    getSourceFilePathOfDecl(decl: DeclId): string | undefined;
+    /**
+     * Get type predicate information from a signature.
+     * For functions with `x is T` return type.
+     */
+    getTypePredicateOfSignature(sig: SignatureId): TypePredicateInfo | undefined;
+    /**
+     * Get the TypeScript `this:` parameter type node for a signature (if present).
+     *
+     * Used for airplane-grade lowering of extension-method calls emitted as method-table
+     * members with explicit `this:` receiver constraints.
+     */
+    getThisTypeNodeOfSignature(sig: SignatureId): ts.TypeNode | undefined;
+    /**
+     * Get the declaring TypeScript type name for a resolved signature (if present).
+     *
+     * For extension methods, this is the declaring interface/type that owns the selected
+     * overload signature (e.g., `__TsonicExtMethods_Microsoft_EntityFrameworkCore`).
+     *
+     * This is critical for airplane-grade extension method binding when the same method name
+     * exists in multiple extension namespaces (e.g., `ToArrayAsync` in BCL async LINQ vs EF Core).
+     */
+    getDeclaringTypeNameOfSignature(sig: SignatureId): string | undefined;
+    /**
+     * Capture a type syntax node for later conversion.
+     *
+     * Used for inline type syntax that cannot be captured at catalog-build time:
+     * - `as Foo` type assertions
+     * - `satisfies Bar` expressions
+     * - Generic type arguments in expressions
+     *
+     * The captured syntax can be converted to IrType via TypeSystem.typeFromSyntax().
+     * This is NOT an escape hatch — it's the correct boundary for inline syntax.
+     */
+    captureTypeSyntax(node: ts.TypeNode): TypeSyntaxId;
+    /**
+     * Capture multiple type arguments.
+     *
+     * Convenience method for capturing generic type arguments like `Foo<A, B, C>`.
+     */
+    captureTypeArgs(nodes: readonly ts.TypeNode[]): readonly TypeSyntaxId[];
+};
+/**
+ * BindingInternal — extended interface for TypeSystem construction only.
+ *
+ * INVARIANT (Alice's spec): Only createTypeSystem() should access
+ * _getHandleRegistry(). All other code uses the TypeSystem API.
+ */
+export type BindingInternal = Binding & {
+    /**
+     * Get the handle registry for TypeSystem construction.
+     *
+     * INTERNAL USE ONLY: This method is NOT part of the public Binding API.
+     * Only createTypeSystem() should call this to access declaration info.
+     * All other code should use TypeSystem queries instead.
+     */
+    _getHandleRegistry(): import("../type-system/internal/handle-types.js").HandleRegistry;
+};
+/**
+ * Type predicate information for `x is T` predicates.
+ */
+export type TypePredicateInfo = {
+    readonly kind: "typePredicate";
+    readonly parameterIndex: number;
+    readonly typeNode?: ts.TypeNode;
+};
+export type DeclEntry = {
+    readonly symbol: ts.Symbol;
+    readonly decl?: ts.Declaration;
+    readonly typeDeclNode?: ts.Declaration;
+    readonly valueDeclNode?: ts.Declaration;
+    readonly typeNode?: ts.TypeNode;
+    readonly kind: DeclKind;
+    readonly fqName?: string;
+    readonly classMemberNames?: ClassMemberNames;
+};
+export type SignatureEntry = {
+    readonly signature: ts.Signature;
+    readonly decl?: ts.SignatureDeclaration;
+    readonly parameters: readonly ParameterNode[];
+    /** Type node of a TypeScript `this:` parameter (if present). Excluded from `parameters`. */
+    readonly thisTypeNode?: ts.TypeNode;
+    readonly returnTypeNode?: ts.TypeNode;
+    readonly typeParameters?: readonly TypeParameterNode[];
+    /**
+     * Declaring type simple TS name (e.g., "Box" not "Test.Box").
+     * TypeSystem uses UnifiedTypeCatalog.resolveTsName() to get CLR FQ name.
+     */
+    readonly declaringTypeTsName?: string;
+    /** Declaring member name (for inheritance substitution in resolveCall) */
+    readonly declaringMemberName?: string;
+    /** Type predicate extracted from return type (x is T) */
+    readonly typePredicate?: SignatureTypePredicate;
+};
+export type MemberEntry = {
+    readonly memberId: MemberId;
+    readonly symbol: ts.Symbol;
+    readonly decl?: ts.Declaration;
+    readonly name: string;
+    readonly typeNode?: ts.TypeNode;
+    readonly isOptional: boolean;
+    readonly isReadonly: boolean;
+};
+/**
+ * Entry for captured type syntax (Phase 2: TypeSyntaxId).
+ */
+export type TypeSyntaxEntry = {
+    readonly typeNode: ts.TypeNode;
+};
+//# sourceMappingURL=binding-types.d.ts.map

package/dist/ir/binding/binding-types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"binding-types.d.ts","sourceRoot":"","sources":["../../../src/ir/binding/binding-types.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,KAAK,EACV,MAAM,EACN,WAAW,EACX,QAAQ,EACR,YAAY,EACb,MAAM,yBAAyB,CAAC;AACjC,OAAO,KAAK,EACV,QAAQ,EACR,aAAa,EACb,iBAAiB,EACjB,sBAAsB,EACtB,gBAAgB,EACjB,MAAM,yCAAyC,CAAC;AAMjD;;;;;GAKG;AACH,MAAM,MAAM,OAAO,GAAG;IAKpB;;;OAGG;IACH,iBAAiB,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,GAAG,MAAM,GAAG,SAAS,CAAC;IAE3D;;;OAGG;IACH,oBAAoB,CAAC,IAAI,EAAE,EAAE,CAAC,iBAAiB,GAAG,MAAM,GAAG,SAAS,CAAC;IAErE;;OAEG;IACH,qBAAqB,CACnB,IAAI,EAAE,EAAE,CAAC,wBAAwB,GAChC,QAAQ,GAAG,SAAS,CAAC;IAExB;;OAEG;IACH,oBAAoB,CAAC,IAAI,EAAE,EAAE,CAAC,uBAAuB,GAAG,QAAQ,GAAG,SAAS,CAAC;IAM7E;;;OAGG;IACH,oBAAoB,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,GAAG,WAAW,GAAG,SAAS,CAAC;IAEvE;;;;;;;;OAQG;IACH,8BAA8B,CAC5B,IAAI,EAAE,EAAE,CAAC,cAAc,GACtB,SAAS,WAAW,EAAE,GAAG,SAAS,CAAC;IAEtC;;OAEG;IACH,2BAA2B,CAAC,IAAI,EAAE,EAAE,CAAC,aAAa,GAAG,WAAW,GAAG,SAAS,CAAC;IAE7E;;OAEG;IACH,qCAAqC,CACnC,IAAI,EAAE,EAAE,CAAC,aAAa,GACrB,SAAS,WAAW,EAAE,GAAG,SAAS,CAAC;IAMtC;;;OAGG;IACH,aAAa,CAAC,IAAI,EAAE,EAAE,CAAC,eAAe,GAAG,MAAM,GAAG,SAAS,CAAC;IAM5D;;;OAGG;IACH,0BAA0B,CACxB,IAAI,EAAE,EAAE,CAAC,2BAA2B,GACnC,MAAM,GAAG,SAAS,CAAC;IAEtB;;;;;OAKG;IACH,4BAA4B,CAAC,MAAM,EAAE,QAAQ,GAAG,MAAM,GAAG,SAAS,CAAC;IAEnE;;;;;OAKG;IACH,yBAAyB,CAAC,MAAM,EAAE,QAAQ,GAAG,MAAM,GAAG,SAAS,CAAC;IAEhE;;;OAGG;IACH,qBAAqB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAC;IAExD;;;;;OAKG;IACH,uBAAuB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAC;IAE1D;;;OAGG;IACH,2BAA2B,CAAC,GAAG,EAAE,WAAW,GAAG,iBAAiB,GAAG,SAAS,CAAC;IAE7E;;;;;OAKG;IACH,0BAA0B,CAAC,GAAG,EAAE,WAAW,GAAG,EAAE,CAAC,QAAQ,GAAG,SAAS,CAAC;IAEtE;;;;;;;;OAQG;IACH,+BAA+B,CAAC,GAAG,EAAE,WAAW,GAAG,MAAM,GAAG,SAAS,CAAC;IAMtE;;;;;;;;;;OAUG;IACH,iBAAiB,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,GAAG,YAAY,CAAC;IAEnD;;;;OAIG;IACH,eAAe,CAAC,KAAK,EAAE,SAAS,EAAE,CAAC,QAAQ,EAAE,GAAG,SAAS,YAAY,EAAE,CAAC;CACzE,CAAC;AAEF;;;;;GAKG;AACH,MAAM,MAAM,eAAe,GAAG,OAAO,GAAG;IACtC;;;;;;OAMG;IACH,kBAAkB,IAAI,OAAO,yCAAyC,EAAE,cAAc,CAAC;CACxF,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAC/B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC;CACjC,CAAC;AAMF,MAAM,MAAM,SAAS,GAAG;IACtB,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC;IAC3B,QAAQ,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC;IAC/B,QAAQ,CAAC,YAAY,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC;IACvC,QAAQ,CAAC,aAAa,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC;IACxC,QAAQ,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC;IAChC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,gBAAgB,CAAC,EAAE,gBAAgB,CAAC;CAC9C,CAAC;AAEF,MAAM,MAAM,cAAc,GAAG;IAC3B,QAAQ,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC;IACjC,QAAQ,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,oBAAoB,CAAC;IACxC,QAAQ,CAAC,UAAU,EAAE,SAAS,aAAa,EAAE,CAAC;IAC9C,4FAA4F;IAC5F,QAAQ,CAAC,YAAY,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC;IACpC,QAAQ,CAAC,cAAc,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC;IACtC,QAAQ,CAAC,cAAc,CAAC,EAAE,SAAS,iBAAiB,EAAE,CAAC;IACvD;;;OAGG;IACH,QAAQ,CAAC,mBAAmB,CAAC,EAAE,MAAM,CAAC;IACtC,0EAA0E;IAC1E,QAAQ,CAAC,mBAAmB,CAAC,EAAE,MAAM,CAAC;IACtC,yDAAyD;IACzD,QAAQ,CAAC,aAAa,CAAC,EAAE,sBAAsB,CAAC;CACjD,CAAC;AAEF,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC;IAC3B,QAAQ,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC;IAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC;IAChC,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;CAC9B,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,eAAe,GAAG;IAC5B,QAAQ,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC;CAChC,CAAC"}

package/dist/ir/binding/binding-types.js

@@ -0,0 +1,9 @@
+/**
+ * Binding Layer — Type Definitions
+ *
+ * Public and internal type definitions for the Binding layer.
+ * Contains Binding/BindingInternal interfaces and internal entry types
+ * used by the factory and handle registry.
+ */
+export {};
+//# sourceMappingURL=binding-types.js.map

package/dist/ir/binding/binding-types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"binding-types.js","sourceRoot":"","sources":["../../../src/ir/binding/binding-types.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG"}

package/dist/ir/binding/index.d.ts

@@ -16,164 +16,10 @@
  * - checker.getTypeOfSymbolAtLocation
  * - checker.getContextualType
  * - checker.typeToTypeNode
- */
-import ts from "typescript";
-import { DeclId, SignatureId, MemberId, TypeSyntaxId } from "../type-system/types.js";
-import type { HandleRegistry } from "../type-system/internal/handle-types.js";
-/**
- * Binding interface — wraps TS symbol resolution APIs.
- *
- * All methods return opaque handles. Use HandleRegistry to look up
- * the underlying declaration/signature information.
- */
-export interface Binding {
-    /**
-     * Resolve an identifier to its declaration.
-     * Uses checker.getSymbolAtLocation + symbol.getDeclarations().
-     */
-    resolveIdentifier(node: ts.Identifier): DeclId | undefined;
-    /**
-     * Resolve a type reference to its declaration.
-     * For qualified names (A.B.C), resolves the rightmost symbol.
-     */
-    resolveTypeReference(node: ts.TypeReferenceNode): DeclId | undefined;
-    /**
-     * Resolve a property access to its member declaration.
-     */
-    resolvePropertyAccess(node: ts.PropertyAccessExpression): MemberId | undefined;
-    /**
-     * Resolve an element access to its member (for known keys).
-     */
-    resolveElementAccess(node: ts.ElementAccessExpression): MemberId | undefined;
-    /**
-     * Pick the correct overload for a call expression.
-     * Uses checker.getResolvedSignature to pick the overload.
-     */
-    resolveCallSignature(node: ts.CallExpression): SignatureId | undefined;
-    /**
-     * Return candidate overload signatures for a call expression, filtered by arity.
-     *
-     * This is used when TypeScript overload selection is ambiguous due to
-     * erased types in the TS layer (e.g., `char` is `string` in TypeScript).
-     *
-     * IMPORTANT: This returns *candidates*, not the final selection.
-     * The TypeSystem remains the authority for semantic selection.
-     */
-    resolveCallSignatureCandidates(node: ts.CallExpression): readonly SignatureId[] | undefined;
-    /**
-     * Resolve new expression constructor signature.
-     */
-    resolveConstructorSignature(node: ts.NewExpression): SignatureId | undefined;
-    /**
-     * Return candidate overload signatures for a constructor call, filtered by arity.
-     */
-    resolveConstructorSignatureCandidates(node: ts.NewExpression): readonly SignatureId[] | undefined;
-    /**
-     * Resolve an import specifier to its actual declaration.
-     * Uses checker.getAliasedSymbol to follow the import chain.
-     */
-    resolveImport(node: ts.ImportSpecifier): DeclId | undefined;
-    /**
-     * Resolve a shorthand property assignment to its declaration.
-     * For `{ foo }` syntax, resolves `foo` to its declaration.
-     */
-    resolveShorthandAssignment(node: ts.ShorthandPropertyAssignment): DeclId | undefined;
-    /**
-     * Get the declaring type name for a resolved member handle.
-     *
-     * This is used for features that depend on the syntactic container of a member
-     * declaration (e.g. tsbindgen extension-method interfaces like `__Ext_*`).
-     */
-    getDeclaringTypeNameOfMember(member: MemberId): string | undefined;
-    /**
-     * Get the absolute source file path where a resolved member is declared.
-     *
-     * Used to disambiguate tsbindgen bindings when multiple CLR types share the same
-     * TS alias (e.g., `Server.listen` exists on both `nodejs.Server` and `nodejs.Http.Server`).
-     */
-    getSourceFilePathOfMember(member: MemberId): string | undefined;
-    /**
-     * Get the fully-qualified name for a declaration.
-     * Used for override detection and .NET type identification.
-     */
-    getFullyQualifiedName(decl: DeclId): string | undefined;
-    /**
-     * Get the absolute source file path where a resolved declaration is declared.
-     *
-     * Used to map re-exported tsbindgen symbols back to their owning bindings.json
-     * namespace deterministically (airplane-grade).
-     */
-    getSourceFilePathOfDecl(decl: DeclId): string | undefined;
-    /**
-     * Get type predicate information from a signature.
-     * For functions with `x is T` return type.
-     */
-    getTypePredicateOfSignature(sig: SignatureId): TypePredicateInfo | undefined;
-    /**
-     * Get the TypeScript `this:` parameter type node for a signature (if present).
-     *
-     * Used for airplane-grade lowering of extension-method calls emitted as method-table
-     * members with explicit `this:` receiver constraints.
-     */
-    getThisTypeNodeOfSignature(sig: SignatureId): ts.TypeNode | undefined;
-    /**
-     * Get the declaring TypeScript type name for a resolved signature (if present).
-     *
-     * For extension methods, this is the declaring interface/type that owns the selected
-     * overload signature (e.g., `__TsonicExtMethods_Microsoft_EntityFrameworkCore`).
-     *
-     * This is critical for airplane-grade extension method binding when the same method name
-     * exists in multiple extension namespaces (e.g., `ToArrayAsync` in BCL async LINQ vs EF Core).
-     */
-    getDeclaringTypeNameOfSignature(sig: SignatureId): string | undefined;
-    /**
-     * Capture a type syntax node for later conversion.
-     *
-     * Used for inline type syntax that cannot be captured at catalog-build time:
-     * - `as Foo` type assertions
-     * - `satisfies Bar` expressions
-     * - Generic type arguments in expressions
-     *
-     * The captured syntax can be converted to IrType via TypeSystem.typeFromSyntax().
-     * This is NOT an escape hatch — it's the correct boundary for inline syntax.
-     */
-    captureTypeSyntax(node: ts.TypeNode): TypeSyntaxId;
-    /**
-     * Capture multiple type arguments.
-     *
-     * Convenience method for capturing generic type arguments like `Foo<A, B, C>`.
-     */
-    captureTypeArgs(nodes: readonly ts.TypeNode[]): readonly TypeSyntaxId[];
-}
-/**
- * BindingInternal — extended interface for TypeSystem construction only.
- *
- * INVARIANT (Alice's spec): Only createTypeSystem() should access
- * _getHandleRegistry(). All other code uses the TypeSystem API.
- */
-export interface BindingInternal extends Binding {
-    /**
-     * Get the handle registry for TypeSystem construction.
-     *
-     * INTERNAL USE ONLY: This method is NOT part of the public Binding API.
-     * Only createTypeSystem() should call this to access declaration info.
-     * All other code should use TypeSystem queries instead.
-     */
-    _getHandleRegistry(): HandleRegistry;
-}
-/**
- * Type predicate information for `x is T` predicates.
- */
-export type TypePredicateInfo = {
-    readonly kind: "typePredicate";
-    readonly parameterIndex: number;
-    readonly typeNode?: ts.TypeNode;
-};
-/**
- * Create a Binding instance for a TypeScript program.
  *
- * Returns BindingInternal which includes _getHandleRegistry() for TypeSystem.
- * Cast to Binding when passing to regular converters.
+ * Barrel re-export — all public types and factory function are re-exported
+ * from their respective sub-modules.
  */
-export declare const createBinding: (checker: ts.TypeChecker) => BindingInternal;
+export type { Binding, BindingInternal, TypePredicateInfo, } from "./binding-types.js";
+export { createBinding } from "./binding-factory.js";
 //# sourceMappingURL=index.d.ts.map

package/dist/ir/binding/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/ir/binding/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAEH,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,EACL,MAAM,EACN,WAAW,EACX,QAAQ,EACR,YAAY,EAKb,MAAM,yBAAyB,CAAC;AAEjC,OAAO,KAAK,EACV,cAAc,EAUf,MAAM,yCAAyC,CAAC;AAOjD;;;;;GAKG;AACH,MAAM,WAAW,OAAO;IAKtB;;;OAGG;IACH,iBAAiB,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,GAAG,MAAM,GAAG,SAAS,CAAC;IAE3D;;;OAGG;IACH,oBAAoB,CAAC,IAAI,EAAE,EAAE,CAAC,iBAAiB,GAAG,MAAM,GAAG,SAAS,CAAC;IAErE;;OAEG;IACH,qBAAqB,CACnB,IAAI,EAAE,EAAE,CAAC,wBAAwB,GAChC,QAAQ,GAAG,SAAS,CAAC;IAExB;;OAEG;IACH,oBAAoB,CAAC,IAAI,EAAE,EAAE,CAAC,uBAAuB,GAAG,QAAQ,GAAG,SAAS,CAAC;IAM7E;;;OAGG;IACH,oBAAoB,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,GAAG,WAAW,GAAG,SAAS,CAAC;IAEvE;;;;;;;;OAQG;IACH,8BAA8B,CAC5B,IAAI,EAAE,EAAE,CAAC,cAAc,GACtB,SAAS,WAAW,EAAE,GAAG,SAAS,CAAC;IAEtC;;OAEG;IACH,2BAA2B,CAAC,IAAI,EAAE,EAAE,CAAC,aAAa,GAAG,WAAW,GAAG,SAAS,CAAC;IAE7E;;OAEG;IACH,qCAAqC,CACnC,IAAI,EAAE,EAAE,CAAC,aAAa,GACrB,SAAS,WAAW,EAAE,GAAG,SAAS,CAAC;IAMtC;;;OAGG;IACH,aAAa,CAAC,IAAI,EAAE,EAAE,CAAC,eAAe,GAAG,MAAM,GAAG,SAAS,CAAC;IAM5D;;;OAGG;IACH,0BAA0B,CACxB,IAAI,EAAE,EAAE,CAAC,2BAA2B,GACnC,MAAM,GAAG,SAAS,CAAC;IAEtB;;;;;OAKG;IACH,4BAA4B,CAAC,MAAM,EAAE,QAAQ,GAAG,MAAM,GAAG,SAAS,CAAC;IAEnE;;;;;OAKG;IACH,yBAAyB,CAAC,MAAM,EAAE,QAAQ,GAAG,MAAM,GAAG,SAAS,CAAC;IAEhE;;;OAGG;IACH,qBAAqB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAC;IAExD;;;;;OAKG;IACH,uBAAuB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAC;IAE1D;;;OAGG;IACH,2BAA2B,CAAC,GAAG,EAAE,WAAW,GAAG,iBAAiB,GAAG,SAAS,CAAC;IAE7E;;;;;OAKG;IACH,0BAA0B,CAAC,GAAG,EAAE,WAAW,GAAG,EAAE,CAAC,QAAQ,GAAG,SAAS,CAAC;IAEtE;;;;;;;;OAQG;IACH,+BAA+B,CAAC,GAAG,EAAE,WAAW,GAAG,MAAM,GAAG,SAAS,CAAC;IAMtE;;;;;;;;;;OAUG;IACH,iBAAiB,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,GAAG,YAAY,CAAC;IAEnD;;;;OAIG;IACH,eAAe,CAAC,KAAK,EAAE,SAAS,EAAE,CAAC,QAAQ,EAAE,GAAG,SAAS,YAAY,EAAE,CAAC;CACzE;AAED;;;;;GAKG;AACH,MAAM,WAAW,eAAgB,SAAQ,OAAO;IAC9C;;;;;;OAMG;IACH,kBAAkB,IAAI,cAAc,CAAC;CACtC;AAED;;GAEG;AACH,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAC/B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC;CACjC,CAAC;AAMF;;;;;GAKG;AACH,eAAO,MAAM,aAAa,GAAI,SAAS,EAAE,CAAC,WAAW,KAAG,eAi2BvD,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/ir/binding/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAEH,YAAY,EACV,OAAO,EACP,eAAe,EACf,iBAAiB,GAClB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC"}