@jbpark/live-editor 4.5.0 → 4.6.1

package/dist/{document-Ct4jW78J.d.ts → document-DqRSCtsx.d.ts}

@@ -1,13 +1,17 @@
-//#region node_modules/.pnpm/@babel+types@7.29.8/node_modules/@babel/types/lib/index-legacy.d.ts
-// NOTE: This file is autogenerated. Do not modify.
-// See packages/babel-types/scripts/generators/typescript-legacy.ts for script used.
+//#region node_modules/.pnpm/@babel+types@8.0.6/node_modules/@babel/types/lib/index.d.ts
 interface BaseComment {
   value: string;
-  start: number;
-  end: number;
-  loc: SourceLocation;
+  start?: number;
+  end?: number;
+  loc?: SourceLocation;
+  ignore?: boolean;
   type: "CommentBlock" | "CommentLine";
 }
+interface Position {
+  line: number;
+  column: number;
+  index: number;
+}
 interface CommentBlock extends BaseComment {
   type: "CommentBlock";
 }
@@ -16,42 +20,45 @@ interface CommentLine extends BaseComment {
 }
 type Comment = CommentBlock | CommentLine;
 interface SourceLocation {
-  start: {
-    line: number;
-    column: number;
-  };
-  end: {
-    line: number;
-    column: number;
-  };
+  start: Position;
+  end: Position;
+  filename: string | undefined;
+  identifierName: string | undefined | null;
 }
 interface BaseNode {
-  leadingComments: ReadonlyArray<Comment> | null;
-  innerComments: ReadonlyArray<Comment> | null;
-  trailingComments: ReadonlyArray<Comment> | null;
-  start: number | null;
-  end: number | null;
-  loc: SourceLocation | null;
-  type: Node["type"];
+  leadingComments?: Comment[] | null;
+  innerComments?: Comment[] | null;
+  trailingComments?: Comment[] | null;
+  start?: number | null;
+  end?: number | null;
+  loc?: SourceLocation | null;
+  range?: [number, number];
   extra?: Record<string, unknown>;
 }
-type Node = Accessor | AnyTypeAnnotation | ArgumentPlaceholder | ArrayExpression | ArrayPattern | ArrayTypeAnnotation | ArrowFunctionExpression | AssignmentExpression | AssignmentPattern | AwaitExpression | BigIntLiteral | Binary | BinaryExpression | BindExpression | Block | BlockParent | BlockStatement | BooleanLiteral | BooleanLiteralTypeAnnotation | BooleanTypeAnnotation | BreakStatement | CallExpression | CatchClause | Class | ClassAccessorProperty | ClassBody | ClassDeclaration | ClassExpression | ClassImplements | ClassMethod | ClassPrivateMethod | ClassPrivateProperty | ClassProperty | CompletionStatement | Conditional | ConditionalExpression | ContinueStatement | DebuggerStatement | DecimalLiteral | Declaration | DeclareClass | DeclareExportAllDeclaration | DeclareExportDeclaration | DeclareFunction | DeclareInterface | DeclareModule | DeclareModuleExports | DeclareOpaqueType | DeclareTypeAlias | DeclareVariable | DeclaredPredicate | Decorator | Directive | DirectiveLiteral | DoExpression | DoWhileStatement | EmptyStatement | EmptyTypeAnnotation | EnumBody | EnumBooleanBody | EnumBooleanMember | EnumDeclaration | EnumDefaultedMember | EnumMember | EnumNumberBody | EnumNumberMember | EnumStringBody | EnumStringMember | EnumSymbolBody | ExistsTypeAnnotation | ExportAllDeclaration | ExportDeclaration | ExportDefaultDeclaration | ExportDefaultSpecifier | ExportNamedDeclaration | ExportNamespaceSpecifier | ExportSpecifier | Expression | ExpressionStatement | ExpressionWrapper | File | Flow | FlowBaseAnnotation | FlowDeclaration | FlowPredicate | FlowType | For | ForInStatement | ForOfStatement | ForStatement | ForXStatement | Function | FunctionDeclaration | FunctionExpression | FunctionParameter | FunctionParent | FunctionTypeAnnotation | FunctionTypeParam | GenericTypeAnnotation | Identifier | IfStatement | Immutable | Import | ImportAttribute | ImportDeclaration | ImportDefaultSpecifier | ImportExpression | ImportNamespaceSpecifier | ImportOrExportDeclaration | ImportSpecifier | IndexedAccessType | InferredPredicate | InterfaceDeclaration | InterfaceExtends | InterfaceTypeAnnotation | InterpreterDirective | IntersectionTypeAnnotation | JSX | JSXAttribute | JSXClosingElement | JSXClosingFragment | JSXElement | JSXEmptyExpression | JSXExpressionContainer | JSXFragment | JSXIdentifier | JSXMemberExpression | JSXNamespacedName | JSXOpeningElement | JSXOpeningFragment | JSXSpreadAttribute | JSXSpreadChild | JSXText | LVal | LabeledStatement | Literal | LogicalExpression | Loop | MemberExpression | MetaProperty | Method | Miscellaneous | MixedTypeAnnotation | ModuleDeclaration | ModuleExpression | ModuleSpecifier | NewExpression | Noop | NullLiteral | NullLiteralTypeAnnotation | NullableTypeAnnotation | NumberLiteral | NumberLiteralTypeAnnotation | NumberTypeAnnotation | NumericLiteral | ObjectExpression | ObjectMember | ObjectMethod | ObjectPattern | ObjectProperty | ObjectTypeAnnotation | ObjectTypeCallProperty | ObjectTypeIndexer | ObjectTypeInternalSlot | ObjectTypeProperty | ObjectTypeSpreadProperty | OpaqueType | OptionalCallExpression | OptionalIndexedAccessType | OptionalMemberExpression | ParenthesizedExpression | Pattern | PatternLike | PipelineBareFunction | PipelinePrimaryTopicReference | PipelineTopicExpression | Placeholder | Private | PrivateName | Program | Property | Pureish | QualifiedTypeIdentifier | RecordExpression | RegExpLiteral | RegexLiteral | RestElement | RestProperty | ReturnStatement | Scopable | SequenceExpression | SpreadElement | SpreadProperty | Standardized | Statement | StaticBlock | StringLiteral | StringLiteralTypeAnnotation | StringTypeAnnotation | Super | SwitchCase | SwitchStatement | SymbolTypeAnnotation | TSAnyKeyword | TSArrayType | TSAsExpression | TSBaseType | TSBigIntKeyword | TSBooleanKeyword | TSCallSignatureDeclaration | TSConditionalType | TSConstructSignatureDeclaration | TSConstructorType | TSDeclareFunction | TSDeclareMethod | TSEntityName | TSEnumBody | TSEnumDeclaration | TSEnumMember | TSExportAssignment | TSExpressionWithTypeArguments | TSExternalModuleReference | TSFunctionType | TSImportEqualsDeclaration | TSImportType | TSIndexSignature | TSIndexedAccessType | TSInferType | TSInstantiationExpression | TSInterfaceBody | TSInterfaceDeclaration | TSIntersectionType | TSIntrinsicKeyword | TSLiteralType | TSMappedType | TSMethodSignature | TSModuleBlock | TSModuleDeclaration | TSNamedTupleMember | TSNamespaceExportDeclaration | TSNeverKeyword | TSNonNullExpression | TSNullKeyword | TSNumberKeyword | TSObjectKeyword | TSOptionalType | TSParameterProperty | TSParenthesizedType | TSPropertySignature | TSQualifiedName | TSRestType | TSSatisfiesExpression | TSStringKeyword | TSSymbolKeyword | TSTemplateLiteralType | TSThisType | TSTupleType | TSType | TSTypeAliasDeclaration | TSTypeAnnotation | TSTypeAssertion | TSTypeElement | TSTypeLiteral | TSTypeOperator | TSTypeParameter | TSTypeParameterDeclaration | TSTypeParameterInstantiation | TSTypePredicate | TSTypeQuery | TSTypeReference | TSUndefinedKeyword | TSUnionType | TSUnknownKeyword | TSVoidKeyword | TaggedTemplateExpression | TemplateElement | TemplateLiteral | Terminatorless | ThisExpression | ThisTypeAnnotation | ThrowStatement | TopicReference | TryStatement | TupleExpression | TupleTypeAnnotation | TypeAlias | TypeAnnotation | TypeCastExpression | TypeParameter | TypeParameterDeclaration | TypeParameterInstantiation | TypeScript | TypeofTypeAnnotation | UnaryExpression | UnaryLike | UnionTypeAnnotation | UpdateExpression | UserWhitespacable | V8IntrinsicIdentifier | VariableDeclaration | VariableDeclarator | Variance | VoidPattern | VoidTypeAnnotation | While | WhileStatement | WithStatement | YieldExpression;
+type Node = AnyTypeAnnotation | ArgumentPlaceholder | ArrayExpression | ArrayPattern | ArrayTypeAnnotation | ArrowFunctionExpression | AssignmentExpression | AssignmentPattern | AwaitExpression | BigIntLiteral | BigIntLiteralTypeAnnotation | BinaryExpression | BindExpression | BlockStatement | BooleanLiteral | BooleanLiteralTypeAnnotation | BooleanTypeAnnotation | BreakStatement | CallExpression | CatchClause | ClassAccessorProperty | ClassBody | ClassDeclaration | ClassExpression | ClassImplements | ClassMethod | ClassPrivateMethod | ClassPrivateProperty | ClassProperty | ConditionalExpression | ContinueStatement | DebuggerStatement | DeclareClass | DeclareExportAllDeclaration | DeclareExportDeclaration | DeclareFunction | DeclareInterface | DeclareModule | DeclareModuleExports | DeclareOpaqueType | DeclareTypeAlias | DeclareVariable | DeclaredPredicate | Decorator | Directive | DirectiveLiteral | DoExpression | DoWhileStatement | EmptyStatement | EmptyTypeAnnotation | EnumBooleanBody | EnumBooleanMember | EnumDeclaration | EnumDefaultedMember | EnumNumberBody | EnumNumberMember | EnumStringBody | EnumStringMember | EnumSymbolBody | ExistsTypeAnnotation | ExportAllDeclaration | ExportDefaultDeclaration | ExportDefaultSpecifier | ExportNamedDeclaration | ExportNamespaceSpecifier | ExportSpecifier | ExpressionStatement | File | ForInStatement | ForOfStatement | ForStatement | FunctionDeclaration | FunctionExpression | FunctionTypeAnnotation | FunctionTypeParam | GenericTypeAnnotation | Identifier | IfStatement | Import | ImportAttribute | ImportDeclaration | ImportDefaultSpecifier | ImportExpression | ImportNamespaceSpecifier | ImportSpecifier | IndexedAccessType | InferredPredicate | InterfaceDeclaration | InterfaceExtends | InterfaceTypeAnnotation | InterpreterDirective | IntersectionTypeAnnotation | JSXAttribute | JSXClosingElement | JSXClosingFragment | JSXElement | JSXEmptyExpression | JSXExpressionContainer | JSXFragment | JSXIdentifier | JSXMemberExpression | JSXNamespacedName | JSXOpeningElement | JSXOpeningFragment | JSXSpreadAttribute | JSXSpreadChild | JSXText | LabeledStatement | LogicalExpression | MemberExpression | MetaProperty | MixedTypeAnnotation | ModuleExpression | NewExpression | NullLiteral | NullLiteralTypeAnnotation | NullableTypeAnnotation | NumberLiteral$1 | NumberLiteralTypeAnnotation | NumberTypeAnnotation | NumericLiteral | ObjectExpression | ObjectMethod | ObjectPattern | ObjectProperty | ObjectTypeAnnotation | ObjectTypeCallProperty | ObjectTypeIndexer | ObjectTypeInternalSlot | ObjectTypeProperty | ObjectTypeSpreadProperty | OpaqueType | OptionalCallExpression | OptionalIndexedAccessType | OptionalMemberExpression | ParenthesizedExpression | Placeholder | PrivateName | Program | QualifiedTypeIdentifier | RegExpLiteral | RegexLiteral$1 | RestElement | RestProperty$1 | ReturnStatement | SequenceExpression | SpreadElement | SpreadProperty$1 | StaticBlock | StringLiteral | StringLiteralTypeAnnotation | StringTypeAnnotation | Super | SwitchCase | SwitchStatement | SymbolTypeAnnotation | TSAnyKeyword | TSArrayType | TSAsExpression | TSBigIntKeyword | TSBooleanKeyword | TSCallSignatureDeclaration | TSClassImplements | TSConditionalType | TSConstructSignatureDeclaration | TSConstructorType | TSDeclareFunction | TSDeclareMethod | TSEnumBody | TSEnumDeclaration | TSEnumMember | TSExportAssignment | TSExternalModuleReference | TSFunctionType | TSImportEqualsDeclaration | TSImportType | TSIndexSignature | TSIndexedAccessType | TSInferType | TSInstantiationExpression | TSInterfaceBody | TSInterfaceDeclaration | TSInterfaceHeritage | TSIntersectionType | TSIntrinsicKeyword | TSLiteralType | TSMappedType | TSMethodSignature | TSModuleBlock | TSModuleDeclaration | TSNamedTupleMember | TSNamespaceExportDeclaration | TSNeverKeyword | TSNonNullExpression | TSNullKeyword | TSNumberKeyword | TSObjectKeyword | TSOptionalType | TSParameterProperty | TSParenthesizedType | TSPropertySignature | TSQualifiedName | TSRestType | TSSatisfiesExpression | TSStringKeyword | TSSymbolKeyword | TSTemplateLiteralType | TSThisType | TSTupleType | TSTypeAliasDeclaration | TSTypeAnnotation | TSTypeAssertion | TSTypeLiteral | TSTypeOperator | TSTypeParameter | TSTypeParameterDeclaration | TSTypeParameterInstantiation | TSTypePredicate | TSTypeQuery | TSTypeReference | TSUndefinedKeyword | TSUnionType | TSUnknownKeyword | TSVoidKeyword | TaggedTemplateExpression | TemplateElement | TemplateLiteral | ThisExpression | ThisTypeAnnotation | ThrowStatement | TopicReference | TryStatement | TupleTypeAnnotation | TypeAlias | TypeAnnotation | TypeCastExpression | TypeParameter | TypeParameterDeclaration | TypeParameterInstantiation | TypeofTypeAnnotation | UnaryExpression | UnionTypeAnnotation | UpdateExpression | V8IntrinsicIdentifier | VariableDeclaration | VariableDeclarator | Variance | VoidPattern | VoidTypeAnnotation | WhileStatement | WithStatement | YieldExpression;
 interface ArrayExpression extends BaseNode {
   type: "ArrayExpression";
   elements: (null | Expression | SpreadElement)[];
 }
 interface AssignmentExpression extends BaseNode {
   type: "AssignmentExpression";
-  operator: string;
-  left: LVal | OptionalMemberExpression;
+  operator: "=" | "+=" | "-=" | "/=" | "%=" | "*=" | "**=" | "&=" | "|=" | ">>=" | ">>>=" | "<<=" | "^=" | "||=" | "&&=" | "??=";
+  left: Identifier | MemberExpression | OptionalMemberExpression | ArrayPattern | ObjectPattern | TSAsExpression | TSSatisfiesExpression | TSTypeAssertion | TSNonNullExpression;
   right: Expression;
 }
