Represents a TypeScript `class` with constructors, members, generics and heritage. Reflects: `ClassDeclaration` and its computed `InterfaceType` for instance side. Example (TS): ```ts export class C implements Iterable { constructor(public value: T) {} length = 0 } ```

Represents a TypeScript `class` with constructors, members, generics and heritage. Reflects: `ClassDeclaration` and its computed `InterfaceType` for instance side. Example (TS): ```ts export class C implements Iterable { constructor(public value: T) {} length = 0 } ```

Represents `extends` and `implements` relationships for classes. Reflects: `HeritageClause` with `extends`/`implements` on classes.

Represents `extends` and `implements` relationships for classes. Reflects: `HeritageClause` with `extends`/`implements` on classes.

Represents a conditional type `T extends U ? X : Y`. Reflects: `ConditionalType`. Example (TS): ```ts type IfNumber = T extends number ? 'num' : 'other' ```

Represents a conditional type `T extends U ? X : Y`. Reflects: `ConditionalType`. Example (TS): ```ts type IfNumber = T extends number ? 'num' : 'other' ```

Represents a class constructor declaration. Reflects: `ConstructorDeclaration`. Example (TS): ```ts class C { constructor(readonly x: number) {} } ```

Represents a class constructor declaration. Reflects: `ConstructorDeclaration`. Example (TS): ```ts class C { constructor(readonly x: number) {} } ```

Represents a top-level (or exported) function declaration with its type and generics. Reflects: `FunctionDeclaration` and its `Signature`. Example (TS): ```ts export function sum(a: T, b: T): T { return (a + b) as T } ```

Represents a top-level (or exported) function declaration with its type and generics. Reflects: `FunctionDeclaration` and its `Signature`. Example (TS): ```ts export function sum(a: T, b: T): T { return (a + b) as T } ```

Represents a `get` accessor. Reflects: `GetAccessorDeclaration`. Example (TS): ```ts class C { get value(): number { return 0 } } ```

Represents a `get` accessor. Reflects: `GetAccessorDeclaration`. Example (TS): ```ts class C { get value(): number { return 0 } } ```

Represents the index type (key type) of an object for mapped/indexed operations. Reflects: `IndexType` used by the checker for `keyof` and index queries.

Represents the index type (key type) of an object for mapped/indexed operations. Reflects: `IndexType` used by the checker for `keyof` and index queries.

Represents an indexed access type, where a property type is selected by an index type. Reflects: `IndexedAccessType`. Example (TS): ```ts type Foo = T[K] ```

Represents an indexed access type, where a property type is selected by an index type. Reflects: `IndexedAccessType`. Example (TS): ```ts type Foo = T[K] ```

Represents an index signature (property access by key type) on an object type. Reflects: `IndexSignatureDeclaration` like `[key: string]: number` and readonly variants. Example (TS): ```ts interface MapLike { readonly [k: string]: number } ```

Represents an index signature (property access by key type) on an object type. Reflects: `IndexSignatureDeclaration` like `[key: string]: number` and readonly variants. Example (TS): ```ts interface MapLike { readonly [k: string]: number } ```

Represents a TypeScript `interface` type with its members and generics. Reflects: `InterfaceDeclaration` and its computed `InterfaceType`. Example (TS): ```ts export interface IterableLike extends Iterable { length: number } ```

Represents a TypeScript `interface` type with its members and generics. Reflects: `InterfaceDeclaration` and its computed `InterfaceType`. Example (TS): ```ts export interface IterableLike extends Iterable { length: number } ```

Represents `extends` relationships for interfaces. Reflects: `HeritageClause` with `extends` entries on interfaces.

Represents `extends` relationships for interfaces. Reflects: `HeritageClause` with `extends` entries on interfaces.

Represents a namespace or module declaration and the collected types within it. Reflects: ModuleDeclaration, ModuleBlock, and NamespaceExportDeclaration.

Represents a namespace or module declaration and the collected types within it. Reflects: ModuleDeclaration, ModuleBlock, and NamespaceExportDeclaration.

Represents a property (class or interface) with additional modifiers. Reflects: `PropertyDeclaration` (class) and `PropertySignature` (interface), including `readonly`, `?` optional, `static`, and visibility modifiers. Example (TS): ```ts interface P { readonly name?: string } class C { private static count: number } ```

Represents a property (class or interface) with additional modifiers. Reflects: `PropertyDeclaration` (class) and `PropertySignature` (interface), including `readonly`, `?` optional, `static`, and visibility modifiers. Example (TS): ```ts interface P { readonly name?: string } class C { private static count: number } ```

Represents a `set` accessor. Reflects: `SetAccessorDeclaration`. Example (TS): ```ts class C { set value(v: number) {} } ```

Represents a `set` accessor. Reflects: `SetAccessorDeclaration`. Example (TS): ```ts class C { set value(v: number) {} } ```

Represents a substitution type: a type parameter substituted with a concrete type under its constraint context. Reflects: `SubstitutionType` in the TS type system.

Represents a substitution type: a type parameter substituted with a concrete type under its constraint context. Reflects: `SubstitutionType` in the TS type system.

Represents a template literal type with string segments and interpolated types. Reflects: `TemplateLiteralType` at the checker layer (TypeFlags.TemplateLiteral). Example (TS): `` `on${string}` `` where texts = ["on", ""] and types = [string]

Represents a template literal type with string segments and interpolated types. Reflects: `TemplateLiteralType` at the checker layer (TypeFlags.TemplateLiteral). Example (TS): `` `on${string}` `` where texts = ["on", ""] and types = [string]

Represents a tuple type and its structure. Reflects: `TupleType` and `TupleTypeNode` including readonly tuples. Example (TS): ```ts type T = readonly [x: number, y?: string, ...rest: boolean[]] ```

Represents a tuple type and its structure. Reflects: `TupleType` and `TupleTypeNode` including readonly tuples. Example (TS): ```ts type T = readonly [x: number, y?: string, ...rest: boolean[]] ```

Represents a tuple element's type and modifiers. Reflects: tuple element nodes including optional `?` and rest `...` (variadic) labels.

Represents a tuple element's type and modifiers. Reflects: tuple element nodes including optional `?` and rest `...` (variadic) labels.

Represents a named alias for a type, possibly generic. Reflects: `TypeAliasDeclaration`. Example (TS): ```ts export type ReadonlyList = ReadonlyArray ```

Represents a named alias for a type, possibly generic. Reflects: `TypeAliasDeclaration`. Example (TS): ```ts export type ReadonlyList = ReadonlyArray ```

Represents an intersection type. Reflects: `IntersectionType` and `IntersectionTypeNode`. Example (TS): `type B = { x: number } & { y: number }`

Represents an intersection type. Reflects: `IntersectionType` and `IntersectionTypeNode`. Example (TS): `type B = { x: number } & { y: number }`

Represents a type literal `{ ... }` with inline members. Reflects: `TypeLiteralNode` and the corresponding anonymous object type. Example (TS): ```ts type Point = { x: number; y: number; (x: number): string } ```

Represents a type literal `{ ... }` with inline members. Reflects: `TypeLiteralNode` and the corresponding anonymous object type. Example (TS): ```ts type Point = { x: number; y: number; (x: number): string } ```

Represents a type predicate or assertion signature like `x is Foo` or `asserts x is Foo`. Reflects: `TypePredicateNode` and `TypePredicate`. Example (TS): ```ts function isNum(x: unknown): x is number { return typeof x === 'number' } function assertIsNum(x: unknown): asserts x is number { if (typeof x !== 'number') throw new Error() } ```

Represents a type predicate or assertion signature like `x is Foo` or `asserts x is Foo`. Reflects: `TypePredicateNode` and `TypePredicate`. Example (TS): ```ts function isNum(x: unknown): x is number { return typeof x === 'number' } function assertIsNum(x: unknown): asserts x is number { if (typeof x !== 'number') throw new Error() } ```

Represents a type query like `typeof Foo` or `typeof Foo.bar`. The type query is resolved to the type of the referenced entity.