-interface BinaryExpression extends BaseNode {
+interface BinaryExpressionIn extends BaseNode {
   type: "BinaryExpression";
-  operator: "+" | "-" | "/" | "%" | "*" | "**" | "&" | "|" | ">>" | ">>>" | "<<" | "^" | "==" | "===" | "!=" | "!==" | "in" | "instanceof" | ">" | "<" | ">=" | "<=" | "|>";
+  right: Expression;
+  operator: "in";
   left: Expression | PrivateName;
+}
+interface BinaryExpressionNotIn extends BaseNode {
+  type: "BinaryExpression";
   right: Expression;
+  operator: "+" | "-" | "/" | "%" | "*" | "**" | "&" | "|" | ">>" | ">>>" | "<<" | "^" | "==" | "===" | "!=" | "!==" | "instanceof" | ">" | "<" | ">=" | "<=" | "|>";
+  left: Expression;
 }
+type BinaryExpression = BinaryExpressionIn | BinaryExpressionNotIn;
 interface InterpreterDirective extends BaseNode {
   type: "InterpreterDirective";
   value: string;
@@ -71,19 +78,17 @@ interface BlockStatement extends BaseNode {
 }
 interface BreakStatement extends BaseNode {
   type: "BreakStatement";
-  label: Identifier | null;
+  label?: Identifier | null;
 }
 interface CallExpression extends BaseNode {
   type: "CallExpression";
-  callee: Expression | Super | V8IntrinsicIdentifier;
+  callee: Expression | Super | Import | V8IntrinsicIdentifier;
   arguments: (Expression | SpreadElement | ArgumentPlaceholder)[];
-  optional: boolean | null;
-  typeArguments: TypeParameterInstantiation | null;
-  typeParameters: TSTypeParameterInstantiation | null;
+  typeArguments?: TypeParameterInstantiation | TSTypeParameterInstantiation | null;
 }
 interface CatchClause extends BaseNode {
   type: "CatchClause";
-  param: Identifier | ArrayPattern | ObjectPattern | null;
+  param?: Identifier | ArrayPattern | ObjectPattern | null;
   body: BlockStatement;
 }
 interface ConditionalExpression extends BaseNode {
@@ -94,7 +99,7 @@ interface ConditionalExpression extends BaseNode {
 }
 interface ContinueStatement extends BaseNode {
   type: "ContinueStatement";
-  label: Identifier | null;
+  label?: Identifier | null;
 }
 interface DebuggerStatement extends BaseNode {
   type: "DebuggerStatement";
@@ -114,57 +119,57 @@ interface ExpressionStatement extends BaseNode {
 interface File extends BaseNode {
   type: "File";
   program: Program;
-  comments: (CommentBlock | CommentLine)[] | null;
-  tokens: any[] | null;
+  comments?: (CommentBlock | CommentLine)[] | null;
+  tokens?: any[] | null;
 }
 interface ForInStatement extends BaseNode {
   type: "ForInStatement";
-  left: VariableDeclaration | LVal;
+  left: VariableDeclaration | Identifier | MemberExpression | ArrayPattern | ObjectPattern | TSAsExpression | TSSatisfiesExpression | TSTypeAssertion | TSNonNullExpression;
   right: Expression;
   body: Statement;
 }
 interface ForStatement extends BaseNode {
   type: "ForStatement";
-  init: VariableDeclaration | Expression | null;
-  test: Expression | null;
-  update: Expression | null;
+  init?: VariableDeclaration | Expression | null;
+  test?: Expression | null;
+  update?: Expression | null;
   body: Statement;
 }
 interface FunctionDeclaration extends BaseNode {
   type: "FunctionDeclaration";
-  id: Identifier | null;
+  id?: Identifier | null;
   params: FunctionParameter[];
   body: BlockStatement;
   generator: boolean;
   async: boolean;
-  declare: boolean | null;
-  predicate: DeclaredPredicate | InferredPredicate | null;
-  returnType: TypeAnnotation | TSTypeAnnotation | Noop | null;
-  typeParameters: TypeParameterDeclaration | TSTypeParameterDeclaration | Noop | null;
+  declare?: boolean | null;
+  predicate?: FlowPredicate | null;
+  returnType?: TypeAnnotation | TSTypeAnnotation | null;
+  typeParameters?: TypeParameterDeclaration | TSTypeParameterDeclaration | null;
 }
 interface FunctionExpression extends BaseNode {
   type: "FunctionExpression";
-  id: Identifier | null;
+  id?: Identifier | null;
   params: FunctionParameter[];
   body: BlockStatement;
   generator: boolean;
   async: boolean;
-  predicate: DeclaredPredicate | InferredPredicate | null;
-  returnType: TypeAnnotation | TSTypeAnnotation | Noop | null;
-  typeParameters: TypeParameterDeclaration | TSTypeParameterDeclaration | Noop | null;
+  predicate?: FlowPredicate | null;
+  returnType?: TypeAnnotation | TSTypeAnnotation | null;
+  typeParameters?: TypeParameterDeclaration | TSTypeParameterDeclaration | null;
 }
 interface Identifier extends BaseNode {
   type: "Identifier";
   name: string;
-  decorators: Decorator[] | null;
-  optional: boolean | null;
-  typeAnnotation: TypeAnnotation | TSTypeAnnotation | Noop | null;
+  decorators?: Decorator[] | null;
+  optional?: boolean | null;
+  typeAnnotation?: TypeAnnotation | TSTypeAnnotation | null;
 }
 interface IfStatement extends BaseNode {
   type: "IfStatement";
   test: Expression;
   consequent: Statement;
-  alternate: Statement | null;
+  alternate?: Statement | null;
 }
 interface LabeledStatement extends BaseNode {
   type: "LabeledStatement";
@@ -179,6 +184,13 @@ interface NumericLiteral extends BaseNode {
   type: "NumericLiteral";
   value: number;
 }
+/**
+ * @deprecated Use `NumericLiteral`
+ */
+interface NumberLiteral$1 extends BaseNode {
+  type: "NumberLiteral";
+  value: number;
+}
 interface NullLiteral extends BaseNode {
   type: "NullLiteral";
 }
@@ -191,68 +203,114 @@ interface RegExpLiteral extends BaseNode {
   pattern: string;
   flags: string;
 }
+/**
+ * @deprecated Use `RegExpLiteral`
+ */
+interface RegexLiteral$1 extends BaseNode {
+  type: "RegexLiteral";
+  pattern: string;
+  flags: string;
+}
 interface LogicalExpression extends BaseNode {
   type: "LogicalExpression";
   operator: "||" | "&&" | "??";
   left: Expression;
   right: Expression;
 }
-interface MemberExpression extends BaseNode {
+interface MemberExpressionComputed extends BaseNode {
   type: "MemberExpression";
   object: Expression | Super;
-  property: Expression | Identifier | PrivateName;
-  computed: boolean;
-  optional: boolean | null;
+  computed: true;
+  property: Expression;
+}
+interface MemberExpressionNonComputed extends BaseNode {
+  type: "MemberExpression";
+  object: Expression | Super;
+  computed: false;
+  property: Identifier | PrivateName;
 }
+type MemberExpression = MemberExpressionComputed | MemberExpressionNonComputed;
 interface NewExpression extends BaseNode {
   type: "NewExpression";
-  callee: Expression;
+  callee: Expression | V8IntrinsicIdentifier;
   arguments: (Expression | SpreadElement | ArgumentPlaceholder)[];
-  typeArguments: TypeParameterInstantiation | TSTypeParameterInstantiation | null;
-  typeParameters: any;
+  typeArguments?: TypeParameterInstantiation | TSTypeParameterInstantiation | null;
 }
 interface Program extends BaseNode {
   type: "Program";
   body: Statement[];
   directives: Directive[];
   sourceType: "script" | "module";
-  interpreter: InterpreterDirective | null;
+  interpreter?: InterpreterDirective | null;
 }
 interface ObjectExpression extends BaseNode {
   type: "ObjectExpression";
   properties: (ObjectMethod | ObjectProperty | SpreadElement)[];
 }
-interface ObjectMethod extends BaseNode {
+interface ObjectMethodComputed extends BaseNode {
   type: "ObjectMethod";
   kind: "method" | "get" | "set";
-  key: Expression | Identifier | StringLiteral | NumericLiteral | BigIntLiteral;
   params: FunctionParameter[];
   body: BlockStatement;
-  computed: boolean;
   generator: boolean;
   async: boolean;
-  decorators: Decorator[] | null;
-  returnType: TypeAnnotation | TSTypeAnnotation | Noop | null;
-  typeParameters: TypeParameterDeclaration | TSTypeParameterDeclaration | Noop | null;
+  decorators?: Decorator[] | null;
+  returnType?: TypeAnnotation | TSTypeAnnotation | null;
+  typeParameters?: TypeParameterDeclaration | TSTypeParameterDeclaration | null;
+  computed: true;
+  key: Expression;
 }
-interface ObjectProperty extends BaseNode {
+interface ObjectMethodNonComputed extends BaseNode {
+  type: "ObjectMethod";
+  kind: "method" | "get" | "set";
+  params: FunctionParameter[];
+  body: BlockStatement;
+  generator: boolean;
+  async: boolean;
+  decorators?: Decorator[] | null;
+  returnType?: TypeAnnotation | TSTypeAnnotation | null;
+  typeParameters?: TypeParameterDeclaration | TSTypeParameterDeclaration | null;
+  computed: false;
+  key: Identifier | StringLiteral | NumericLiteral | BigIntLiteral;
+}
+type ObjectMethod = ObjectMethodComputed | ObjectMethodNonComputed;
+interface ObjectPropertyComputed extends BaseNode {
+  type: "ObjectProperty";
+  value: Expression | PatternLike;
+  shorthand: boolean;
+  decorators?: Decorator[] | null;
+  computed: true;
+  key: Expression;
+}
+interface ObjectPropertyNonComputed extends BaseNode {
   type: "ObjectProperty";
-  key: Expression | Identifier | StringLiteral | NumericLiteral | BigIntLiteral | DecimalLiteral | PrivateName;
   value: Expression | PatternLike;
-  computed: boolean;
   shorthand: boolean;
-  decorators: Decorator[] | null;
+  decorators?: Decorator[] | null;
+  computed: false;
+  key: Identifier | StringLiteral | NumericLiteral | BigIntLiteral | PrivateName;
 }
+type ObjectProperty = ObjectPropertyComputed | ObjectPropertyNonComputed;
 interface RestElement extends BaseNode {
   type: "RestElement";
-  argument: Identifier | ArrayPattern | ObjectPattern | MemberExpression | TSAsExpression | TSSatisfiesExpression | TSTypeAssertion | TSNonNullExpression | RestElement | AssignmentPattern;
-  decorators: Decorator[] | null;
-  optional: boolean | null;
-  typeAnnotation: TypeAnnotation | TSTypeAnnotation | Noop | null;
+  argument: Identifier | ArrayPattern | ObjectPattern | MemberExpression | TSAsExpression | TSSatisfiesExpression | TSTypeAssertion | TSNonNullExpression;
+  decorators?: Decorator[] | null;
+  optional?: boolean | null;
+  typeAnnotation?: TypeAnnotation | TSTypeAnnotation | null;
+}
+/**
+ * @deprecated Use `RestElement`
+ */
+interface RestProperty$1 extends BaseNode {
+  type: "RestProperty";
+  argument: Identifier | ArrayPattern | ObjectPattern | MemberExpression | TSAsExpression | TSSatisfiesExpression | TSTypeAssertion | TSNonNullExpression;
+  decorators?: Decorator[] | null;
+  optional?: boolean | null;
+  typeAnnotation?: TypeAnnotation | TSTypeAnnotation | null;
 }
 interface ReturnStatement extends BaseNode {
   type: "ReturnStatement";
-  argument: Expression | null;
+  argument?: Expression | null;
 }
 interface SequenceExpression extends BaseNode {
   type: "SequenceExpression";
@@ -264,7 +322,7 @@ interface ParenthesizedExpression extends BaseNode {
 }
 interface SwitchCase extends BaseNode {
   type: "SwitchCase";
-  test: Expression | null;
+  test?: Expression | null;
   consequent: Statement[];
 }
 interface SwitchStatement extends BaseNode {
@@ -282,8 +340,8 @@ interface ThrowStatement extends BaseNode {
 interface TryStatement extends BaseNode {
   type: "TryStatement";
   block: BlockStatement;
-  handler: CatchClause | null;
-  finalizer: BlockStatement | null;
+  handler?: CatchClause | null;
+  finalizer?: BlockStatement | null;
 }
 interface UnaryExpression extends BaseNode {
   type: "UnaryExpression";
@@ -294,20 +352,20 @@ interface UnaryExpression extends BaseNode {
 interface UpdateExpression extends BaseNode {
   type: "UpdateExpression";
   operator: "++" | "--";
-  argument: Expression;
+  argument: Identifier | MemberExpression;
   prefix: boolean;
 }
 interface VariableDeclaration extends BaseNode {
   type: "VariableDeclaration";
   kind: "var" | "let" | "const" | "using" | "await using";
   declarations: VariableDeclarator[];
-  declare: boolean | null;
+  declare?: boolean | null;
 }
 interface VariableDeclarator extends BaseNode {
   type: "VariableDeclarator";
-  id: LVal | VoidPattern;
-  init: Expression | null;
-  definite: boolean | null;
+  id: Identifier | ArrayPattern | ObjectPattern | VoidPattern;
+  init?: Expression | null;
+  definite?: boolean | null;
 }
 interface WhileStatement extends BaseNode {
   type: "WhileStatement";
@@ -323,27 +381,27 @@ interface AssignmentPattern extends BaseNode {
   type: "AssignmentPattern";
   left: Identifier | ObjectPattern | ArrayPattern | MemberExpression | TSAsExpression | TSSatisfiesExpression | TSTypeAssertion | TSNonNullExpression;
   right: Expression;
-  decorators: Decorator[] | null;
-  optional: boolean | null;
-  typeAnnotation: TypeAnnotation | TSTypeAnnotation | Noop | null;
+  decorators?: Decorator[] | null;
+  optional?: boolean | null;
+  typeAnnotation?: TypeAnnotation | TSTypeAnnotation | null;
 }
 interface ArrayPattern extends BaseNode {
   type: "ArrayPattern";
   elements: (null | PatternLike)[];
-  decorators: Decorator[] | null;
-  optional: boolean | null;
-  typeAnnotation: TypeAnnotation | TSTypeAnnotation | Noop | null;
+  decorators?: Decorator[] | null;
+  optional?: boolean | null;
+  typeAnnotation?: TypeAnnotation | TSTypeAnnotation | null;
 }
 interface ArrowFunctionExpression extends BaseNode {
   type: "ArrowFunctionExpression";
   params: FunctionParameter[];
   body: BlockStatement | Expression;
   async: boolean;
-  expression: boolean;
-  generator: boolean;
-  predicate: DeclaredPredicate | InferredPredicate | null;
-  returnType: TypeAnnotation | TSTypeAnnotation | Noop | null;
-  typeParameters: TypeParameterDeclaration | TSTypeParameterDeclaration | Noop | null;
+  expression?: boolean | null;
+  generator?: boolean | null;
+  predicate?: FlowPredicate | null;
+  returnType?: TypeAnnotation | TSTypeAnnotation | null;
+  typeParameters?: TypeParameterDeclaration | TSTypeParameterDeclaration | null;
 }
 interface ClassBody extends BaseNode {
   type: "ClassBody";
@@ -351,58 +409,56 @@ interface ClassBody extends BaseNode {
 }
 interface ClassExpression extends BaseNode {
   type: "ClassExpression";
-  id: Identifier | null;
-  superClass: Expression | null;
+  id?: Identifier | null;
+  superClass?: Expression | null;
   body: ClassBody;
-  decorators: Decorator[] | null;
-  implements: (TSExpressionWithTypeArguments | ClassImplements)[] | null;
-  mixins: InterfaceExtends | null;
-  superTypeParameters: TypeParameterInstantiation | TSTypeParameterInstantiation | null;
-  typeParameters: TypeParameterDeclaration | TSTypeParameterDeclaration | Noop | null;
+  decorators?: Decorator[] | null;
+  implements?: (TSClassImplements | ClassImplements)[] | null;
+  mixins?: InterfaceExtends | null;
+  superTypeArguments?: TypeParameterInstantiation | TSTypeParameterInstantiation | null;
+  typeParameters?: TypeParameterDeclaration | TSTypeParameterDeclaration | null;
 }
 interface ClassDeclaration extends BaseNode {
   type: "ClassDeclaration";
-  id: Identifier | null;
-  superClass: Expression | null;
+  id?: Identifier | null;
+  superClass?: Expression | null;
   body: ClassBody;
-  decorators: Decorator[] | null;
-  abstract: boolean | null;
-  declare: boolean | null;
-  implements: (TSExpressionWithTypeArguments | ClassImplements)[] | null;
-  mixins: InterfaceExtends | null;
-  superTypeParameters: TypeParameterInstantiation | TSTypeParameterInstantiation | null;
-  typeParameters: TypeParameterDeclaration | TSTypeParameterDeclaration | Noop | null;
+  decorators?: Decorator[] | null;
+  abstract?: boolean | null;
+  declare?: boolean | null;
+  implements?: (TSClassImplements | ClassImplements)[] | null;
+  mixins?: InterfaceExtends | null;
+  superTypeArguments?: TypeParameterInstantiation | TSTypeParameterInstantiation | null;
+  typeParameters?: TypeParameterDeclaration | TSTypeParameterDeclaration | null;
 }
 interface ExportAllDeclaration extends BaseNode {
   type: "ExportAllDeclaration";
   source: StringLiteral;
-  attributes: ImportAttribute[] | null;
-  assertions: ImportAttribute[] | null;
-  exportKind: "type" | "value" | null;
+  attributes?: ImportAttribute[] | null;
+  exportKind?: "type" | "value" | null;
 }
 interface ExportDefaultDeclaration extends BaseNode {
   type: "ExportDefaultDeclaration";
-  declaration: TSDeclareFunction | FunctionDeclaration | ClassDeclaration | Expression;
-  exportKind: "value" | null;
+  declaration: FunctionDeclaration | ClassDeclaration | Expression | TSDeclareFunction | TSInterfaceDeclaration | EnumDeclaration;
+  exportKind?: "value" | null;
 }
 interface ExportNamedDeclaration extends BaseNode {
   type: "ExportNamedDeclaration";
-  declaration: Declaration | null;
+  declaration?: VariableDeclaration | FunctionDeclaration | ClassDeclaration | TSDeclareFunction | TSEnumDeclaration | TSImportEqualsDeclaration | TSInterfaceDeclaration | TSModuleDeclaration | TSTypeAliasDeclaration | EnumDeclaration | InterfaceDeclaration | OpaqueType | TypeAlias | null;
   specifiers: (ExportSpecifier | ExportDefaultSpecifier | ExportNamespaceSpecifier)[];
-  source: StringLiteral | null;
-  attributes: ImportAttribute[] | null;
-  assertions: ImportAttribute[] | null;
-  exportKind: "type" | "value" | null;
+  source?: StringLiteral | null;
+  attributes?: ImportAttribute[] | null;
+  exportKind?: "type" | "value" | null;
 }
 interface ExportSpecifier extends BaseNode {
   type: "ExportSpecifier";
-  local: Identifier;
+  local: Identifier | StringLiteral;
   exported: Identifier | StringLiteral;
-  exportKind: "type" | "value" | null;
+  exportKind?: "type" | "value" | null;
 }
 interface ForOfStatement extends BaseNode {
   type: "ForOfStatement";
-  left: VariableDeclaration | LVal;
+  left: VariableDeclaration | Identifier | MemberExpression | ArrayPattern | ObjectPattern | TSAsExpression | TSSatisfiesExpression | TSTypeAssertion | TSNonNullExpression;
   right: Expression;
   body: Statement;
   await: boolean;
@@ -411,11 +467,10 @@ interface ImportDeclaration extends BaseNode {
   type: "ImportDeclaration";
   specifiers: (ImportSpecifier | ImportDefaultSpecifier | ImportNamespaceSpecifier)[];
   source: StringLiteral;
-  attributes: ImportAttribute[] | null;
-  assertions: ImportAttribute[] | null;
-  importKind: "type" | "typeof" | "value" | null;
-  module: boolean | null;
-  phase: "source" | "defer" | null;
+  attributes?: ImportAttribute[] | null;
+  importKind?: "type" | "typeof" | "value" | null;
+  module?: boolean | null;
+  phase?: "source" | "defer" | null;
 }
 interface ImportDefaultSpecifier extends BaseNode {
   type: "ImportDefaultSpecifier";
@@ -429,49 +484,70 @@ interface ImportSpecifier extends BaseNode {
   type: "ImportSpecifier";
   local: Identifier;
   imported: Identifier | StringLiteral;
-  importKind: "type" | "typeof" | "value" | null;
-}
-interface ImportExpression extends BaseNode {
-  type: "ImportExpression";
-  source: Expression;
-  options: Expression | null;
-  phase: "source" | "defer" | null;
+  importKind?: "type" | "typeof" | "value" | null;
 }
 interface MetaProperty extends BaseNode {
   type: "MetaProperty";
   meta: Identifier;
   property: Identifier;
 }
-interface ClassMethod extends BaseNode {
+interface ClassMethodComputed extends BaseNode {
   type: "ClassMethod";
   kind: "get" | "set" | "method" | "constructor";
-  key: Identifier | StringLiteral | NumericLiteral | BigIntLiteral | Expression;
   params: (FunctionParameter | TSParameterProperty)[];
   body: BlockStatement;
-  computed: boolean;
   static: boolean;
   generator: boolean;
   async: boolean;
-  abstract: boolean | null;
-  access: "public" | "private" | "protected" | null;
-  accessibility: "public" | "private" | "protected" | null;
-  decorators: Decorator[] | null;
-  optional: boolean | null;
-  override: boolean;
-  returnType: TypeAnnotation | TSTypeAnnotation | Noop | null;
-  typeParameters: TypeParameterDeclaration | TSTypeParameterDeclaration | Noop | null;
+  abstract?: boolean | null;
+  access?: "public" | "private" | "protected" | null;
+  accessibility?: "public" | "private" | "protected" | null;
+  decorators?: Decorator[] | null;
+  optional?: boolean | null;
+  override?: boolean | null;
+  returnType?: TypeAnnotation | TSTypeAnnotation | null;
+  typeParameters?: TypeParameterDeclaration | TSTypeParameterDeclaration | null;
+  computed: true;
+  key: Expression;
 }
+interface ClassMethodNonComputed extends BaseNode {
+  type: "ClassMethod";
+  kind: "get" | "set" | "method" | "constructor";
+  params: (FunctionParameter | TSParameterProperty)[];
+  body: BlockStatement;
+  static: boolean;
+  generator: boolean;
+  async: boolean;
+  abstract?: boolean | null;
+  access?: "public" | "private" | "protected" | null;
+  accessibility?: "public" | "private" | "protected" | null;
+  decorators?: Decorator[] | null;
+  optional?: boolean | null;
+  override?: boolean | null;
+  returnType?: TypeAnnotation | TSTypeAnnotation | null;
+  typeParameters?: TypeParameterDeclaration | TSTypeParameterDeclaration | null;
+  computed: false;
+  key: Identifier | StringLiteral | NumericLiteral | BigIntLiteral;
+}
+type ClassMethod = ClassMethodComputed | ClassMethodNonComputed;
 interface ObjectPattern extends BaseNode {
   type: "ObjectPattern";
   properties: (RestElement | ObjectProperty)[];
-  decorators: Decorator[] | null;
-  optional: boolean | null;
-  typeAnnotation: TypeAnnotation | TSTypeAnnotation | Noop | null;
+  decorators?: Decorator[] | null;
+  optional?: boolean | null;
+  typeAnnotation?: TypeAnnotation | TSTypeAnnotation | null;
 }
 interface SpreadElement extends BaseNode {
   type: "SpreadElement";
   argument: Expression;
 }
+/**
+ * @deprecated Use `SpreadElement`
+ */
+interface SpreadProperty$1 extends BaseNode {
+  type: "SpreadProperty";
+  argument: Expression;
+}
 interface Super extends BaseNode {
   type: "Super";
 }
@@ -479,13 +555,13 @@ interface TaggedTemplateExpression extends BaseNode {
   type: "TaggedTemplateExpression";
   tag: Expression;
   quasi: TemplateLiteral;
-  typeParameters: TypeParameterInstantiation | TSTypeParameterInstantiation | null;
+  typeArguments?: TypeParameterInstantiation | TSTypeParameterInstantiation | null;
 }
 interface TemplateElement extends BaseNode {
   type: "TemplateElement";
   value: {
     raw: string;
-    cooked?: string;
+    cooked?: string | null;
   };
   tail: boolean;
 }
@@ -496,84 +572,98 @@ interface TemplateLiteral extends BaseNode {
 }
 interface YieldExpression extends BaseNode {
   type: "YieldExpression";
-  argument: Expression | null;
+  argument?: Expression | null;
   delegate: boolean;
 }
 interface AwaitExpression extends BaseNode {
   type: "AwaitExpression";
   argument: Expression;
 }
+interface ImportExpression extends BaseNode {
+  type: "ImportExpression";
+  source: Expression;
+  options?: Expression | null;
+  phase?: "source" | "defer" | null;
+}
 interface Import extends BaseNode {
   type: "Import";
 }
 interface BigIntLiteral extends BaseNode {
   type: "BigIntLiteral";
-  value: string;
+  value: bigint;
 }
 interface ExportNamespaceSpecifier extends BaseNode {
   type: "ExportNamespaceSpecifier";
-  exported: Identifier;
+  exported: Identifier | StringLiteral;
 }
-interface OptionalMemberExpression extends BaseNode {
+interface OptionalMemberExpressionComputed extends BaseNode {
   type: "OptionalMemberExpression";
   object: Expression;
-  property: Expression | Identifier;
-  computed: boolean;
   optional: boolean;
+  computed: true;
+  property: Expression;
 }
+interface OptionalMemberExpressionNonComputed extends BaseNode {
+  type: "OptionalMemberExpression";
+  object: Expression;
+  optional: boolean;
+  computed: false;
+  property: Identifier | PrivateName;
+}
+type OptionalMemberExpression = OptionalMemberExpressionComputed | OptionalMemberExpressionNonComputed;
 interface OptionalCallExpression extends BaseNode {
   type: "OptionalCallExpression";
   callee: Expression;
   arguments: (Expression | SpreadElement | ArgumentPlaceholder)[];
   optional: boolean;
-  typeArguments: TypeParameterInstantiation | null;
-  typeParameters: TSTypeParameterInstantiation | null;
+  typeArguments?: TypeParameterInstantiation | TSTypeParameterInstantiation | null;
 }
-interface ClassProperty extends BaseNode {
+interface ClassPropertyComputed extends BaseNode {
   type: "ClassProperty";
-  key: Identifier | StringLiteral | NumericLiteral | BigIntLiteral | Expression;
-  value: Expression | null;
-  typeAnnotation: TypeAnnotation | TSTypeAnnotation | Noop | null;
-  decorators: Decorator[] | null;
-  computed: boolean;
+  value?: Expression | null;
+  typeAnnotation?: TypeAnnotation | TSTypeAnnotation | null;
+  decorators?: Decorator[] | null;
   static: boolean;
-  abstract: boolean | null;
-  accessibility: "public" | "private" | "protected" | null;
-  declare: boolean | null;
-  definite: boolean | null;
-  optional: boolean | null;
-  override: boolean;
-  readonly: boolean | null;
-  variance: Variance | null;
-}
-interface ClassAccessorProperty extends BaseNode {
-  type: "ClassAccessorProperty";
-  key: Identifier | StringLiteral | NumericLiteral | BigIntLiteral | Expression | PrivateName;
-  value: Expression | null;
-  typeAnnotation: TypeAnnotation | TSTypeAnnotation | Noop | null;
-  decorators: Decorator[] | null;
-  computed: boolean;
-  static: boolean;
-  abstract: boolean | null;
-  accessibility: "public" | "private" | "protected" | null;
-  declare: boolean | null;
-  definite: boolean | null;
-  optional: boolean | null;
-  override: boolean;
-  readonly: boolean | null;
-  variance: Variance | null;
+  abstract?: boolean | null;
+  accessibility?: "public" | "private" | "protected" | null;
+  declare?: boolean | null;
+  definite?: boolean | null;
+  optional?: boolean | null;
+  override?: boolean | null;
+  readonly?: boolean | null;
+  variance?: Variance | null;
+  computed: true;
+  key: Expression;
 }
+interface ClassPropertyNonComputed extends BaseNode {
+  type: "ClassProperty";
+  value?: Expression | null;
+  typeAnnotation?: TypeAnnotation | TSTypeAnnotation | null;
+  decorators?: Decorator[] | null;
+  static: boolean;
+  abstract?: boolean | null;
+  accessibility?: "public" | "private" | "protected" | null;
+  declare?: boolean | null;
+  definite?: boolean | null;
+  optional?: boolean | null;
+  override?: boolean | null;
+  readonly?: boolean | null;
+  variance?: Variance | null;
+  computed: false;
+  key: Identifier | StringLiteral | NumericLiteral | BigIntLiteral;
+}
+type ClassProperty = ClassPropertyComputed | ClassPropertyNonComputed;
 interface ClassPrivateProperty extends BaseNode {
   type: "ClassPrivateProperty";
   key: PrivateName;
-  value: Expression | null;
-  decorators: Decorator[] | null;
+  value?: Expression | null;
+  decorators?: Decorator[] | null;
   static: boolean;
-  definite: boolean | null;
-  optional: boolean | null;
-  readonly: boolean | null;
-  typeAnnotation: TypeAnnotation | TSTypeAnnotation | Noop | null;
-  variance: Variance | null;
+  definite?: boolean | null;
+  optional?: boolean | null;
+  readonly?: boolean | null;
+  typeAnnotation?: TypeAnnotation | TSTypeAnnotation | null;
+  variance?: Variance | null;
 }
 interface ClassPrivateMethod extends BaseNode {
   type: "ClassPrivateMethod";
@@ -582,17 +672,17 @@ interface ClassPrivateMethod extends BaseNode {
   params: (FunctionParameter | TSParameterProperty)[];
   body: BlockStatement;
   static: boolean;
-  abstract: boolean | null;
-  access: "public" | "private" | "protected" | null;
-  accessibility: "public" | "private" | "protected" | null;
+  abstract?: boolean | null;
+  access?: "public" | "private" | "protected" | null;
+  accessibility?: "public" | "private" | "protected" | null;
   async: boolean;
   computed: boolean;
-  decorators: Decorator[] | null;
+  decorators?: Decorator[] | null;
   generator: boolean;
-  optional: boolean | null;
-  override: boolean;
-  returnType: TypeAnnotation | TSTypeAnnotation | Noop | null;
-  typeParameters: TypeParameterDeclaration | TSTypeParameterDeclaration | Noop | null;
+  optional?: boolean | null;
+  override?: boolean | null;
+  returnType?: TypeAnnotation | TSTypeAnnotation | null;
+  typeParameters?: TypeParameterDeclaration | TSTypeParameterDeclaration | null;
 }
 interface PrivateName extends BaseNode {
   type: "PrivateName";
@@ -627,34 +717,34 @@ interface NullLiteralTypeAnnotation extends BaseNode {
 interface ClassImplements extends BaseNode {
   type: "ClassImplements";
   id: Identifier;
-  typeParameters: TypeParameterInstantiation | null;
+  typeParameters?: TypeParameterInstantiation | null;
 }
 interface DeclareClass extends BaseNode {
   type: "DeclareClass";
   id: Identifier;
-  typeParameters: TypeParameterDeclaration | null;
-  extends: InterfaceExtends[] | null;
+  typeParameters?: TypeParameterDeclaration | null;
+  extends?: InterfaceExtends[] | null;
   body: ObjectTypeAnnotation;
-  implements: ClassImplements[] | null;
-  mixins: InterfaceExtends[] | null;
+  implements?: ClassImplements[] | null;
+  mixins?: InterfaceExtends[] | null;
 }
 interface DeclareFunction extends BaseNode {
   type: "DeclareFunction";
   id: Identifier;
-  predicate: DeclaredPredicate | null;
+  predicate?: FlowPredicate | null;
 }
 interface DeclareInterface extends BaseNode {
   type: "DeclareInterface";
   id: Identifier;
-  typeParameters: TypeParameterDeclaration | null;
-  extends: InterfaceExtends[] | null;
+  typeParameters?: TypeParameterDeclaration | null;
+  extends?: InterfaceExtends[] | null;
   body: ObjectTypeAnnotation;
 }
 interface DeclareModule extends BaseNode {
   type: "DeclareModule";
   id: Identifier | StringLiteral;
   body: BlockStatement;
-  kind: "CommonJS" | "ES" | null;
+  kind?: "CommonJS" | "ES" | null;
 }
 interface DeclareModuleExports extends BaseNode {
   type: "DeclareModuleExports";
@@ -663,15 +753,15 @@ interface DeclareModuleExports extends BaseNode {
 interface DeclareTypeAlias extends BaseNode {
   type: "DeclareTypeAlias";
   id: Identifier;
-  typeParameters: TypeParameterDeclaration | null;
+  typeParameters?: TypeParameterDeclaration | null;
   right: FlowType;
 }
 interface DeclareOpaqueType extends BaseNode {
   type: "DeclareOpaqueType";
   id: Identifier;
-  typeParameters: TypeParameterDeclaration | null;
-  supertype: FlowType | null;
-  impltype: FlowType | null;
+  typeParameters?: TypeParameterDeclaration | null;
+  supertype?: FlowType | null;
+  impltype?: FlowType | null;
 }
 interface DeclareVariable extends BaseNode {
   type: "DeclareVariable";
@@ -679,45 +769,43 @@ interface DeclareVariable extends BaseNode {
 }
 interface DeclareExportDeclaration extends BaseNode {
   type: "DeclareExportDeclaration";
-  declaration: Flow | null;
-  specifiers: (ExportSpecifier | ExportNamespaceSpecifier)[] | null;
-  source: StringLiteral | null;
-  attributes: ImportAttribute[] | null;
-  assertions: ImportAttribute[] | null;
-  default: boolean | null;
+  declaration?: Flow | null;
+  specifiers?: (ExportSpecifier | ExportNamespaceSpecifier)[] | null;
+  source?: StringLiteral | null;
+  attributes?: ImportAttribute[] | null;
+  default?: boolean | null;
 }
 interface DeclareExportAllDeclaration extends BaseNode {
   type: "DeclareExportAllDeclaration";
   source: StringLiteral;
-  attributes: ImportAttribute[] | null;
-  assertions: ImportAttribute[] | null;
-  exportKind: "type" | "value" | null;
+  attributes?: ImportAttribute[] | null;
+  exportKind?: "type" | "value" | null;
 }
 interface DeclaredPredicate extends BaseNode {
   type: "DeclaredPredicate";
-  value: Flow;
+  value: Expression;
 }
 interface ExistsTypeAnnotation extends BaseNode {
   type: "ExistsTypeAnnotation";
 }
 interface FunctionTypeAnnotation extends BaseNode {
   type: "FunctionTypeAnnotation";
-  typeParameters: TypeParameterDeclaration | null;
+  typeParameters?: TypeParameterDeclaration | null;
   params: FunctionTypeParam[];
-  rest: FunctionTypeParam | null;
+  rest?: FunctionTypeParam | null;
   returnType: FlowType;
-  this: FunctionTypeParam | null;
+  this?: FunctionTypeParam | null;
 }
 interface FunctionTypeParam extends BaseNode {
   type: "FunctionTypeParam";
-  name: Identifier | null;
+  name?: Identifier | null;
   typeAnnotation: FlowType;
-  optional: boolean | null;
+  optional?: boolean | null;
 }
 interface GenericTypeAnnotation extends BaseNode {
   type: "GenericTypeAnnotation";
   id: Identifier | QualifiedTypeIdentifier;
-  typeParameters: TypeParameterInstantiation | null;
+  typeParameters?: TypeParameterInstantiation | null;
 }
 interface InferredPredicate extends BaseNode {
   type: "InferredPredicate";
@@ -725,18 +813,18 @@ interface InferredPredicate extends BaseNode {
 interface InterfaceExtends extends BaseNode {
   type: "InterfaceExtends";
   id: Identifier | QualifiedTypeIdentifier;
-  typeParameters: TypeParameterInstantiation | null;
+  typeParameters?: TypeParameterInstantiation | null;
 }
 interface InterfaceDeclaration extends BaseNode {
   type: "InterfaceDeclaration";
   id: Identifier;
-  typeParameters: TypeParameterDeclaration | null;
-  extends: InterfaceExtends[] | null;
+  typeParameters?: TypeParameterDeclaration | null;
+  extends?: InterfaceExtends[] | null;
   body: ObjectTypeAnnotation;
 }
 interface InterfaceTypeAnnotation extends BaseNode {
   type: "InterfaceTypeAnnotation";
-  extends: InterfaceExtends[] | null;
+  extends?: InterfaceExtends[] | null;
   body: ObjectTypeAnnotation;
 }
 interface IntersectionTypeAnnotation extends BaseNode {
@@ -757,6 +845,10 @@ interface NumberLiteralTypeAnnotation extends BaseNode {
   type: "NumberLiteralTypeAnnotation";
   value: number;
 }
+interface BigIntLiteralTypeAnnotation extends BaseNode {
+  type: "BigIntLiteralTypeAnnotation";
+  value: bigint;
+}
 interface NumberTypeAnnotation extends BaseNode {
   type: "NumberTypeAnnotation";
 }
@@ -767,7 +859,7 @@ interface ObjectTypeAnnotation extends BaseNode {
   callProperties: ObjectTypeCallProperty[];
   internalSlots: ObjectTypeInternalSlot[];
   exact: boolean;
-  inexact: boolean | null;
+  inexact?: boolean | null;
 }
 interface ObjectTypeInternalSlot extends BaseNode {
   type: "ObjectTypeInternalSlot";
@@ -784,17 +876,17 @@ interface ObjectTypeCallProperty extends BaseNode {
 }
 interface ObjectTypeIndexer extends BaseNode {
   type: "ObjectTypeIndexer";
-  id: Identifier | null;
+  id?: Identifier | null;
   key: FlowType;
   value: FlowType;
-  variance: Variance | null;
+  variance?: Variance | null;
   static: boolean;
 }
 interface ObjectTypeProperty extends BaseNode {
   type: "ObjectTypeProperty";
-  key: Identifier | StringLiteral;
+  key: Identifier | StringLiteral | NumericLiteral;
   value: FlowType;
-  variance: Variance | null;
+  variance?: Variance | null;
   kind: "init" | "get" | "set";
   method: boolean;
   optional: boolean;
@@ -808,8 +900,8 @@ interface ObjectTypeSpreadProperty extends BaseNode {
 interface OpaqueType extends BaseNode {
   type: "OpaqueType";
   id: Identifier;
-  typeParameters: TypeParameterDeclaration | null;
-  supertype: FlowType | null;
+  typeParameters?: TypeParameterDeclaration | null;
+  supertype?: FlowType | null;
   impltype: FlowType;
 }
 interface QualifiedTypeIdentifier extends BaseNode {
@@ -836,17 +928,17 @@ interface TupleTypeAnnotation extends BaseNode {
 }
 interface TypeofTypeAnnotation extends BaseNode {
   type: "TypeofTypeAnnotation";
-  argument: FlowType;
+  argument: FlowType | Identifier;
 }
 interface TypeAlias extends BaseNode {
   type: "TypeAlias";
   id: Identifier;
-  typeParameters: TypeParameterDeclaration | null;
+  typeParameters?: TypeParameterDeclaration | null;
   right: FlowType;
 }
 interface TypeAnnotation extends BaseNode {
   type: "TypeAnnotation";
-  typeAnnotation: FlowType;
+  typeAnnotation: FlowType | Identifier;
 }
 interface TypeCastExpression extends BaseNode {
   type: "TypeCastExpression";
@@ -855,10 +947,10 @@ interface TypeCastExpression extends BaseNode {
 }
 interface TypeParameter extends BaseNode {
   type: "TypeParameter";
-  bound: TypeAnnotation | null;
-  default: FlowType | null;
-  variance: Variance | null;
   name: string;
+  bound?: TypeAnnotation | null;
+  default?: FlowType | null;
+  variance?: Variance | null;
 }
 interface TypeParameterDeclaration extends BaseNode {
   type: "TypeParameterDeclaration";
@@ -940,7 +1032,7 @@ interface OptionalIndexedAccessType extends BaseNode {
 interface JSXAttribute extends BaseNode {
   type: "JSXAttribute";
   name: JSXIdentifier | JSXNamespacedName;
-  value: JSXElement | JSXFragment | StringLiteral | JSXExpressionContainer | null;
+  value?: JSXElement | JSXFragment | StringLiteral | JSXExpressionContainer | null;
 }
 interface JSXClosingElement extends BaseNode {
   type: "JSXClosingElement";
@@ -949,9 +1041,8 @@ interface JSXClosingElement extends BaseNode {
 interface JSXElement extends BaseNode {
   type: "JSXElement";
   openingElement: JSXOpeningElement;
-  closingElement: JSXClosingElement | null;
+  closingElement?: JSXClosingElement | null;
   children: (JSXText | JSXExpressionContainer | JSXSpreadChild | JSXElement | JSXFragment)[];
-  selfClosing: boolean | null;
 }
 interface JSXEmptyExpression extends BaseNode {
   type: "JSXEmptyExpression";
@@ -983,8 +1074,7 @@ interface JSXOpeningElement extends BaseNode {
   name: JSXIdentifier | JSXMemberExpression | JSXNamespacedName;
   attributes: (JSXAttribute | JSXSpreadAttribute)[];
   selfClosing: boolean;
-  typeArguments: TypeParameterInstantiation | null;
-  typeParameters: TSTypeParameterInstantiation | null;
+  typeArguments?: TypeParameterInstantiation | TSTypeParameterInstantiation | null;
 }
 interface JSXSpreadAttribute extends BaseNode {
   type: "JSXSpreadAttribute";
@@ -1006,16 +1096,13 @@ interface JSXOpeningFragment extends BaseNode {
 interface JSXClosingFragment extends BaseNode {
   type: "JSXClosingFragment";
 }
-interface Noop extends BaseNode {
-  type: "Noop";
-}
 interface Placeholder extends BaseNode {
   type: "Placeholder";
   expectedNode: "Identifier" | "StringLiteral" | "Expression" | "Statement" | "Declaration" | "BlockStatement" | "ClassBody" | "Pattern";
   name: Identifier;
-  decorators: Decorator[] | null;
-  optional: boolean | null;
-  typeAnnotation: TypeAnnotation | TSTypeAnnotation | Noop | null;
+  decorators?: Decorator[] | null;
+  optional?: boolean | null;
+  typeAnnotation?: TypeAnnotation | TSTypeAnnotation | null;
 }
 interface V8IntrinsicIdentifier extends BaseNode {
   type: "V8IntrinsicIdentifier";
@@ -1026,9 +1113,44 @@ interface ArgumentPlaceholder extends BaseNode {
 }
 interface BindExpression extends BaseNode {
   type: "BindExpression";
-  object: Expression;
+  object: null | Expression;
   callee: Expression;
 }
+interface ClassAccessorPropertyComputed extends BaseNode {
+  type: "ClassAccessorProperty";
+  value?: Expression | null;
+  typeAnnotation?: TypeAnnotation | TSTypeAnnotation | null;
+  decorators?: Decorator[] | null;
+  static: boolean;
+  abstract?: boolean | null;
+  accessibility?: "public" | "private" | "protected" | null;
+  declare?: boolean | null;
+  definite?: boolean | null;
+  optional?: boolean | null;
+  override?: boolean | null;
+  readonly?: boolean | null;
+  variance?: Variance | null;
+  computed: true;
+  key: Expression;
+}
+interface ClassAccessorPropertyNonComputed extends BaseNode {
+  type: "ClassAccessorProperty";
+  value?: Expression | null;
+  typeAnnotation?: TypeAnnotation | TSTypeAnnotation | null;
+  decorators?: Decorator[] | null;
+  static: boolean;
+  abstract?: boolean | null;
+  accessibility?: "public" | "private" | "protected" | null;
+  declare?: boolean | null;
+  definite?: boolean | null;
+  optional?: boolean | null;
+  override?: boolean | null;
+  readonly?: boolean | null;
+  variance?: Variance | null;
+  computed: false;
+  key: Identifier | StringLiteral | NumericLiteral | BigIntLiteral | PrivateName;
+}
+type ClassAccessorProperty = ClassAccessorPropertyComputed | ClassAccessorPropertyNonComputed;
 interface Decorator extends BaseNode {
   type: "Decorator";
   expression: Expression;
@@ -1042,18 +1164,6 @@ interface ExportDefaultSpecifier extends BaseNode {
   type: "ExportDefaultSpecifier";
   exported: Identifier;
 }
-interface RecordExpression extends BaseNode {
-  type: "RecordExpression";
-  properties: (ObjectProperty | SpreadElement)[];
-}
-interface TupleExpression extends BaseNode {
-  type: "TupleExpression";
-  elements: (Expression | SpreadElement)[];
-}
-interface DecimalLiteral extends BaseNode {
-  type: "DecimalLiteral";
-  value: string;
-}
 interface ModuleExpression extends BaseNode {
   type: "ModuleExpression";
   body: Program;
@@ -1061,56 +1171,62 @@ interface ModuleExpression extends BaseNode {
 interface TopicReference extends BaseNode {
   type: "TopicReference";
 }
-interface PipelineTopicExpression extends BaseNode {
-  type: "PipelineTopicExpression";
-  expression: Expression;
-}
-interface PipelineBareFunction extends BaseNode {
-  type: "PipelineBareFunction";
-  callee: Expression;
-}
-interface PipelinePrimaryTopicReference extends BaseNode {
-  type: "PipelinePrimaryTopicReference";
-}
 interface VoidPattern extends BaseNode {
   type: "VoidPattern";
 }
 interface TSParameterProperty extends BaseNode {
   type: "TSParameterProperty";
   parameter: Identifier | AssignmentPattern;
-  accessibility: "public" | "private" | "protected" | null;
-  decorators: Decorator[] | null;
-  override: boolean | null;
-  readonly: boolean | null;
+  accessibility?: "public" | "private" | "protected" | null;
+  decorators?: Decorator[] | null;
+  override?: boolean | null;
+  readonly?: boolean | null;
 }
 interface TSDeclareFunction extends BaseNode {
   type: "TSDeclareFunction";
-  id: Identifier | null;
-  typeParameters: TSTypeParameterDeclaration | Noop | null;
+  id?: Identifier | null;
+  typeParameters?: TSTypeParameterDeclaration | null;
   params: FunctionParameter[];
-  returnType: TSTypeAnnotation | Noop | null;
+  returnType?: TSTypeAnnotation | null;
   async: boolean;
-  declare: boolean | null;
+  declare?: boolean | null;
   generator: boolean;
 }
-interface TSDeclareMethod extends BaseNode {
+interface TSDeclareMethodComputed extends BaseNode {
   type: "TSDeclareMethod";
-  decorators: Decorator[] | null;
-  key: Identifier | StringLiteral | NumericLiteral | BigIntLiteral | Expression;
-  typeParameters: TSTypeParameterDeclaration | Noop | null;
+  typeParameters?: TSTypeParameterDeclaration | null;
   params: (FunctionParameter | TSParameterProperty)[];
-  returnType: TSTypeAnnotation | Noop | null;
-  abstract: boolean | null;
-  access: "public" | "private" | "protected" | null;
-  accessibility: "public" | "private" | "protected" | null;
+  returnType?: TSTypeAnnotation | null;
+  abstract?: boolean | null;
+  access?: "public" | "private" | "protected" | null;
+  accessibility?: "public" | "private" | "protected" | null;
   async: boolean;
-  computed: boolean;
   generator: boolean;
   kind: "get" | "set" | "method" | "constructor";
-  optional: boolean | null;
-  override: boolean;
+  optional?: boolean | null;
+  override?: boolean | null;
   static: boolean;
+  computed: true;
+  key: Expression;
 }
+interface TSDeclareMethodNonComputed extends BaseNode {
+  type: "TSDeclareMethod";
+  typeParameters?: TSTypeParameterDeclaration | null;
+  params: (FunctionParameter | TSParameterProperty)[];
+  returnType?: TSTypeAnnotation | null;
+  abstract?: boolean | null;
+  access?: "public" | "private" | "protected" | null;
+  accessibility?: "public" | "private" | "protected" | null;
+  async: boolean;
+  generator: boolean;
+  kind: "get" | "set" | "method" | "constructor";
+  optional?: boolean | null;
+  override?: boolean | null;
+  static: boolean;
+  computed: false;
+  key: Identifier | StringLiteral | NumericLiteral | BigIntLiteral | PrivateName;
+}
+type TSDeclareMethod = TSDeclareMethodComputed | TSDeclareMethodNonComputed;
 interface TSQualifiedName extends BaseNode {
   type: "TSQualifiedName";
   left: TSEntityName;
@@ -1118,41 +1234,41 @@ interface TSQualifiedName extends BaseNode {
 }
 interface TSCallSignatureDeclaration extends BaseNode {
   type: "TSCallSignatureDeclaration";
-  typeParameters: TSTypeParameterDeclaration | null;
-  parameters: (ArrayPattern | Identifier | ObjectPattern | RestElement)[];
-  typeAnnotation: TSTypeAnnotation | null;
+  typeParameters?: TSTypeParameterDeclaration | null;
+  params: (ArrayPattern | Identifier | ObjectPattern | RestElement)[];
+  returnType?: TSTypeAnnotation | null;
 }
 interface TSConstructSignatureDeclaration extends BaseNode {
   type: "TSConstructSignatureDeclaration";
-  typeParameters: TSTypeParameterDeclaration | null;
-  parameters: (ArrayPattern | Identifier | ObjectPattern | RestElement)[];
-  typeAnnotation: TSTypeAnnotation | null;
+  typeParameters?: TSTypeParameterDeclaration | null;
+  params: (ArrayPattern | Identifier | ObjectPattern | RestElement)[];
+  returnType?: TSTypeAnnotation | null;
 }
 interface TSPropertySignature extends BaseNode {
   type: "TSPropertySignature";
   key: Expression;
-  typeAnnotation: TSTypeAnnotation | null;
+  typeAnnotation?: TSTypeAnnotation | null;
   computed: boolean;
-  kind: "get" | "set" | null;
-  optional: boolean | null;
-  readonly: boolean | null;
+  kind?: "get" | "set" | null;
+  optional?: boolean | null;
+  readonly?: boolean | null;
 }
 interface TSMethodSignature extends BaseNode {
   type: "TSMethodSignature";
   key: Expression;
-  typeParameters: TSTypeParameterDeclaration | null;
-  parameters: (ArrayPattern | Identifier | ObjectPattern | RestElement)[];
-  typeAnnotation: TSTypeAnnotation | null;
+  typeParameters?: TSTypeParameterDeclaration | null;
+  params: (ArrayPattern | Identifier | ObjectPattern | RestElement)[];
+  returnType?: TSTypeAnnotation | null;
   computed: boolean;
   kind: "method" | "get" | "set";
-  optional: boolean | null;
+  optional?: boolean | null;
 }
 interface TSIndexSignature extends BaseNode {
   type: "TSIndexSignature";
   parameters: Identifier[];
-  typeAnnotation: TSTypeAnnotation | null;
-  readonly: boolean | null;
-  static: boolean | null;
+  typeAnnotation?: TSTypeAnnotation | null;
+  readonly?: boolean | null;
+  static?: boolean | null;
 }
 interface TSAnyKeyword extends BaseNode {
   type: "TSAnyKeyword";
@@ -1198,32 +1314,32 @@ interface TSThisType extends BaseNode {
 }
 interface TSFunctionType extends BaseNode {
   type: "TSFunctionType";
-  typeParameters: TSTypeParameterDeclaration | null;
-  parameters: (ArrayPattern | Identifier | ObjectPattern | RestElement)[];
-  typeAnnotation: TSTypeAnnotation | null;
+  typeParameters?: TSTypeParameterDeclaration | null;
+  params: (ArrayPattern | Identifier | ObjectPattern | RestElement)[];
+  returnType?: TSTypeAnnotation | null;
 }
 interface TSConstructorType extends BaseNode {
   type: "TSConstructorType";
-  typeParameters: TSTypeParameterDeclaration | null;
-  parameters: (ArrayPattern | Identifier | ObjectPattern | RestElement)[];
-  typeAnnotation: TSTypeAnnotation | null;
-  abstract: boolean | null;
+  typeParameters?: TSTypeParameterDeclaration | null;
+  params: (ArrayPattern | Identifier | ObjectPattern | RestElement)[];
+  returnType?: TSTypeAnnotation | null;
+  abstract?: boolean | null;
 }
 interface TSTypeReference extends BaseNode {
   type: "TSTypeReference";
   typeName: TSEntityName;
-  typeParameters: TSTypeParameterInstantiation | null;
+  typeArguments?: TSTypeParameterInstantiation | null;
 }
 interface TSTypePredicate extends BaseNode {
   type: "TSTypePredicate";
   parameterName: Identifier | TSThisType;
-  typeAnnotation: TSTypeAnnotation | null;
-  asserts: boolean | null;
+  typeAnnotation?: TSTypeAnnotation | null;
+  asserts?: boolean | null;
 }
 interface TSTypeQuery extends BaseNode {
   type: "TSTypeQuery";
   exprName: TSEntityName | TSImportType;
-  typeParameters: TSTypeParameterInstantiation | null;
+  typeArguments?: TSTypeParameterInstantiation | null;
 }
 interface TSTypeLiteral extends BaseNode {
   type: "TSTypeLiteral";
@@ -1277,7 +1393,7 @@ interface TSParenthesizedType extends BaseNode {
 interface TSTypeOperator extends BaseNode {
   type: "TSTypeOperator";
   typeAnnotation: TSType;
-  operator: string;
+  operator: "keyof" | "readonly" | "unique";
 }
 interface TSIndexedAccessType extends BaseNode {
   type: "TSIndexedAccessType";
@@ -1286,11 +1402,12 @@ interface TSIndexedAccessType extends BaseNode {
 }
 interface TSMappedType extends BaseNode {
   type: "TSMappedType";
-  typeParameter: TSTypeParameter;
-  typeAnnotation: TSType | null;
-  nameType: TSType | null;
-  optional: true | false | "+" | "-" | null;
-  readonly: true | false | "+" | "-" | null;
+  key: Identifier;
+  constraint: TSType;
+  nameType?: TSType | null;
+  typeAnnotation?: TSType | null;
+  optional?: true | false | "+" | "-" | null;
+  readonly?: true | false | "+" | "-" | null;
 }
 interface TSTemplateLiteralType extends BaseNode {
   type: "TSTemplateLiteralType";
@@ -1301,18 +1418,23 @@ interface TSLiteralType extends BaseNode {
   type: "TSLiteralType";
   literal: NumericLiteral | StringLiteral | BooleanLiteral | BigIntLiteral | TemplateLiteral | UnaryExpression;
 }
-interface TSExpressionWithTypeArguments extends BaseNode {
-  type: "TSExpressionWithTypeArguments";
-  expression: TSEntityName;
-  typeParameters: TSTypeParameterInstantiation | null;
+interface TSClassImplements extends BaseNode {
+  type: "TSClassImplements";
+  expression: Expression;
+  typeArguments?: TSTypeParameterInstantiation | null;
+}
+interface TSInterfaceHeritage extends BaseNode {
+  type: "TSInterfaceHeritage";
+  expression: Expression;
+  typeArguments?: TSTypeParameterInstantiation | null;
 }
 interface TSInterfaceDeclaration extends BaseNode {
   type: "TSInterfaceDeclaration";
   id: Identifier;
-  typeParameters: TSTypeParameterDeclaration | null;
-  extends: TSExpressionWithTypeArguments[] | null;
+  typeParameters?: TSTypeParameterDeclaration | null;
+  extends?: TSInterfaceHeritage[] | null;
   body: TSInterfaceBody;
-  declare: boolean | null;
+  declare?: boolean | null;
 }
 interface TSInterfaceBody extends BaseNode {
   type: "TSInterfaceBody";
@@ -1321,14 +1443,14 @@ interface TSInterfaceBody extends BaseNode {
 interface TSTypeAliasDeclaration extends BaseNode {
   type: "TSTypeAliasDeclaration";
   id: Identifier;
-  typeParameters: TSTypeParameterDeclaration | null;
+  typeParameters?: TSTypeParameterDeclaration | null;
   typeAnnotation: TSType;
-  declare: boolean | null;
+  declare?: boolean | null;
 }
 interface TSInstantiationExpression extends BaseNode {
   type: "TSInstantiationExpression";
   expression: Expression;
-  typeParameters: TSTypeParameterInstantiation | null;
+  typeArguments?: TSTypeParameterInstantiation | null;
 }
 interface TSAsExpression extends BaseNode {
   type: "TSAsExpression";
@@ -1352,24 +1474,21 @@ interface TSEnumBody extends BaseNode {
 interface TSEnumDeclaration extends BaseNode {
   type: "TSEnumDeclaration";
   id: Identifier;
-  members: TSEnumMember[];
-  body: TSEnumBody | null;
-  const: boolean | null;
-  declare: boolean | null;
-  initializer: Expression | null;
+  body: TSEnumBody;
+  const?: boolean | null;
+  declare?: boolean | null;
 }
 interface TSEnumMember extends BaseNode {
   type: "TSEnumMember";
   id: Identifier | StringLiteral;
-  initializer: Expression | null;
+  initializer?: Expression | null;
 }
 interface TSModuleDeclaration extends BaseNode {
   type: "TSModuleDeclaration";
-  id: Identifier | StringLiteral;
-  body: TSModuleBlock | TSModuleDeclaration;
-  declare: boolean | null;
-  global: boolean | null;
-  kind: "global" | "module" | "namespace";
+  id: TSEntityName | StringLiteral;
+  body: TSModuleBlock;
+  declare?: boolean | null;
+  kind: "global" | "namespace" | "module";
 }
 interface TSModuleBlock extends BaseNode {
   type: "TSModuleBlock";
@@ -1377,17 +1496,16 @@ interface TSModuleBlock extends BaseNode {
 }
 interface TSImportType extends BaseNode {
   type: "TSImportType";
-  argument: StringLiteral;
-  qualifier: TSEntityName | null;
-  typeParameters: TSTypeParameterInstantiation | null;
-  options: ObjectExpression | null;
+  source: StringLiteral;
+  qualifier?: TSEntityName | null;
+  typeArguments?: TSTypeParameterInstantiation | null;
+  options?: ObjectExpression | null;
 }
 interface TSImportEqualsDeclaration extends BaseNode {
   type: "TSImportEqualsDeclaration";
   id: Identifier;
   moduleReference: TSEntityName | TSExternalModuleReference;
-  importKind: "type" | "value" | null;
-  isExport: boolean;
+  importKind?: "type" | "value" | null;
 }
 interface TSExternalModuleReference extends BaseNode {
   type: "TSExternalModuleReference";
@@ -1419,80 +1537,23 @@ interface TSTypeParameterDeclaration extends BaseNode {
 }
 interface TSTypeParameter extends BaseNode {
   type: "TSTypeParameter";
-  constraint: TSType | null;
-  default: TSType | null;
-  name: string;
-  const: boolean | null;
-  in: boolean | null;
-  out: boolean | null;
+  constraint?: TSType | null;
+  default?: TSType | null;
+  name: Identifier;
+  const?: boolean | null;
+  in?: boolean | null;
+  out?: boolean | null;
 }
-/**
- * @deprecated Use `NumericLiteral`
- */
-type NumberLiteral = NumericLiteral;
-/**
- * @deprecated Use `RegExpLiteral`
- */
-type RegexLiteral = RegExpLiteral;
-/**
- * @deprecated Use `RestElement`
- */
-type RestProperty = RestElement;
-/**
- * @deprecated Use `SpreadElement`
- */
-type SpreadProperty = SpreadElement;
-type Standardized = ArrayExpression | AssignmentExpression | BinaryExpression | InterpreterDirective | Directive | DirectiveLiteral | BlockStatement | BreakStatement | CallExpression | CatchClause | ConditionalExpression | ContinueStatement | DebuggerStatement | DoWhileStatement | EmptyStatement | ExpressionStatement | File | ForInStatement | ForStatement | FunctionDeclaration | FunctionExpression | Identifier | IfStatement | LabeledStatement | StringLiteral | NumericLiteral | NullLiteral | BooleanLiteral | RegExpLiteral | LogicalExpression | MemberExpression | NewExpression | Program | ObjectExpression | ObjectMethod | ObjectProperty | RestElement | ReturnStatement | SequenceExpression | ParenthesizedExpression | SwitchCase | SwitchStatement | ThisExpression | ThrowStatement | TryStatement | UnaryExpression | UpdateExpression | VariableDeclaration | VariableDeclarator | WhileStatement | WithStatement | AssignmentPattern | ArrayPattern | ArrowFunctionExpression | ClassBody | ClassExpression | ClassDeclaration | ExportAllDeclaration | ExportDefaultDeclaration | ExportNamedDeclaration | ExportSpecifier | ForOfStatement | ImportDeclaration | ImportDefaultSpecifier | ImportNamespaceSpecifier | ImportSpecifier | ImportExpression | MetaProperty | ClassMethod | ObjectPattern | SpreadElement | Super | TaggedTemplateExpression | TemplateElement | TemplateLiteral | YieldExpression | AwaitExpression | Import | BigIntLiteral | ExportNamespaceSpecifier | OptionalMemberExpression | OptionalCallExpression | ClassProperty | ClassAccessorProperty | ClassPrivateProperty | ClassPrivateMethod | PrivateName | StaticBlock | ImportAttribute;
-type Expression = ArrayExpression | AssignmentExpression | BinaryExpression | CallExpression | ConditionalExpression | FunctionExpression | Identifier | StringLiteral | NumericLiteral | NullLiteral | BooleanLiteral | RegExpLiteral | LogicalExpression | MemberExpression | NewExpression | ObjectExpression | SequenceExpression | ParenthesizedExpression | ThisExpression | UnaryExpression | UpdateExpression | ArrowFunctionExpression | ClassExpression | ImportExpression | MetaProperty | Super | TaggedTemplateExpression | TemplateLiteral | YieldExpression | AwaitExpression | Import | BigIntLiteral | OptionalMemberExpression | OptionalCallExpression | TypeCastExpression | JSXElement | JSXFragment | BindExpression | DoExpression | RecordExpression | TupleExpression | DecimalLiteral | ModuleExpression | TopicReference | PipelineTopicExpression | PipelineBareFunction | PipelinePrimaryTopicReference | TSInstantiationExpression | TSAsExpression | TSSatisfiesExpression | TSTypeAssertion | TSNonNullExpression;
-type Binary = BinaryExpression | LogicalExpression;
-type Scopable = BlockStatement | CatchClause | DoWhileStatement | ForInStatement | ForStatement | FunctionDeclaration | FunctionExpression | Program | ObjectMethod | SwitchStatement | WhileStatement | ArrowFunctionExpression | ClassExpression | ClassDeclaration | ForOfStatement | ClassMethod | ClassPrivateMethod | StaticBlock | TSModuleBlock;
-type BlockParent = BlockStatement | CatchClause | DoWhileStatement | ForInStatement | ForStatement | FunctionDeclaration | FunctionExpression | Program | ObjectMethod | SwitchStatement | WhileStatement | ArrowFunctionExpression | ForOfStatement | ClassMethod | ClassPrivateMethod | StaticBlock | TSModuleBlock;
-type Block = BlockStatement | Program | TSModuleBlock;
+type Expression = ArrayExpression | AssignmentExpression | BinaryExpression | CallExpression | ConditionalExpression | FunctionExpression | Identifier | StringLiteral | NumericLiteral | NullLiteral | BooleanLiteral | RegExpLiteral | LogicalExpression | MemberExpression | NewExpression | ObjectExpression | SequenceExpression | ParenthesizedExpression | ThisExpression | UnaryExpression | UpdateExpression | ArrowFunctionExpression | ClassExpression | MetaProperty | TaggedTemplateExpression | TemplateLiteral | YieldExpression | AwaitExpression | ImportExpression | BigIntLiteral | OptionalMemberExpression | OptionalCallExpression | TypeCastExpression | JSXElement | JSXFragment | BindExpression | DoExpression | ModuleExpression | TopicReference | TSInstantiationExpression | TSAsExpression | TSSatisfiesExpression | TSTypeAssertion | TSNonNullExpression;
 type Statement = BlockStatement | BreakStatement | ContinueStatement | DebuggerStatement | DoWhileStatement | EmptyStatement | ExpressionStatement | ForInStatement | ForStatement | FunctionDeclaration | IfStatement | LabeledStatement | ReturnStatement | SwitchStatement | ThrowStatement | TryStatement | VariableDeclaration | WhileStatement | WithStatement | ClassDeclaration | ExportAllDeclaration | ExportDefaultDeclaration | ExportNamedDeclaration | ForOfStatement | ImportDeclaration | DeclareClass | DeclareFunction | DeclareInterface | DeclareModule | DeclareModuleExports | DeclareTypeAlias | DeclareOpaqueType | DeclareVariable | DeclareExportDeclaration | DeclareExportAllDeclaration | InterfaceDeclaration | OpaqueType | TypeAlias | EnumDeclaration | TSDeclareFunction | TSInterfaceDeclaration | TSTypeAliasDeclaration | TSEnumDeclaration | TSModuleDeclaration | TSImportEqualsDeclaration | TSExportAssignment | TSNamespaceExportDeclaration;
-type Terminatorless = BreakStatement | ContinueStatement | ReturnStatement | ThrowStatement | YieldExpression | AwaitExpression;
-type CompletionStatement = BreakStatement | ContinueStatement | ReturnStatement | ThrowStatement;
-type Conditional = ConditionalExpression | IfStatement;
-type Loop = DoWhileStatement | ForInStatement | ForStatement | WhileStatement | ForOfStatement;
-type While = DoWhileStatement | WhileStatement;
-type ExpressionWrapper = ExpressionStatement | ParenthesizedExpression | TypeCastExpression;
-type For = ForInStatement | ForStatement | ForOfStatement;
-type ForXStatement = ForInStatement | ForOfStatement;
-type Function = FunctionDeclaration | FunctionExpression | ObjectMethod | ArrowFunctionExpression | ClassMethod | ClassPrivateMethod;
-type FunctionParent = FunctionDeclaration | FunctionExpression | ObjectMethod | ArrowFunctionExpression | ClassMethod | ClassPrivateMethod | StaticBlock | TSModuleBlock;
-type Pureish = FunctionDeclaration | FunctionExpression | StringLiteral | NumericLiteral | NullLiteral | BooleanLiteral | RegExpLiteral | ArrowFunctionExpression | BigIntLiteral | DecimalLiteral;
-type Declaration = FunctionDeclaration | VariableDeclaration | ClassDeclaration | ExportAllDeclaration | ExportDefaultDeclaration | ExportNamedDeclaration | ImportDeclaration | DeclareClass | DeclareFunction | DeclareInterface | DeclareModule | DeclareModuleExports | DeclareTypeAlias | DeclareOpaqueType | DeclareVariable | DeclareExportDeclaration | DeclareExportAllDeclaration | InterfaceDeclaration | OpaqueType | TypeAlias | EnumDeclaration | TSDeclareFunction | TSInterfaceDeclaration | TSTypeAliasDeclaration | TSEnumDeclaration | TSModuleDeclaration | TSImportEqualsDeclaration;
 type FunctionParameter = Identifier | RestElement | AssignmentPattern | ArrayPattern | ObjectPattern | VoidPattern;
 type PatternLike = Identifier | MemberExpression | RestElement | AssignmentPattern | ArrayPattern | ObjectPattern | VoidPattern | TSAsExpression | TSSatisfiesExpression | TSTypeAssertion | TSNonNullExpression;
-type LVal = Identifier | MemberExpression | RestElement | AssignmentPattern | ArrayPattern | ObjectPattern | TSParameterProperty | TSAsExpression | TSSatisfiesExpression | TSTypeAssertion | TSNonNullExpression;
-type TSEntityName = Identifier | TSQualifiedName;
-type Literal = StringLiteral | NumericLiteral | NullLiteral | BooleanLiteral | RegExpLiteral | TemplateLiteral | BigIntLiteral | DecimalLiteral;
-type Immutable = StringLiteral | NumericLiteral | NullLiteral | BooleanLiteral | BigIntLiteral | JSXAttribute | JSXClosingElement | JSXElement | JSXExpressionContainer | JSXSpreadChild | JSXOpeningElement | JSXText | JSXFragment | JSXOpeningFragment | JSXClosingFragment | DecimalLiteral;
-type UserWhitespacable = ObjectMethod | ObjectProperty | ObjectTypeInternalSlot | ObjectTypeCallProperty | ObjectTypeIndexer | ObjectTypeProperty | ObjectTypeSpreadProperty;
-type Method = ObjectMethod | ClassMethod | ClassPrivateMethod;
-type ObjectMember = ObjectMethod | ObjectProperty;
-type Property = ObjectProperty | ClassProperty | ClassAccessorProperty | ClassPrivateProperty;
-type UnaryLike = UnaryExpression | SpreadElement;
-type Pattern = AssignmentPattern | ArrayPattern | ObjectPattern | VoidPattern;
-type Class = ClassExpression | ClassDeclaration;
-type ImportOrExportDeclaration = ExportAllDeclaration | ExportDefaultDeclaration | ExportNamedDeclaration | ImportDeclaration;
-type ExportDeclaration = ExportAllDeclaration | ExportDefaultDeclaration | ExportNamedDeclaration;
-type ModuleSpecifier = ExportSpecifier | ImportDefaultSpecifier | ImportNamespaceSpecifier | ImportSpecifier | ExportNamespaceSpecifier | ExportDefaultSpecifier;
-type Accessor = ClassAccessorProperty;
-type Private = ClassPrivateProperty | ClassPrivateMethod | PrivateName;
-type Flow = AnyTypeAnnotation | ArrayTypeAnnotation | BooleanTypeAnnotation | BooleanLiteralTypeAnnotation | NullLiteralTypeAnnotation | ClassImplements | DeclareClass | DeclareFunction | DeclareInterface | DeclareModule | DeclareModuleExports | DeclareTypeAlias | DeclareOpaqueType | DeclareVariable | DeclareExportDeclaration | DeclareExportAllDeclaration | DeclaredPredicate | ExistsTypeAnnotation | FunctionTypeAnnotation | FunctionTypeParam | GenericTypeAnnotation | InferredPredicate | InterfaceExtends | InterfaceDeclaration | InterfaceTypeAnnotation | IntersectionTypeAnnotation | MixedTypeAnnotation | EmptyTypeAnnotation | NullableTypeAnnotation | NumberLiteralTypeAnnotation | NumberTypeAnnotation | ObjectTypeAnnotation | ObjectTypeInternalSlot | ObjectTypeCallProperty | ObjectTypeIndexer | ObjectTypeProperty | ObjectTypeSpreadProperty | OpaqueType | QualifiedTypeIdentifier | StringLiteralTypeAnnotation | StringTypeAnnotation | SymbolTypeAnnotation | ThisTypeAnnotation | TupleTypeAnnotation | TypeofTypeAnnotation | TypeAlias | TypeAnnotation | TypeCastExpression | TypeParameter | TypeParameterDeclaration | TypeParameterInstantiation | UnionTypeAnnotation | Variance | VoidTypeAnnotation | EnumDeclaration | EnumBooleanBody | EnumNumberBody | EnumStringBody | EnumSymbolBody | EnumBooleanMember | EnumNumberMember | EnumStringMember | EnumDefaultedMember | IndexedAccessType | OptionalIndexedAccessType;
-type FlowType = AnyTypeAnnotation | ArrayTypeAnnotation | BooleanTypeAnnotation | BooleanLiteralTypeAnnotation | NullLiteralTypeAnnotation | ExistsTypeAnnotation | FunctionTypeAnnotation | GenericTypeAnnotation | InterfaceTypeAnnotation | IntersectionTypeAnnotation | MixedTypeAnnotation | EmptyTypeAnnotation | NullableTypeAnnotation | NumberLiteralTypeAnnotation | NumberTypeAnnotation | ObjectTypeAnnotation | StringLiteralTypeAnnotation | StringTypeAnnotation | SymbolTypeAnnotation | ThisTypeAnnotation | TupleTypeAnnotation | TypeofTypeAnnotation | UnionTypeAnnotation | VoidTypeAnnotation | IndexedAccessType | OptionalIndexedAccessType;
-type FlowBaseAnnotation = AnyTypeAnnotation | BooleanTypeAnnotation | NullLiteralTypeAnnotation | MixedTypeAnnotation | EmptyTypeAnnotation | NumberTypeAnnotation | StringTypeAnnotation | SymbolTypeAnnotation | ThisTypeAnnotation | VoidTypeAnnotation;
-type FlowDeclaration = DeclareClass | DeclareFunction | DeclareInterface | DeclareModule | DeclareModuleExports | DeclareTypeAlias | DeclareOpaqueType | DeclareVariable | DeclareExportDeclaration | DeclareExportAllDeclaration | InterfaceDeclaration | OpaqueType | TypeAlias;
+type TSEntityName = Identifier | ThisExpression | TSQualifiedName;
+type Flow = AnyTypeAnnotation | ArrayTypeAnnotation | BooleanTypeAnnotation | BooleanLiteralTypeAnnotation | NullLiteralTypeAnnotation | ClassImplements | DeclareClass | DeclareFunction | DeclareInterface | DeclareModule | DeclareModuleExports | DeclareTypeAlias | DeclareOpaqueType | DeclareVariable | DeclareExportDeclaration | DeclareExportAllDeclaration | DeclaredPredicate | ExistsTypeAnnotation | FunctionTypeAnnotation | FunctionTypeParam | GenericTypeAnnotation | InferredPredicate | InterfaceExtends | InterfaceDeclaration | InterfaceTypeAnnotation | IntersectionTypeAnnotation | MixedTypeAnnotation | EmptyTypeAnnotation | NullableTypeAnnotation | NumberLiteralTypeAnnotation | BigIntLiteralTypeAnnotation | NumberTypeAnnotation | ObjectTypeAnnotation | ObjectTypeInternalSlot | ObjectTypeCallProperty | ObjectTypeIndexer | ObjectTypeProperty | ObjectTypeSpreadProperty | OpaqueType | QualifiedTypeIdentifier | StringLiteralTypeAnnotation | StringTypeAnnotation | SymbolTypeAnnotation | ThisTypeAnnotation | TupleTypeAnnotation | TypeofTypeAnnotation | TypeAlias | TypeAnnotation | TypeCastExpression | TypeParameter | TypeParameterDeclaration | TypeParameterInstantiation | UnionTypeAnnotation | Variance | VoidTypeAnnotation | EnumDeclaration | EnumBooleanBody | EnumNumberBody | EnumStringBody | EnumSymbolBody | EnumBooleanMember | EnumNumberMember | EnumStringMember | EnumDefaultedMember | IndexedAccessType | OptionalIndexedAccessType;
+type FlowType = AnyTypeAnnotation | ArrayTypeAnnotation | BooleanTypeAnnotation | BooleanLiteralTypeAnnotation | NullLiteralTypeAnnotation | ExistsTypeAnnotation | FunctionTypeAnnotation | GenericTypeAnnotation | InterfaceTypeAnnotation | IntersectionTypeAnnotation | MixedTypeAnnotation | EmptyTypeAnnotation | NullableTypeAnnotation | NumberLiteralTypeAnnotation | BigIntLiteralTypeAnnotation | NumberTypeAnnotation | ObjectTypeAnnotation | StringLiteralTypeAnnotation | StringTypeAnnotation | SymbolTypeAnnotation | ThisTypeAnnotation | TupleTypeAnnotation | TypeofTypeAnnotation | UnionTypeAnnotation | VoidTypeAnnotation | IndexedAccessType | OptionalIndexedAccessType;
 type FlowPredicate = DeclaredPredicate | InferredPredicate;
-type EnumBody = EnumBooleanBody | EnumNumberBody | EnumStringBody | EnumSymbolBody;
-type EnumMember = EnumBooleanMember | EnumNumberMember | EnumStringMember | EnumDefaultedMember;
-type JSX = JSXAttribute | JSXClosingElement | JSXElement | JSXEmptyExpression | JSXExpressionContainer | JSXSpreadChild | JSXIdentifier | JSXMemberExpression | JSXNamespacedName | JSXOpeningElement | JSXSpreadAttribute | JSXText | JSXFragment | JSXOpeningFragment | JSXClosingFragment;
-type Miscellaneous = Noop | Placeholder | V8IntrinsicIdentifier;
-type TypeScript = TSParameterProperty | TSDeclareFunction | TSDeclareMethod | TSQualifiedName | TSCallSignatureDeclaration | TSConstructSignatureDeclaration | TSPropertySignature | TSMethodSignature | TSIndexSignature | TSAnyKeyword | TSBooleanKeyword | TSBigIntKeyword | TSIntrinsicKeyword | TSNeverKeyword | TSNullKeyword | TSNumberKeyword | TSObjectKeyword | TSStringKeyword | TSSymbolKeyword | TSUndefinedKeyword | TSUnknownKeyword | TSVoidKeyword | TSThisType | TSFunctionType | TSConstructorType | TSTypeReference | TSTypePredicate | TSTypeQuery | TSTypeLiteral | TSArrayType | TSTupleType | TSOptionalType | TSRestType | TSNamedTupleMember | TSUnionType | TSIntersectionType | TSConditionalType | TSInferType | TSParenthesizedType | TSTypeOperator | TSIndexedAccessType | TSMappedType | TSTemplateLiteralType | TSLiteralType | TSExpressionWithTypeArguments | TSInterfaceDeclaration | TSInterfaceBody | TSTypeAliasDeclaration | TSInstantiationExpression | TSAsExpression | TSSatisfiesExpression | TSTypeAssertion | TSEnumBody | TSEnumDeclaration | TSEnumMember | TSModuleDeclaration | TSModuleBlock | TSImportType | TSImportEqualsDeclaration | TSExternalModuleReference | TSNonNullExpression | TSExportAssignment | TSNamespaceExportDeclaration | TSTypeAnnotation | TSTypeParameterInstantiation | TSTypeParameterDeclaration | TSTypeParameter;
 type TSTypeElement = TSCallSignatureDeclaration | TSConstructSignatureDeclaration | TSPropertySignature | TSMethodSignature | TSIndexSignature;
-type TSType = TSAnyKeyword | TSBooleanKeyword | TSBigIntKeyword | TSIntrinsicKeyword | TSNeverKeyword | TSNullKeyword | TSNumberKeyword | TSObjectKeyword | TSStringKeyword | TSSymbolKeyword | TSUndefinedKeyword | TSUnknownKeyword | TSVoidKeyword | TSThisType | TSFunctionType | TSConstructorType | TSTypeReference | TSTypePredicate | TSTypeQuery | TSTypeLiteral | TSArrayType | TSTupleType | TSOptionalType | TSRestType | TSUnionType | TSIntersectionType | TSConditionalType | TSInferType | TSParenthesizedType | TSTypeOperator | TSIndexedAccessType | TSMappedType | TSTemplateLiteralType | TSLiteralType | TSExpressionWithTypeArguments | TSImportType;
-type TSBaseType = TSAnyKeyword | TSBooleanKeyword | TSBigIntKeyword | TSIntrinsicKeyword | TSNeverKeyword | TSNullKeyword | TSNumberKeyword | TSObjectKeyword | TSStringKeyword | TSSymbolKeyword | TSUndefinedKeyword | TSUnknownKeyword | TSVoidKeyword | TSThisType | TSTemplateLiteralType | TSLiteralType;
-type ModuleDeclaration = ExportAllDeclaration | ExportDefaultDeclaration | ExportNamedDeclaration | ImportDeclaration;
+type TSType = TSAnyKeyword | TSBooleanKeyword | TSBigIntKeyword | TSIntrinsicKeyword | TSNeverKeyword | TSNullKeyword | TSNumberKeyword | TSObjectKeyword | TSStringKeyword | TSSymbolKeyword | TSUndefinedKeyword | TSUnknownKeyword | TSVoidKeyword | TSThisType | TSFunctionType | TSConstructorType | TSTypeReference | TSTypePredicate | TSTypeQuery | TSTypeLiteral | TSArrayType | TSTupleType | TSOptionalType | TSRestType | TSNamedTupleMember | TSUnionType | TSIntersectionType | TSConditionalType | TSInferType | TSParenthesizedType | TSTypeOperator | TSIndexedAccessType | TSMappedType | TSTemplateLiteralType | TSLiteralType | TSClassImplements | TSInterfaceHeritage | TSImportType;
 //#endregion
 //#region src/types/index.d.ts
 interface Module {
@@ -1550,4 +1611,4 @@ interface SectionPreviewCache {
 declare const createSectionPreviewCache: () => SectionPreviewCache;
 //#endregion
 export { ObjectExpression as C, Node as S, Module as _, SectionOptions as a, Expression as b, createSectionPreviewCache as c, generateSectionPreview as d, generateSectionPreviews as f, replaceDocumentSections as g, parseDocument as h, DocumentTree as i, fillSectionIds as l, inspectDocument as m, DocumentOptions as n, SectionPreviewCache as o, getSections as p, DocumentProblem as r, clearDocumentParseCache as s, DocumentInspection as t, generateDocumentCode as u, Section as v, File as x, ArrayExpression as y };
-//# sourceMappingURL=document-Ct4jW78J.d.ts.map
+//# sourceMappingURL=document-DqRSCtsx.d.ts.map