Represents a type query like `typeof Foo` or `typeof Foo.bar`. The type query is resolved to the type of the referenced entity.

A member inside classes/interfaces/type literals; each case mirrors the corresponding TypeScript declaration or signature node. Represents a reference to a named type with optional type arguments. Reflects: `TypeReference` (e.g., `Foo`), `ExpressionWithTypeArguments` in heritage clauses, and similar reference forms. `ResolvedType` may hold a concrete resolved key when available. Example (TS): ```ts interface Box { value: T } type IntBox = Box ```

A member inside classes/interfaces/type literals; each case mirrors the corresponding TypeScript declaration or signature node. Represents a reference to a named type with optional type arguments. Reflects: `TypeReference` (e.g., `Foo`), `ExpressionWithTypeArguments` in heritage clauses, and similar reference forms. `ResolvedType` may hold a concrete resolved key when available. Example (TS): ```ts interface Box { value: T } type IntBox = Box ```

Represents a union type. Reflects: `UnionType` and `UnionTypeNode`. Example (TS): `type A = string | number`

Represents a union type. Reflects: `UnionType` and `UnionTypeNode`. Example (TS): `type A = string | number`

A unique identifier for a type.

A unique identifier for a type.

Discriminated union of all high-level TypeScript type shapes the reader can produce. Each case mirrors a concrete TS type or declaration form (see individual types above).

Discriminated union of all high-level TypeScript type shapes the reader can produce. Each case mirrors a concrete TS type or declaration form (see individual types above).

A tuple to be used by types which inline TsTypeParameters rather than referencing by TypeKey. The tuple is used to preserve information for the container type that inlines them.

A tuple to be used by types which inline TsTypeParameters rather than referencing by TypeKey. The tuple is used to preserve information for the container type that inlines them.

Indicates a type can be a member of a TsOverloadableConstruct collection.

Indicates a type can be a member of a TsOverloadableConstruct collection.

DU of TS comment tag types.

DU of TS comment tag types.

Represents a non-empty collection of overloads of a type.

Represents a non-empty collection of overloads of a type.

Represents a call signature in a type literal or interface.

Reflects: `CallSignatureDeclaration`.

Represents a call signature in a type literal or interface.

Reflects: `CallSignatureDeclaration`.

Represents a construct signature (the type of `new` for a value).

Reflects: `ConstructSignatureDeclaration`.

Represents a construct signature (the type of `new` for a value).

Reflects: `ConstructSignatureDeclaration`.

Represents a method-like member (class or interface) or signature-like method.

Reflects: `MethodDeclaration` (class), `MethodSignature` (interface), and function-like members including optional `?` and `static` modifiers.

Represents a method-like member (class or interface) or signature-like method.

Reflects: `MethodDeclaration` (class), `MethodSignature` (interface), and function-like members including optional `?` and `static` modifiers.

Represents a function/method parameter.

Reflects: `ParameterDeclaration` (including optional `?` and rest `...` syntax).

Represents a function/method parameter.

Reflects: `ParameterDeclaration` (including optional `?` and rest `...` syntax).

Represents a top-level or module-scoped var/let/const in TypeScript along with its resolved type.

Reflects: VariableDeclaration and its Type.

Represents a top-level or module-scoped var/let/const in TypeScript along with its resolved type.

Reflects: VariableDeclaration and its Type.

Represents a single enum case in TypeScript.

Reflects:
EnumMember in the TS AST and literal enum values in the TS type system.

Represents a single enum case in TypeScript.

Reflects:
EnumMember in the TS AST and literal enum values in the TS type system.

Represents a TypeScript `enum` type.

Reflects: `EnumDeclaration` and the resulting enum type.

Represents a TypeScript `enum` type.

Reflects: `EnumDeclaration` and the resulting enum type.

DU of TS literal types.

DU of TS literal types.

Represents a generic type parameter with optional constraint and default.

Reflects: `TypeParameterDeclaration` and `TypeParameter` (constraint `extends`, default value).

Represents a generic type parameter with optional constraint and default.

Reflects: `TypeParameterDeclaration` and `TypeParameter` (constraint `extends`, default value).