condenser 0.0.4 → 0.0.5

data/lib/condenser/processors/node_modules/@babel/types/lib/definitions/typescript.js

@@ -8,12 +8,8 @@ var _es = require("./es2015");
 
 function _interopRequireWildcard(obj) { if (obj && obj.__esModule) { return obj; } else { var newObj = {}; if (obj != null) { for (var key in obj) { if (Object.prototype.hasOwnProperty.call(obj, key)) { var desc = Object.defineProperty && Object.getOwnPropertyDescriptor ? Object.getOwnPropertyDescriptor(obj, key) : {}; if (desc.get || desc.set) { Object.defineProperty(newObj, key, desc); } else { newObj[key] = obj[key]; } } } } newObj.default = obj; return newObj; } }
 
-function _objectSpread(target) { for (var i = 1; i < arguments.length; i++) { var source = arguments[i] != null ? arguments[i] : {}; var ownKeys = Object.keys(source); if (typeof Object.getOwnPropertySymbols === 'function') { ownKeys = ownKeys.concat(Object.getOwnPropertySymbols(source).filter(function (sym) { return Object.getOwnPropertyDescriptor(source, sym).enumerable; })); } ownKeys.forEach(function (key) { _defineProperty(target, key, source[key]); }); } return target; }
-
-function _defineProperty(obj, key, value) { if (key in obj) { Object.defineProperty(obj, key, { value: value, enumerable: true, configurable: true, writable: true }); } else { obj[key] = value; } return obj; }
-
-var bool = (0, _utils.assertValueType)("boolean");
-var tSFunctionTypeAnnotationCommon = {
+const bool = (0, _utils.assertValueType)("boolean");
+const tSFunctionTypeAnnotationCommon = {
   returnType: {
     validate: (0, _utils.assertNodeType)("TSTypeAnnotation", "Noop"),
     optional: true
@@ -43,11 +39,11 @@ var tSFunctionTypeAnnotationCommon = {
 (0, _utils.default)("TSDeclareFunction", {
   aliases: ["Statement", "Declaration"],
   visitor: ["id", "typeParameters", "params", "returnType"],
-  fields: _objectSpread({}, _core.functionDeclarationCommon, tSFunctionTypeAnnotationCommon)
+  fields: Object.assign({}, _core.functionDeclarationCommon, tSFunctionTypeAnnotationCommon)
 });
 (0, _utils.default)("TSDeclareMethod", {
   visitor: ["decorators", "key", "typeParameters", "params", "returnType"],
-  fields: _objectSpread({}, _es.classMethodOrDeclareMethodCommon, tSFunctionTypeAnnotationCommon)
+  fields: Object.assign({}, _es.classMethodOrDeclareMethodCommon, tSFunctionTypeAnnotationCommon)
 });
 (0, _utils.default)("TSQualifiedName", {
   aliases: ["TSEntityName"],
@@ -57,19 +53,19 @@ var tSFunctionTypeAnnotationCommon = {
     right: (0, _utils.validateType)("Identifier")
   }
 });
-var signatureDeclarationCommon = {
+const signatureDeclarationCommon = {
   typeParameters: (0, _utils.validateOptionalType)("TSTypeParameterDeclaration"),
   parameters: (0, _utils.validateArrayOfType)(["Identifier", "RestElement"]),
   typeAnnotation: (0, _utils.validateOptionalType)("TSTypeAnnotation")
 };
-var callConstructSignatureDeclaration = {
+const callConstructSignatureDeclaration = {
   aliases: ["TSTypeElement"],
   visitor: ["typeParameters", "parameters", "typeAnnotation"],
   fields: signatureDeclarationCommon
 };
 (0, _utils.default)("TSCallSignatureDeclaration", callConstructSignatureDeclaration);
 (0, _utils.default)("TSConstructSignatureDeclaration", callConstructSignatureDeclaration);
-var namedTypeElementCommon = {
+const namedTypeElementCommon = {
   key: (0, _utils.validateType)("Expression"),
   computed: (0, _utils.validate)(bool),
   optional: (0, _utils.validateOptional)(bool)
@@ -77,7 +73,7 @@ var namedTypeElementCommon = {
 (0, _utils.default)("TSPropertySignature", {
   aliases: ["TSTypeElement"],
   visitor: ["key", "typeAnnotation", "initializer"],
-  fields: _objectSpread({}, namedTypeElementCommon, {
+  fields: Object.assign({}, namedTypeElementCommon, {
     readonly: (0, _utils.validateOptional)(bool),
     typeAnnotation: (0, _utils.validateOptionalType)("TSTypeAnnotation"),
     initializer: (0, _utils.validateOptionalType)("Expression")
@@ -86,7 +82,7 @@ var namedTypeElementCommon = {
 (0, _utils.default)("TSMethodSignature", {
   aliases: ["TSTypeElement"],
   visitor: ["key", "typeParameters", "parameters", "typeAnnotation"],
-  fields: _objectSpread({}, signatureDeclarationCommon, namedTypeElementCommon)
+  fields: Object.assign({}, signatureDeclarationCommon, namedTypeElementCommon)
 });
 (0, _utils.default)("TSIndexSignature", {
   aliases: ["TSTypeElement"],
@@ -97,10 +93,9 @@ var namedTypeElementCommon = {
     typeAnnotation: (0, _utils.validateOptionalType)("TSTypeAnnotation")
   }
 });
-var tsKeywordTypes = ["TSAnyKeyword", "TSNumberKeyword", "TSObjectKeyword", "TSBooleanKeyword", "TSStringKeyword", "TSSymbolKeyword", "TSVoidKeyword", "TSUndefinedKeyword", "TSNullKeyword", "TSNeverKeyword"];
+const tsKeywordTypes = ["TSAnyKeyword", "TSUnknownKeyword", "TSNumberKeyword", "TSObjectKeyword", "TSBooleanKeyword", "TSStringKeyword", "TSSymbolKeyword", "TSVoidKeyword", "TSUndefinedKeyword", "TSNullKeyword", "TSNeverKeyword"];
 
-for (var _i = 0; _i < tsKeywordTypes.length; _i++) {
-  var type = tsKeywordTypes[_i];
+for (const type of tsKeywordTypes) {
   (0, _utils.default)(type, {
     aliases: ["TSType"],
     visitor: [],
@@ -113,9 +108,9 @@ for (var _i = 0; _i < tsKeywordTypes.length; _i++) {
   visitor: [],
   fields: {}
 });
-var fnOrCtr = {
+const fnOrCtr = {
   aliases: ["TSType"],
-  visitor: ["typeParameters", "typeAnnotation"],
+  visitor: ["typeParameters", "parameters", "typeAnnotation"],
   fields: signatureDeclarationCommon
 };
 (0, _utils.default)("TSFunctionType", fnOrCtr);
@@ -140,7 +135,7 @@ var fnOrCtr = {
   aliases: ["TSType"],
   visitor: ["exprName"],
   fields: {
-    exprName: (0, _utils.validateType)("TSEntityName")
+    exprName: (0, _utils.validateType)(["TSEntityName", "TSImportType"])
   }
 });
 (0, _utils.default)("TSTypeLiteral", {
@@ -164,7 +159,21 @@ var fnOrCtr = {
     elementTypes: (0, _utils.validateArrayOfType)("TSType")
   }
 });
-var unionOrIntersection = {
+(0, _utils.default)("TSOptionalType", {
+  aliases: ["TSType"],
+  visitor: ["typeAnnotation"],
+  fields: {
+    typeAnnotation: (0, _utils.validateType)("TSType")
+  }
+});
+(0, _utils.default)("TSRestType", {
+  aliases: ["TSType"],
+  visitor: ["typeAnnotation"],
+  fields: {
+    typeAnnotation: (0, _utils.validateType)("TSType")
+  }
+});
+const unionOrIntersection = {
   aliases: ["TSType"],
   visitor: ["types"],
   fields: {
@@ -187,7 +196,7 @@ var unionOrIntersection = {
   aliases: ["TSType"],
   visitor: ["typeParameter"],
   fields: {
-    typeParameter: (0, _utils.validateType)("TSType")
+    typeParameter: (0, _utils.validateType)("TSTypeParameter")
   }
 });
 (0, _utils.default)("TSParenthesizedType", {
@@ -310,11 +319,21 @@ var unionOrIntersection = {
   }
 });
 (0, _utils.default)("TSModuleBlock", {
+  aliases: ["Scopable", "Block", "BlockParent"],
   visitor: ["body"],
   fields: {
     body: (0, _utils.validateArrayOfType)("Statement")
   }
 });
+(0, _utils.default)("TSImportType", {
+  aliases: ["TSType"],
+  visitor: ["argument", "qualifier", "typeParameters"],
+  fields: {
+    argument: (0, _utils.validateType)("StringLiteral"),
+    qualifier: (0, _utils.validateOptionalType)("TSEntityName"),
+    typeParameters: (0, _utils.validateOptionalType)("TSTypeParameterInstantiation")
+  }
+});
 (0, _utils.default)("TSImportEqualsDeclaration", {
   aliases: ["Statement"],
   visitor: ["id", "moduleReference"],

data/lib/condenser/processors/node_modules/@babel/types/lib/definitions/utils.js

@@ -16,25 +16,28 @@ exports.assertOneOf = assertOneOf;
 exports.assertNodeType = assertNodeType;
 exports.assertNodeOrValueType = assertNodeOrValueType;
 exports.assertValueType = assertValueType;
+exports.assertShape = assertShape;
 exports.chain = chain;
 exports.default = defineType;
 exports.DEPRECATED_KEYS = exports.BUILDER_KEYS = exports.NODE_FIELDS = exports.FLIPPED_ALIAS_KEYS = exports.ALIAS_KEYS = exports.VISITOR_KEYS = void 0;
 
 var _is = _interopRequireDefault(require("../validators/is"));
 
+var _validate = require("../validators/validate");
+
 function _interopRequireDefault(obj) { return obj && obj.__esModule ? obj : { default: obj }; }
 
-var VISITOR_KEYS = {};
+const VISITOR_KEYS = {};
 exports.VISITOR_KEYS = VISITOR_KEYS;
-var ALIAS_KEYS = {};
+const ALIAS_KEYS = {};
 exports.ALIAS_KEYS = ALIAS_KEYS;
-var FLIPPED_ALIAS_KEYS = {};
+const FLIPPED_ALIAS_KEYS = {};
 exports.FLIPPED_ALIAS_KEYS = FLIPPED_ALIAS_KEYS;
-var NODE_FIELDS = {};
+const NODE_FIELDS = {};
 exports.NODE_FIELDS = NODE_FIELDS;
-var BUILDER_KEYS = {};
+const BUILDER_KEYS = {};
 exports.BUILDER_KEYS = BUILDER_KEYS;
-var DEPRECATED_KEYS = {};
+const DEPRECATED_KEYS = {};
 exports.DEPRECATED_KEYS = DEPRECATED_KEYS;
 
 function getType(val) {
@@ -51,12 +54,12 @@ function getType(val) {
 
 function validate(validate) {
   return {
-    validate: validate
+    validate
   };
 }
 
 function typeIs(typeName) {
-  return typeof typeName === "string" ? assertNodeType(typeName) : assertNodeType.apply(void 0, typeName);
+  return typeof typeName === "string" ? assertNodeType(typeName) : assertNodeType(...typeName);
 }
 
 function validateType(typeName) {
@@ -65,7 +68,7 @@ function validateType(typeName) {
 
 function validateOptional(validate) {
   return {
-    validate: validate,
+    validate,
     optional: true
   };
 }
@@ -93,8 +96,8 @@ function assertEach(callback) {
   function validator(node, key, val) {
     if (!Array.isArray(val)) return;
 
-    for (var i = 0; i < val.length; i++) {
-      callback(node, key + "[" + i + "]", val[i]);
+    for (let i = 0; i < val.length; i++) {
+      callback(node, `${key}[${i}]`, val[i]);
     }
   }
 
@@ -102,14 +105,10 @@ function assertEach(callback) {
   return validator;
 }
 
-function assertOneOf() {
-  for (var _len = arguments.length, values = new Array(_len), _key = 0; _key < _len; _key++) {
-    values[_key] = arguments[_key];
-  }
-
+function assertOneOf(...values) {
   function validate(node, key, val) {
     if (values.indexOf(val) < 0) {
-      throw new TypeError("Property " + key + " expected value to be one of " + JSON.stringify(values) + " but got " + JSON.stringify(val));
+      throw new TypeError(`Property ${key} expected value to be one of ${JSON.stringify(values)} but got ${JSON.stringify(val)}`);
     }
   }
 
@@ -117,17 +116,11 @@ function assertOneOf() {
   return validate;
 }
 
-function assertNodeType() {
-  for (var _len2 = arguments.length, types = new Array(_len2), _key2 = 0; _key2 < _len2; _key2++) {
-    types[_key2] = arguments[_key2];
-  }
-
+function assertNodeType(...types) {
   function validate(node, key, val) {
-    var valid = false;
-
-    for (var _i = 0; _i < types.length; _i++) {
-      var type = types[_i];
+    let valid = false;
 
+    for (const type of types) {
       if ((0, _is.default)(type, val)) {
         valid = true;
         break;
@@ -135,7 +128,7 @@ function assertNodeType() {
     }
 
     if (!valid) {
-      throw new TypeError("Property " + key + " of " + node.type + " expected node to be of a type " + JSON.stringify(types) + " " + ("but instead got " + JSON.stringify(val && val.type)));
+      throw new TypeError(`Property ${key} of ${node.type} expected node to be of a type ${JSON.stringify(types)} ` + `but instead got ${JSON.stringify(val && val.type)}`);
     }
   }
 
@@ -143,17 +136,11 @@ function assertNodeType() {
   return validate;
 }
 
-function assertNodeOrValueType() {
-  for (var _len3 = arguments.length, types = new Array(_len3), _key3 = 0; _key3 < _len3; _key3++) {
-    types[_key3] = arguments[_key3];
-  }
-
+function assertNodeOrValueType(...types) {
   function validate(node, key, val) {
-    var valid = false;
-
-    for (var _i2 = 0; _i2 < types.length; _i2++) {
-      var type = types[_i2];
+    let valid = false;
 
+    for (const type of types) {
       if (getType(val) === type || (0, _is.default)(type, val)) {
         valid = true;
         break;
@@ -161,7 +148,7 @@ function assertNodeOrValueType() {
     }
 
     if (!valid) {
-      throw new TypeError("Property " + key + " of " + node.type + " expected node to be of a type " + JSON.stringify(types) + " " + ("but instead got " + JSON.stringify(val && val.type)));
+      throw new TypeError(`Property ${key} of ${node.type} expected node to be of a type ${JSON.stringify(types)} ` + `but instead got ${JSON.stringify(val && val.type)}`);
     }
   }
 
@@ -171,10 +158,10 @@ function assertNodeOrValueType() {
 
 function assertValueType(type) {
   function validate(node, key, val) {
-    var valid = getType(val) === type;
+    const valid = getType(val) === type;
 
     if (!valid) {
-      throw new TypeError("Property " + key + " expected type of " + type + " but got " + getType(val));
+      throw new TypeError(`Property ${key} expected type of ${type} but got ${getType(val)}`);
     }
   }
 
@@ -182,46 +169,60 @@ function assertValueType(type) {
   return validate;
 }
 
-function chain() {
-  for (var _len4 = arguments.length, fns = new Array(_len4), _key4 = 0; _key4 < _len4; _key4++) {
-    fns[_key4] = arguments[_key4];
-  }
+function assertShape(shape) {
+  function validate(node, key, val) {
+    const errors = [];
+
+    for (const property of Object.keys(shape)) {
+      try {
+        (0, _validate.validateField)(node, property, val[property], shape[property]);
+      } catch (error) {
+        if (error instanceof TypeError) {
+          errors.push(error.message);
+          continue;
+        }
+
+        throw error;
+      }
+    }
 
-  function validate() {
-    for (var _i3 = 0; _i3 < fns.length; _i3++) {
-      var fn = fns[_i3];
-      fn.apply(void 0, arguments);
+    if (errors.length) {
+      throw new TypeError(`Property ${key} of ${node.type} expected to have the following:\n${errors.join("\n")}`);
     }
   }
 
-  validate.chainOf = fns;
+  validate.shapeOf = shape;
   return validate;
 }
 
-function defineType(type, opts) {
-  if (opts === void 0) {
-    opts = {};
+function chain(...fns) {
+  function validate(...args) {
+    for (const fn of fns) {
+      fn(...args);
+    }
   }
 
-  var inherits = opts.inherits && store[opts.inherits] || {};
-  var fields = opts.fields || inherits.fields || {};
-  var visitor = opts.visitor || inherits.visitor || [];
-  var aliases = opts.aliases || inherits.aliases || [];
-  var builder = opts.builder || inherits.builder || opts.visitor || [];
+  validate.chainOf = fns;
+  return validate;
+}
+
+function defineType(type, opts = {}) {
+  const inherits = opts.inherits && store[opts.inherits] || {};
+  const fields = opts.fields || inherits.fields || {};
+  const visitor = opts.visitor || inherits.visitor || [];
+  const aliases = opts.aliases || inherits.aliases || [];
+  const builder = opts.builder || inherits.builder || opts.visitor || [];
 
   if (opts.deprecatedAlias) {
     DEPRECATED_KEYS[opts.deprecatedAlias] = type;
   }
 
-  var _arr = visitor.concat(builder);
-
-  for (var _i4 = 0; _i4 < _arr.length; _i4++) {
-    var _key5 = _arr[_i4];
-    fields[_key5] = fields[_key5] || {};
+  for (const key of visitor.concat(builder)) {
+    fields[key] = fields[key] || {};
   }
 
-  for (var key in fields) {
-    var field = fields[key];
+  for (const key of Object.keys(fields)) {
+    const field = fields[key];
 
     if (builder.indexOf(key) === -1) {
       field.optional = true;
@@ -238,11 +239,11 @@ function defineType(type, opts) {
   BUILDER_KEYS[type] = opts.builder = builder;
   NODE_FIELDS[type] = opts.fields = fields;
   ALIAS_KEYS[type] = opts.aliases = aliases;
-  aliases.forEach(function (alias) {
+  aliases.forEach(alias => {
     FLIPPED_ALIAS_KEYS[alias] = FLIPPED_ALIAS_KEYS[alias] || [];
     FLIPPED_ALIAS_KEYS[alias].push(type);
   });
   store[type] = opts;
 }
 
-var store = {};
+const store = {};

data/lib/condenser/processors/node_modules/@babel/types/lib/index.d.ts

@@ -1,23 +1,23 @@
 // NOTE: This file is autogenerated. Do not modify.
-// See scripts/generators/typescript.js for script used.
+// See packages/babel-types/scripts/generators/typescript.js for script used.
 
 interface BaseComment {
   value: string;
   start: number;
   end: number;
   loc: SourceLocation;
-  type: "BlockComment" | "LineComment";
+  type: "CommentBlock" | "CommentLine";
 }
 
-export interface BlockComment extends BaseComment {
-  type: "BlockComment";
+export interface CommentBlock extends BaseComment {
+  type: "CommentBlock";
 }
 
-export interface LineComment extends BaseComment {
-  type: "LineComment";
+export interface CommentLine extends BaseComment {
+  type: "CommentLine";
 }
 
-export type Comment = BlockComment | LineComment;
+export type Comment = CommentBlock | CommentLine;
 
 export interface SourceLocation {
   start: {
@@ -41,7 +41,7 @@ interface BaseNode {
   type: Node["type"];
 }
 
-export type Node = AnyTypeAnnotation | ArrayExpression | ArrayPattern | ArrayTypeAnnotation | ArrowFunctionExpression | AssignmentExpression | AssignmentPattern | AwaitExpression | Binary | BinaryExpression | BindExpression | Block | BlockParent | BlockStatement | BooleanLiteral | BooleanLiteralTypeAnnotation | BooleanTypeAnnotation | BreakStatement | CallExpression | CatchClause | Class | ClassBody | ClassDeclaration | ClassExpression | ClassImplements | ClassMethod | ClassProperty | CompletionStatement | Conditional | ConditionalExpression | ContinueStatement | DebuggerStatement | Declaration | DeclareClass | DeclareExportAllDeclaration | DeclareExportDeclaration | DeclareFunction | DeclareInterface | DeclareModule | DeclareModuleExports | DeclareOpaqueType | DeclareTypeAlias | DeclareVariable | DeclaredPredicate | Decorator | Directive | DirectiveLiteral | DoExpression | DoWhileStatement | EmptyStatement | EmptyTypeAnnotation | 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 | FunctionParent | FunctionTypeAnnotation | FunctionTypeParam | GenericTypeAnnotation | Identifier | IfStatement | Immutable | Import | ImportDeclaration | ImportDefaultSpecifier | ImportNamespaceSpecifier | ImportSpecifier | InferredPredicate | InterfaceDeclaration | InterfaceExtends | 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 | MixedTypeAnnotation | ModuleDeclaration | ModuleSpecifier | NewExpression | Noop | NullLiteral | NullLiteralTypeAnnotation | NullableTypeAnnotation | NumberLiteral | NumberLiteralTypeAnnotation | NumberTypeAnnotation | NumericLiteral | ObjectExpression | ObjectMember | ObjectMethod | ObjectPattern | ObjectProperty | ObjectTypeAnnotation | ObjectTypeCallProperty | ObjectTypeIndexer | ObjectTypeProperty | ObjectTypeSpreadProperty | OpaqueType | OptionalCallExpression | OptionalMemberExpression | ParenthesizedExpression | Pattern | PatternLike | Program | Property | Pureish | QualifiedTypeIdentifier | RegExpLiteral | RegexLiteral | RestElement | RestProperty | ReturnStatement | Scopable | SequenceExpression | SpreadElement | SpreadProperty | Statement | StringLiteral | StringLiteralTypeAnnotation | StringTypeAnnotation | Super | SwitchCase | SwitchStatement | TSAnyKeyword | TSArrayType | TSAsExpression | TSBooleanKeyword | TSCallSignatureDeclaration | TSConditionalType | TSConstructSignatureDeclaration | TSConstructorType | TSDeclareFunction | TSDeclareMethod | TSEntityName | TSEnumDeclaration | TSEnumMember | TSExportAssignment | TSExpressionWithTypeArguments | TSExternalModuleReference | TSFunctionType | TSImportEqualsDeclaration | TSIndexSignature | TSIndexedAccessType | TSInferType | TSInterfaceBody | TSInterfaceDeclaration | TSIntersectionType | TSLiteralType | TSMappedType | TSMethodSignature | TSModuleBlock | TSModuleDeclaration | TSNamespaceExportDeclaration | TSNeverKeyword | TSNonNullExpression | TSNullKeyword | TSNumberKeyword | TSObjectKeyword | TSParameterProperty | TSParenthesizedType | TSPropertySignature | TSQualifiedName | TSStringKeyword | TSSymbolKeyword | TSThisType | TSTupleType | TSType | TSTypeAliasDeclaration | TSTypeAnnotation | TSTypeAssertion | TSTypeElement | TSTypeLiteral | TSTypeOperator | TSTypeParameter | TSTypeParameterDeclaration | TSTypeParameterInstantiation | TSTypePredicate | TSTypeQuery | TSTypeReference | TSUndefinedKeyword | TSUnionType | TSVoidKeyword | TaggedTemplateExpression | TemplateElement | TemplateLiteral | Terminatorless | ThisExpression | ThisTypeAnnotation | ThrowStatement | TryStatement | TupleTypeAnnotation | TypeAlias | TypeAnnotation | TypeCastExpression | TypeParameter | TypeParameterDeclaration | TypeParameterInstantiation | TypeofTypeAnnotation | UnaryExpression | UnaryLike | UnionTypeAnnotation | UpdateExpression | UserWhitespacable | VariableDeclaration | VariableDeclarator | Variance | VoidTypeAnnotation | While | WhileStatement | WithStatement | YieldExpression;
+export type Node = AnyTypeAnnotation | ArgumentPlaceholder | ArrayExpression | ArrayPattern | ArrayTypeAnnotation | ArrowFunctionExpression | AssignmentExpression | AssignmentPattern | AwaitExpression | BigIntLiteral | Binary | BinaryExpression | BindExpression | Block | BlockParent | BlockStatement | BooleanLiteral | BooleanLiteralTypeAnnotation | BooleanTypeAnnotation | BreakStatement | CallExpression | CatchClause | Class | ClassBody | ClassDeclaration | ClassExpression | ClassImplements | ClassMethod | ClassPrivateMethod | ClassPrivateProperty | ClassProperty | CompletionStatement | Conditional | ConditionalExpression | ContinueStatement | DebuggerStatement | Declaration | DeclareClass | DeclareExportAllDeclaration | DeclareExportDeclaration | DeclareFunction | DeclareInterface | DeclareModule | DeclareModuleExports | DeclareOpaqueType | DeclareTypeAlias | DeclareVariable | DeclaredPredicate | Decorator | Directive | DirectiveLiteral | DoExpression | DoWhileStatement | EmptyStatement | EmptyTypeAnnotation | 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 | FunctionParent | FunctionTypeAnnotation | FunctionTypeParam | GenericTypeAnnotation | Identifier | IfStatement | Immutable | Import | ImportDeclaration | ImportDefaultSpecifier | ImportNamespaceSpecifier | ImportSpecifier | 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 | MixedTypeAnnotation | ModuleDeclaration | ModuleSpecifier | NewExpression | Noop | NullLiteral | NullLiteralTypeAnnotation | NullableTypeAnnotation | NumberLiteral | NumberLiteralTypeAnnotation | NumberTypeAnnotation | NumericLiteral | ObjectExpression | ObjectMember | ObjectMethod | ObjectPattern | ObjectProperty | ObjectTypeAnnotation | ObjectTypeCallProperty | ObjectTypeIndexer | ObjectTypeInternalSlot | ObjectTypeProperty | ObjectTypeSpreadProperty | OpaqueType | OptionalCallExpression | OptionalMemberExpression | ParenthesizedExpression | Pattern | PatternLike | PipelineBareFunction | PipelinePrimaryTopicReference | PipelineTopicExpression | Placeholder | Private | PrivateName | Program | Property | Pureish | QualifiedTypeIdentifier | RegExpLiteral | RegexLiteral | RestElement | RestProperty | ReturnStatement | Scopable | SequenceExpression | SpreadElement | SpreadProperty | Statement | StringLiteral | StringLiteralTypeAnnotation | StringTypeAnnotation | Super | SwitchCase | SwitchStatement | TSAnyKeyword | TSArrayType | TSAsExpression | TSBooleanKeyword | TSCallSignatureDeclaration | TSConditionalType | TSConstructSignatureDeclaration | TSConstructorType | TSDeclareFunction | TSDeclareMethod | TSEntityName | TSEnumDeclaration | TSEnumMember | TSExportAssignment | TSExpressionWithTypeArguments | TSExternalModuleReference | TSFunctionType | TSImportEqualsDeclaration | TSImportType | TSIndexSignature | TSIndexedAccessType | TSInferType | TSInterfaceBody | TSInterfaceDeclaration | TSIntersectionType | TSLiteralType | TSMappedType | TSMethodSignature | TSModuleBlock | TSModuleDeclaration | TSNamespaceExportDeclaration | TSNeverKeyword | TSNonNullExpression | TSNullKeyword | TSNumberKeyword | TSObjectKeyword | TSOptionalType | TSParameterProperty | TSParenthesizedType | TSPropertySignature | TSQualifiedName | TSRestType | TSStringKeyword | TSSymbolKeyword | 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 | TryStatement | TupleTypeAnnotation | TypeAlias | TypeAnnotation | TypeCastExpression | TypeParameter | TypeParameterDeclaration | TypeParameterInstantiation | TypeofTypeAnnotation | UnaryExpression | UnaryLike | UnionTypeAnnotation | UpdateExpression | UserWhitespacable | VariableDeclaration | VariableDeclarator | Variance | VoidTypeAnnotation | While | WhileStatement | WithStatement | YieldExpression;
 
 export interface ArrayExpression extends BaseNode {
   type: "ArrayExpression";
@@ -62,6 +62,11 @@ export interface BinaryExpression extends BaseNode {
   right: Expression;
 }
 
+export interface InterpreterDirective extends BaseNode {
+  type: "InterpreterDirective";
+  value: string;
+}
+
 export interface Directive extends BaseNode {
   type: "Directive";
   value: DirectiveLiteral;
@@ -86,9 +91,10 @@ export interface BreakStatement extends BaseNode {
 export interface CallExpression extends BaseNode {
   type: "CallExpression";
   callee: Expression;
-  arguments: Array<Expression | SpreadElement | JSXNamespacedName>;
+  arguments: Array<Expression | SpreadElement | JSXNamespacedName | ArgumentPlaceholder>;
   optional: true | false | null;
-  typeParameters: TypeParameterInstantiation | TSTypeParameterInstantiation | null;
+  typeArguments: TypeParameterInstantiation | null;
+  typeParameters: TSTypeParameterInstantiation | null;
 }
 
 export interface CatchClause extends BaseNode {
@@ -153,7 +159,7 @@ export interface ForStatement extends BaseNode {
 export interface FunctionDeclaration extends BaseNode {
   type: "FunctionDeclaration";
   id: Identifier | null;
-  params: Array<LVal>;
+  params: Array<Identifier | Pattern | RestElement | TSParameterProperty>;
   body: BlockStatement;
   generator: boolean;
   async: boolean;
@@ -165,7 +171,7 @@ export interface FunctionDeclaration extends BaseNode {
 export interface FunctionExpression extends BaseNode {
   type: "FunctionExpression";
   id: Identifier | null;
-  params: Array<LVal>;
+  params: Array<Identifier | Pattern | RestElement | TSParameterProperty>;
   body: BlockStatement;
   generator: boolean;
   async: boolean;
@@ -237,9 +243,10 @@ export interface MemberExpression extends BaseNode {
 export interface NewExpression extends BaseNode {
   type: "NewExpression";
   callee: Expression;
-  arguments: Array<Expression | SpreadElement | JSXNamespacedName>;
+  arguments: Array<Expression | SpreadElement | JSXNamespacedName | ArgumentPlaceholder>;
   optional: true | false | null;
-  typeParameters: TypeParameterInstantiation | TSTypeParameterInstantiation | null;
+  typeArguments: TypeParameterInstantiation | null;
+  typeParameters: TSTypeParameterInstantiation | null;
 }
 
 export interface Program extends BaseNode {
@@ -247,6 +254,7 @@ export interface Program extends BaseNode {
   body: Array<Statement>;
   directives: Array<Directive>;
   sourceType: "script" | "module";
+  interpreter: InterpreterDirective | null;
   sourceFile: string | null;
 }
 
@@ -259,7 +267,7 @@ export interface ObjectMethod extends BaseNode {
   type: "ObjectMethod";
   kind: "method" | "get" | "set";
   key: any;
-  params: Array<LVal>;
+  params: Array<Identifier | Pattern | RestElement | TSParameterProperty>;
   body: BlockStatement;
   computed: boolean;
   async: boolean;
@@ -295,6 +303,11 @@ export interface SequenceExpression extends BaseNode {
   expressions: Array<Expression>;
 }
 
+export interface ParenthesizedExpression extends BaseNode {
+  type: "ParenthesizedExpression";
+  expression: Expression;
+}
+
 export interface SwitchCase extends BaseNode {
   type: "SwitchCase";
   test: Expression | null;
@@ -365,7 +378,7 @@ export interface WithStatement extends BaseNode {
 
 export interface AssignmentPattern extends BaseNode {
   type: "AssignmentPattern";
-  left: Identifier | ObjectPattern | ArrayPattern;
+  left: Identifier | ObjectPattern | ArrayPattern | MemberExpression;
   right: Expression;
   decorators: Array<Decorator> | null;
   typeAnnotation: TypeAnnotation | TSTypeAnnotation | Noop | null;
@@ -380,7 +393,7 @@ export interface ArrayPattern extends BaseNode {
 
 export interface ArrowFunctionExpression extends BaseNode {
   type: "ArrowFunctionExpression";
-  params: Array<LVal>;
+  params: Array<Identifier | Pattern | RestElement | TSParameterProperty>;
   body: BlockStatement | Expression;
   async: boolean;
   expression: boolean | null;
@@ -391,7 +404,7 @@ export interface ArrowFunctionExpression extends BaseNode {
 
 export interface ClassBody extends BaseNode {
   type: "ClassBody";
-  body: Array<ClassMethod | ClassProperty | TSDeclareMethod | TSIndexSignature>;
+  body: Array<ClassMethod | ClassPrivateMethod | ClassProperty | ClassPrivateProperty | TSDeclareMethod | TSIndexSignature>;
 }
 
 export interface ClassDeclaration extends BaseNode {
@@ -402,6 +415,7 @@ export interface ClassDeclaration extends BaseNode {
   decorators: Array<Decorator> | null;
   abstract: boolean | null;
   declare: boolean | null;
+  implements: Array<TSExpressionWithTypeArguments | ClassImplements> | null;
   mixins: any | null;
   superTypeParameters: TypeParameterInstantiation | TSTypeParameterInstantiation | null;
   typeParameters: TypeParameterDeclaration | TSTypeParameterDeclaration | Noop | null;
@@ -413,6 +427,7 @@ export interface ClassExpression extends BaseNode {
   superClass: Expression | null;
   body: ClassBody;
   decorators: Array<Decorator> | null;
+  implements: Array<TSExpressionWithTypeArguments | ClassImplements> | null;
   mixins: any | null;
   superTypeParameters: TypeParameterInstantiation | TSTypeParameterInstantiation | null;
   typeParameters: TypeParameterDeclaration | TSTypeParameterDeclaration | Noop | null;
@@ -433,6 +448,7 @@ export interface ExportNamedDeclaration extends BaseNode {
   declaration: Declaration | null;
   specifiers: Array<ExportSpecifier | ExportDefaultSpecifier | ExportNamespaceSpecifier>;
   source: StringLiteral | null;
+  exportKind: "type" | "value" | null;
 }
 
 export interface ExportSpecifier extends BaseNode {
@@ -446,12 +462,14 @@ export interface ForOfStatement extends BaseNode {
   left: VariableDeclaration | LVal;
   right: Expression;
   body: Statement;
+  await: boolean;
 }
 
 export interface ImportDeclaration extends BaseNode {
   type: "ImportDeclaration";
   specifiers: Array<ImportSpecifier | ImportDefaultSpecifier | ImportNamespaceSpecifier>;
   source: StringLiteral;
+  importKind: "type" | "typeof" | "value" | null;
 }
 
 export interface ImportDefaultSpecifier extends BaseNode {
@@ -468,7 +486,7 @@ export interface ImportSpecifier extends BaseNode {
   type: "ImportSpecifier";
   local: Identifier;
   imported: Identifier;
-  importKind: null | "type" | "typeof" | null;
+  importKind: "type" | "typeof" | null;
 }
 
 export interface MetaProperty extends BaseNode {
@@ -481,9 +499,10 @@ export interface ClassMethod extends BaseNode {
   type: "ClassMethod";
   kind: "get" | "set" | "method" | "constructor";
   key: Identifier | StringLiteral | NumericLiteral | Expression;
-  params: Array<LVal>;
+  params: Array<Identifier | Pattern | RestElement | TSParameterProperty>;
   body: BlockStatement;
   computed: boolean;
+  static: boolean | null;
   abstract: boolean | null;
   access: "public" | "private" | "protected" | null;
   accessibility: "public" | "private" | "protected" | null;
@@ -515,11 +534,12 @@ export interface TaggedTemplateExpression extends BaseNode {
   type: "TaggedTemplateExpression";
   tag: Expression;
   quasi: TemplateLiteral;
+  typeParameters: TypeParameterInstantiation | TSTypeParameterInstantiation | null;
 }
 
 export interface TemplateElement extends BaseNode {
   type: "TemplateElement";
-  value: any;
+  value: { raw: string, cooked?: string };
   tail: boolean;
 }
 
@@ -550,7 +570,7 @@ export interface BooleanTypeAnnotation extends BaseNode {
 
 export interface BooleanLiteralTypeAnnotation extends BaseNode {
   type: "BooleanLiteralTypeAnnotation";
-  value: boolean | null;
+  value: boolean;
 }
 
 export interface NullLiteralTypeAnnotation extends BaseNode {
@@ -566,8 +586,10 @@ export interface ClassImplements extends BaseNode {
 export interface DeclareClass extends BaseNode {
   type: "DeclareClass";
   id: Identifier;
-  typeParameters: TypeParameterInstantiation | null;
+  typeParameters: TypeParameterDeclaration | null;
+  extends: Array<InterfaceExtends> | null;
   body: ObjectTypeAnnotation;
+  implements: Array<ClassImplements> | null;
   mixins: Array<InterfaceExtends> | null;
 }
 
@@ -581,8 +603,10 @@ export interface DeclareInterface extends BaseNode {
   type: "DeclareInterface";
   id: Identifier;
   typeParameters: TypeParameterDeclaration | null;
+  extends: Array<InterfaceExtends> | null;
   body: ObjectTypeAnnotation;
-  mixins: Array<Flow> | null;
+  implements: Array<ClassImplements> | null;
+  mixins: Array<InterfaceExtends> | null;
 }
 
 export interface DeclareModule extends BaseNode {
@@ -621,12 +645,13 @@ export interface DeclareExportDeclaration extends BaseNode {
   declaration: Flow | null;
   specifiers: Array<ExportSpecifier | ExportNamespaceSpecifier> | null;
   source: StringLiteral | null;
+  default: boolean | null;
 }
 
 export interface DeclareExportAllDeclaration extends BaseNode {
   type: "DeclareExportAllDeclaration";
   source: StringLiteral;
-  exportKind: ["type","value"] | null;
+  exportKind: "type" | "value" | null;
 }
 
 export interface DeclaredPredicate extends BaseNode {
@@ -655,7 +680,7 @@ export interface FunctionTypeParam extends BaseNode {
 
 export interface GenericTypeAnnotation extends BaseNode {
   type: "GenericTypeAnnotation";
-  id: Identifier;
+  id: Identifier | QualifiedTypeIdentifier;
   typeParameters: TypeParameterInstantiation | null;
 }
 
@@ -665,7 +690,7 @@ export interface InferredPredicate extends BaseNode {
 
 export interface InterfaceExtends extends BaseNode {
   type: "InterfaceExtends";
-  id: Identifier;
+  id: Identifier | QualifiedTypeIdentifier;
   typeParameters: TypeParameterInstantiation | null;
 }
 
@@ -673,10 +698,18 @@ export interface InterfaceDeclaration extends BaseNode {
   type: "InterfaceDeclaration";
   id: Identifier;
   typeParameters: TypeParameterDeclaration | null;
+  extends: Array<InterfaceExtends> | null;
   body: ObjectTypeAnnotation;
+  implements: Array<ClassImplements> | null;
   mixins: Array<InterfaceExtends> | null;
 }
 
+export interface InterfaceTypeAnnotation extends BaseNode {
+  type: "InterfaceTypeAnnotation";
+  extends: Array<InterfaceExtends> | null;
+  body: ObjectTypeAnnotation;
+}
+
 export interface IntersectionTypeAnnotation extends BaseNode {
   type: "IntersectionTypeAnnotation";
   types: Array<FlowType>;
@@ -697,7 +730,7 @@ export interface NullableTypeAnnotation extends BaseNode {
 
 export interface NumberLiteralTypeAnnotation extends BaseNode {
   type: "NumberLiteralTypeAnnotation";
-  value: number | null;
+  value: number;
 }
 
 export interface NumberTypeAnnotation extends BaseNode {
@@ -709,12 +742,24 @@ export interface ObjectTypeAnnotation extends BaseNode {
   properties: Array<ObjectTypeProperty | ObjectTypeSpreadProperty>;
   indexers: Array<ObjectTypeIndexer> | null;
   callProperties: Array<ObjectTypeCallProperty> | null;
+  internalSlots: Array<ObjectTypeInternalSlot> | null;
   exact: boolean;
+  inexact: boolean | null;
+}
+
+export interface ObjectTypeInternalSlot extends BaseNode {
+  type: "ObjectTypeInternalSlot";
+  id: Identifier;
+  value: FlowType;
+  optional: boolean;
+  static: boolean;
+  method: boolean;
 }
 
 export interface ObjectTypeCallProperty extends BaseNode {
   type: "ObjectTypeCallProperty";
   value: FlowType;
+  static: boolean | null;
 }
 
 export interface ObjectTypeIndexer extends BaseNode {
@@ -723,6 +768,7 @@ export interface ObjectTypeIndexer extends BaseNode {
   key: FlowType;
   value: FlowType;
   variance: Variance | null;
+  static: boolean | null;
 }
 
 export interface ObjectTypeProperty extends BaseNode {
@@ -732,6 +778,8 @@ export interface ObjectTypeProperty extends BaseNode {
   variance: Variance | null;
   kind: "init" | "get" | "set" | null;
   optional: boolean | null;
+  proto: boolean | null;
+  static: boolean | null;
 }
 
 export interface ObjectTypeSpreadProperty extends BaseNode {
@@ -755,7 +803,7 @@ export interface QualifiedTypeIdentifier extends BaseNode {
 
 export interface StringLiteralTypeAnnotation extends BaseNode {
   type: "StringLiteralTypeAnnotation";
-  value: string | null;
+  value: string;
 }
 
 export interface StringTypeAnnotation extends BaseNode {
@@ -797,6 +845,7 @@ export interface TypeCastExpression extends BaseNode {
 export interface TypeParameter extends BaseNode {
   type: "TypeParameter";
   bound: TypeAnnotation | null;
+  default: FlowType | null;
   variance: Variance | null;
   name: string | null;
 }
@@ -850,7 +899,7 @@ export interface JSXEmptyExpression extends BaseNode {
 
 export interface JSXExpressionContainer extends BaseNode {
   type: "JSXExpressionContainer";
-  expression: Expression;
+  expression: Expression | JSXEmptyExpression;
 }
 
 export interface JSXSpreadChild extends BaseNode {
@@ -880,6 +929,7 @@ export interface JSXOpeningElement extends BaseNode {
   name: JSXIdentifier | JSXMemberExpression;
   attributes: Array<JSXAttribute | JSXSpreadAttribute>;
   selfClosing: boolean;
+  typeParameters: TypeParameterInstantiation | TSTypeParameterInstantiation | null;
 }
 
 export interface JSXSpreadAttribute extends BaseNode {
@@ -911,9 +961,14 @@ export interface Noop extends BaseNode {
   type: "Noop";
 }
 
-export interface ParenthesizedExpression extends BaseNode {
-  type: "ParenthesizedExpression";
-  expression: Expression;
+export interface Placeholder extends BaseNode {
+  type: "Placeholder";
+  expectedNode: "Identifier" | "StringLiteral" | "Expression" | "Statement" | "Declaration" | "BlockStatement" | "ClassBody" | "Pattern";
+  name: Identifier;
+}
+
+export interface ArgumentPlaceholder extends BaseNode {
+  type: "ArgumentPlaceholder";
 }
 
 export interface AwaitExpression extends BaseNode {
@@ -939,6 +994,7 @@ export interface ClassProperty extends BaseNode {
   definite: boolean | null;
   optional: boolean | null;
   readonly: boolean | null;
+  static: boolean | null;
 }
 
 export interface OptionalMemberExpression extends BaseNode {
@@ -949,12 +1005,52 @@ export interface OptionalMemberExpression extends BaseNode {
   optional: boolean;
 }
 
+export interface PipelineTopicExpression extends BaseNode {
+  type: "PipelineTopicExpression";
+  expression: Expression;
+}
+
+export interface PipelineBareFunction extends BaseNode {
+  type: "PipelineBareFunction";
+  callee: Expression;
+}
+
+export interface PipelinePrimaryTopicReference extends BaseNode {
+  type: "PipelinePrimaryTopicReference";
+}
+
 export interface OptionalCallExpression extends BaseNode {
   type: "OptionalCallExpression";
   callee: Expression;
   arguments: Array<Expression | SpreadElement | JSXNamespacedName>;
   optional: boolean;
-  typeParameters: TypeParameterInstantiation | TSTypeParameterInstantiation | null;
+  typeArguments: TypeParameterInstantiation | null;
+  typeParameters: TSTypeParameterInstantiation | null;
+}
+
+export interface ClassPrivateProperty extends BaseNode {
+  type: "ClassPrivateProperty";
+  key: PrivateName;
+  value: Expression | null;
+}
+
+export interface ClassPrivateMethod extends BaseNode {
+  type: "ClassPrivateMethod";
+  kind: "get" | "set" | "method" | "constructor";
+  key: PrivateName;
+  params: Array<Identifier | Pattern | RestElement | TSParameterProperty>;
+  body: BlockStatement;
+  static: boolean | null;
+  abstract: boolean | null;
+  access: "public" | "private" | "protected" | null;
+  accessibility: "public" | "private" | "protected" | null;
+  async: boolean;
+  computed: boolean;
+  decorators: Array<Decorator> | null;
+  generator: boolean;
+  optional: boolean | null;
+  returnType: any | null;
+  typeParameters: any | null;
 }
 
 export interface Import extends BaseNode {
@@ -981,6 +1077,16 @@ export interface ExportNamespaceSpecifier extends BaseNode {
   exported: Identifier;
 }
 
+export interface PrivateName extends BaseNode {
+  type: "PrivateName";
+  id: Identifier;
+}
+
+export interface BigIntLiteral extends BaseNode {
+  type: "BigIntLiteral";
+  value: string;
+}
+
 export interface TSParameterProperty extends BaseNode {
   type: "TSParameterProperty";
   parameter: Identifier | AssignmentPattern;
@@ -992,7 +1098,7 @@ export interface TSDeclareFunction extends BaseNode {
   type: "TSDeclareFunction";
   id: Identifier | null;
   typeParameters: TSTypeParameterDeclaration | Noop | null;
-  params: Array<LVal>;
+  params: Array<Identifier | Pattern | RestElement | TSParameterProperty>;
   returnType: TSTypeAnnotation | Noop | null;
   async: boolean;
   declare: boolean | null;
@@ -1004,7 +1110,7 @@ export interface TSDeclareMethod extends BaseNode {
   decorators: Array<Decorator> | null;
   key: Identifier | StringLiteral | NumericLiteral | Expression;
   typeParameters: TSTypeParameterDeclaration | Noop | null;
-  params: Array<LVal>;
+  params: Array<Identifier | Pattern | RestElement | TSParameterProperty>;
   returnType: TSTypeAnnotation | Noop | null;
   abstract: boolean | null;
   access: "public" | "private" | "protected" | null;
@@ -1014,6 +1120,7 @@ export interface TSDeclareMethod extends BaseNode {
   generator: boolean;
   kind: "get" | "set" | "method" | "constructor";
   optional: boolean | null;
+  static: boolean | null;
 }
 
 export interface TSQualifiedName extends BaseNode {
@@ -1025,14 +1132,14 @@ export interface TSQualifiedName extends BaseNode {
 export interface TSCallSignatureDeclaration extends BaseNode {
   type: "TSCallSignatureDeclaration";
   typeParameters: TSTypeParameterDeclaration | null;
-  parameters: Array<Identifier | RestElement> | null;
+  parameters: Array<Identifier | RestElement>;
   typeAnnotation: TSTypeAnnotation | null;
 }
 
 export interface TSConstructSignatureDeclaration extends BaseNode {
   type: "TSConstructSignatureDeclaration";
   typeParameters: TSTypeParameterDeclaration | null;
-  parameters: Array<Identifier | RestElement> | null;
+  parameters: Array<Identifier | RestElement>;
   typeAnnotation: TSTypeAnnotation | null;
 }
 
@@ -1050,7 +1157,7 @@ export interface TSMethodSignature extends BaseNode {
   type: "TSMethodSignature";
   key: Expression;
   typeParameters: TSTypeParameterDeclaration | null;
-  parameters: Array<Identifier | RestElement> | null;
+  parameters: Array<Identifier | RestElement>;
   typeAnnotation: TSTypeAnnotation | null;
   computed: boolean | null;
   optional: boolean | null;
@@ -1067,6 +1174,10 @@ export interface TSAnyKeyword extends BaseNode {
   type: "TSAnyKeyword";
 }
 
+export interface TSUnknownKeyword extends BaseNode {
+  type: "TSUnknownKeyword";
+}
+
 export interface TSNumberKeyword extends BaseNode {
   type: "TSNumberKeyword";
 }
@@ -1110,15 +1221,15 @@ export interface TSThisType extends BaseNode {
 export interface TSFunctionType extends BaseNode {
   type: "TSFunctionType";
   typeParameters: TSTypeParameterDeclaration | null;
+  parameters: Array<Identifier | RestElement>;
   typeAnnotation: TSTypeAnnotation | null;
-  parameters: Array<Identifier | RestElement> | null;
 }
 
 export interface TSConstructorType extends BaseNode {
   type: "TSConstructorType";
   typeParameters: TSTypeParameterDeclaration | null;
+  parameters: Array<Identifier | RestElement>;
   typeAnnotation: TSTypeAnnotation | null;
-  parameters: Array<Identifier | RestElement> | null;
 }
 
 export interface TSTypeReference extends BaseNode {
@@ -1135,7 +1246,7 @@ export interface TSTypePredicate extends BaseNode {
 
 export interface TSTypeQuery extends BaseNode {
   type: "TSTypeQuery";
-  exprName: TSEntityName;
+  exprName: TSEntityName | TSImportType;
 }
 
 export interface TSTypeLiteral extends BaseNode {
@@ -1153,6 +1264,16 @@ export interface TSTupleType extends BaseNode {
   elementTypes: Array<TSType>;
 }
 
+export interface TSOptionalType extends BaseNode {
+  type: "TSOptionalType";
+  typeAnnotation: TSType;
+}
+
+export interface TSRestType extends BaseNode {
+  type: "TSRestType";
+  typeAnnotation: TSType;
+}
+
 export interface TSUnionType extends BaseNode {
   type: "TSUnionType";
   types: Array<TSType>;
@@ -1173,7 +1294,7 @@ export interface TSConditionalType extends BaseNode {
 
 export interface TSInferType extends BaseNode {
   type: "TSInferType";
-  typeParameter: TSType;
+  typeParameter: TSTypeParameter;
 }
 
 export interface TSParenthesizedType extends BaseNode {
@@ -1216,6 +1337,7 @@ export interface TSInterfaceDeclaration extends BaseNode {
   type: "TSInterfaceDeclaration";
   id: Identifier;
   typeParameters: TSTypeParameterDeclaration | null;
+  extends: Array<TSExpressionWithTypeArguments> | null;
   body: TSInterfaceBody;
   declare: boolean | null;
 }
@@ -1249,6 +1371,7 @@ export interface TSEnumDeclaration extends BaseNode {
   type: "TSEnumDeclaration";
   id: Identifier;
   members: Array<TSEnumMember>;
+  const: boolean | null;
   declare: boolean | null;
   initializer: Expression | null;
 }
@@ -1272,6 +1395,13 @@ export interface TSModuleBlock extends BaseNode {
   body: Array<Statement>;
 }
 
+export interface TSImportType extends BaseNode {
+  type: "TSImportType";
+  argument: StringLiteral;
+  qualifier: TSEntityName | null;
+  typeParameters: TSTypeParameterInstantiation | null;
+}
+
 export interface TSImportEqualsDeclaration extends BaseNode {
   type: "TSImportEqualsDeclaration";
   id: Identifier;
@@ -1317,6 +1447,7 @@ export interface TSTypeParameterDeclaration extends BaseNode {
 export interface TSTypeParameter extends BaseNode {
   type: "TSTypeParameter";
   constraint: TSType | null;
+  default: TSType | null;
   name: string | null;
 }
 
@@ -1340,55 +1471,103 @@ export type RestProperty = RestElement;
  */
 export type SpreadProperty = SpreadElement;
 
-export type Expression = ArrayExpression | AssignmentExpression | BinaryExpression | CallExpression | ConditionalExpression | FunctionExpression | Identifier | StringLiteral | NumericLiteral | NullLiteral | BooleanLiteral | RegExpLiteral | LogicalExpression | MemberExpression | NewExpression | ObjectExpression | SequenceExpression | ThisExpression | UnaryExpression | UpdateExpression | ArrowFunctionExpression | ClassExpression | MetaProperty | Super | TaggedTemplateExpression | TemplateLiteral | YieldExpression | TypeCastExpression | JSXElement | JSXFragment | ParenthesizedExpression | AwaitExpression | BindExpression | OptionalMemberExpression | OptionalCallExpression | Import | DoExpression | TSAsExpression | TSTypeAssertion | TSNonNullExpression;
+export 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 | Super | TaggedTemplateExpression | TemplateLiteral | YieldExpression | TypeCastExpression | JSXElement | JSXFragment | AwaitExpression | BindExpression | OptionalMemberExpression | PipelinePrimaryTopicReference | OptionalCallExpression | Import | DoExpression | BigIntLiteral | TSAsExpression | TSTypeAssertion | TSNonNullExpression;
 export type Binary = BinaryExpression | LogicalExpression;
-export type Scopable = BlockStatement | CatchClause | DoWhileStatement | ForInStatement | ForStatement | FunctionDeclaration | FunctionExpression | Program | ObjectMethod | SwitchStatement | WhileStatement | ArrowFunctionExpression | ClassDeclaration | ClassExpression | ForOfStatement | ClassMethod;
-export type BlockParent = BlockStatement | CatchClause | DoWhileStatement | ForInStatement | ForStatement | FunctionDeclaration | FunctionExpression | Program | ObjectMethod | SwitchStatement | WhileStatement | ArrowFunctionExpression | ForOfStatement | ClassMethod;
-export type Block = BlockStatement | Program;
+export type Scopable = BlockStatement | CatchClause | DoWhileStatement | ForInStatement | ForStatement | FunctionDeclaration | FunctionExpression | Program | ObjectMethod | SwitchStatement | WhileStatement | ArrowFunctionExpression | ClassDeclaration | ClassExpression | ForOfStatement | ClassMethod | ClassPrivateMethod | TSModuleBlock;
+export type BlockParent = BlockStatement | CatchClause | DoWhileStatement | ForInStatement | ForStatement | FunctionDeclaration | FunctionExpression | Program | ObjectMethod | SwitchStatement | WhileStatement | ArrowFunctionExpression | ForOfStatement | ClassMethod | ClassPrivateMethod | TSModuleBlock;
+export type Block = BlockStatement | Program | TSModuleBlock;
 export 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 | TSDeclareFunction | TSInterfaceDeclaration | TSTypeAliasDeclaration | TSEnumDeclaration | TSModuleDeclaration | TSImportEqualsDeclaration | TSExportAssignment | TSNamespaceExportDeclaration;
 export type Terminatorless = BreakStatement | ContinueStatement | ReturnStatement | ThrowStatement | YieldExpression | AwaitExpression;
 export type CompletionStatement = BreakStatement | ContinueStatement | ReturnStatement | ThrowStatement;
 export type Conditional = ConditionalExpression | IfStatement;
 export type Loop = DoWhileStatement | ForInStatement | ForStatement | WhileStatement | ForOfStatement;
 export type While = DoWhileStatement | WhileStatement;
-export type ExpressionWrapper = ExpressionStatement | TypeCastExpression | ParenthesizedExpression;
+export type ExpressionWrapper = ExpressionStatement | ParenthesizedExpression | TypeCastExpression;
 export type For = ForInStatement | ForStatement | ForOfStatement;
 export type ForXStatement = ForInStatement | ForOfStatement;
-export type Function = FunctionDeclaration | FunctionExpression | ObjectMethod | ArrowFunctionExpression | ClassMethod;
-export type FunctionParent = FunctionDeclaration | FunctionExpression | ObjectMethod | ArrowFunctionExpression | ClassMethod;
-export type Pureish = FunctionDeclaration | FunctionExpression | StringLiteral | NumericLiteral | NullLiteral | BooleanLiteral | ArrowFunctionExpression | ClassDeclaration | ClassExpression;
+export type Function = FunctionDeclaration | FunctionExpression | ObjectMethod | ArrowFunctionExpression | ClassMethod | ClassPrivateMethod;
+export type FunctionParent = FunctionDeclaration | FunctionExpression | ObjectMethod | ArrowFunctionExpression | ClassMethod | ClassPrivateMethod;
+export type Pureish = FunctionDeclaration | FunctionExpression | StringLiteral | NumericLiteral | NullLiteral | BooleanLiteral | ArrowFunctionExpression | ClassDeclaration | ClassExpression | BigIntLiteral;
 export type Declaration = FunctionDeclaration | VariableDeclaration | ClassDeclaration | ExportAllDeclaration | ExportDefaultDeclaration | ExportNamedDeclaration | ImportDeclaration | DeclareClass | DeclareFunction | DeclareInterface | DeclareModule | DeclareModuleExports | DeclareTypeAlias | DeclareOpaqueType | DeclareVariable | DeclareExportDeclaration | DeclareExportAllDeclaration | InterfaceDeclaration | OpaqueType | TypeAlias | TSDeclareFunction | TSInterfaceDeclaration | TSTypeAliasDeclaration | TSEnumDeclaration | TSModuleDeclaration;
 export type PatternLike = Identifier | RestElement | AssignmentPattern | ArrayPattern | ObjectPattern;
 export type LVal = Identifier | MemberExpression | RestElement | AssignmentPattern | ArrayPattern | ObjectPattern | TSParameterProperty;
 export type TSEntityName = Identifier | TSQualifiedName;
-export type Literal = StringLiteral | NumericLiteral | NullLiteral | BooleanLiteral | RegExpLiteral | TemplateLiteral;
-export type Immutable = StringLiteral | NumericLiteral | NullLiteral | BooleanLiteral | JSXAttribute | JSXClosingElement | JSXElement | JSXExpressionContainer | JSXSpreadChild | JSXOpeningElement | JSXText | JSXFragment | JSXOpeningFragment | JSXClosingFragment;
-export type UserWhitespacable = ObjectMethod | ObjectProperty | ObjectTypeCallProperty | ObjectTypeIndexer | ObjectTypeProperty | ObjectTypeSpreadProperty;
-export type Method = ObjectMethod | ClassMethod;
+export type Literal = StringLiteral | NumericLiteral | NullLiteral | BooleanLiteral | RegExpLiteral | TemplateLiteral | BigIntLiteral;
+export type Immutable = StringLiteral | NumericLiteral | NullLiteral | BooleanLiteral | JSXAttribute | JSXClosingElement | JSXElement | JSXExpressionContainer | JSXSpreadChild | JSXOpeningElement | JSXText | JSXFragment | JSXOpeningFragment | JSXClosingFragment | BigIntLiteral;
+export type UserWhitespacable = ObjectMethod | ObjectProperty | ObjectTypeInternalSlot | ObjectTypeCallProperty | ObjectTypeIndexer | ObjectTypeProperty | ObjectTypeSpreadProperty;
+export type Method = ObjectMethod | ClassMethod | ClassPrivateMethod;
 export type ObjectMember = ObjectMethod | ObjectProperty;
-export type Property = ObjectProperty | ClassProperty;
+export type Property = ObjectProperty | ClassProperty | ClassPrivateProperty;
 export type UnaryLike = UnaryExpression | SpreadElement;
 export type Pattern = AssignmentPattern | ArrayPattern | ObjectPattern;
 export type Class = ClassDeclaration | ClassExpression;
 export type ModuleDeclaration = ExportAllDeclaration | ExportDefaultDeclaration | ExportNamedDeclaration | ImportDeclaration;
 export type ExportDeclaration = ExportAllDeclaration | ExportDefaultDeclaration | ExportNamedDeclaration;
 export type ModuleSpecifier = ExportSpecifier | ImportDefaultSpecifier | ImportNamespaceSpecifier | ImportSpecifier | ExportDefaultSpecifier | ExportNamespaceSpecifier;
-export 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 | IntersectionTypeAnnotation | MixedTypeAnnotation | EmptyTypeAnnotation | NullableTypeAnnotation | NumberLiteralTypeAnnotation | NumberTypeAnnotation | ObjectTypeAnnotation | ObjectTypeCallProperty | ObjectTypeIndexer | ObjectTypeProperty | ObjectTypeSpreadProperty | OpaqueType | QualifiedTypeIdentifier | StringLiteralTypeAnnotation | StringTypeAnnotation | ThisTypeAnnotation | TupleTypeAnnotation | TypeofTypeAnnotation | TypeAlias | TypeAnnotation | TypeCastExpression | TypeParameter | TypeParameterDeclaration | TypeParameterInstantiation | UnionTypeAnnotation | Variance | VoidTypeAnnotation;
-export type FlowType = AnyTypeAnnotation | ArrayTypeAnnotation | BooleanTypeAnnotation | BooleanLiteralTypeAnnotation | NullLiteralTypeAnnotation | ExistsTypeAnnotation | FunctionTypeAnnotation | GenericTypeAnnotation | IntersectionTypeAnnotation | MixedTypeAnnotation | EmptyTypeAnnotation | NullableTypeAnnotation | NumberLiteralTypeAnnotation | NumberTypeAnnotation | ObjectTypeAnnotation | StringLiteralTypeAnnotation | StringTypeAnnotation | ThisTypeAnnotation | TupleTypeAnnotation | TypeofTypeAnnotation | UnionTypeAnnotation | VoidTypeAnnotation;
+export 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 | ThisTypeAnnotation | TupleTypeAnnotation | TypeofTypeAnnotation | TypeAlias | TypeAnnotation | TypeCastExpression | TypeParameter | TypeParameterDeclaration | TypeParameterInstantiation | UnionTypeAnnotation | Variance | VoidTypeAnnotation;
+export type FlowType = AnyTypeAnnotation | ArrayTypeAnnotation | BooleanTypeAnnotation | BooleanLiteralTypeAnnotation | NullLiteralTypeAnnotation | ExistsTypeAnnotation | FunctionTypeAnnotation | GenericTypeAnnotation | InterfaceTypeAnnotation | IntersectionTypeAnnotation | MixedTypeAnnotation | EmptyTypeAnnotation | NullableTypeAnnotation | NumberLiteralTypeAnnotation | NumberTypeAnnotation | ObjectTypeAnnotation | StringLiteralTypeAnnotation | StringTypeAnnotation | ThisTypeAnnotation | TupleTypeAnnotation | TypeofTypeAnnotation | UnionTypeAnnotation | VoidTypeAnnotation;
 export type FlowBaseAnnotation = AnyTypeAnnotation | BooleanTypeAnnotation | NullLiteralTypeAnnotation | MixedTypeAnnotation | EmptyTypeAnnotation | NumberTypeAnnotation | StringTypeAnnotation | ThisTypeAnnotation | VoidTypeAnnotation;
 export type FlowDeclaration = DeclareClass | DeclareFunction | DeclareInterface | DeclareModule | DeclareModuleExports | DeclareTypeAlias | DeclareOpaqueType | DeclareVariable | DeclareExportDeclaration | DeclareExportAllDeclaration | InterfaceDeclaration | OpaqueType | TypeAlias;
 export type FlowPredicate = DeclaredPredicate | InferredPredicate;
 export type JSX = JSXAttribute | JSXClosingElement | JSXElement | JSXEmptyExpression | JSXExpressionContainer | JSXSpreadChild | JSXIdentifier | JSXMemberExpression | JSXNamespacedName | JSXOpeningElement | JSXSpreadAttribute | JSXText | JSXFragment | JSXOpeningFragment | JSXClosingFragment;
+export type Private = ClassPrivateProperty | ClassPrivateMethod | PrivateName;
 export type TSTypeElement = TSCallSignatureDeclaration | TSConstructSignatureDeclaration | TSPropertySignature | TSMethodSignature | TSIndexSignature;
-export type TSType = TSAnyKeyword | TSNumberKeyword | TSObjectKeyword | TSBooleanKeyword | TSStringKeyword | TSSymbolKeyword | TSVoidKeyword | TSUndefinedKeyword | TSNullKeyword | TSNeverKeyword | TSThisType | TSFunctionType | TSConstructorType | TSTypeReference | TSTypePredicate | TSTypeQuery | TSTypeLiteral | TSArrayType | TSTupleType | TSUnionType | TSIntersectionType | TSConditionalType | TSInferType | TSParenthesizedType | TSTypeOperator | TSIndexedAccessType | TSMappedType | TSLiteralType | TSExpressionWithTypeArguments;
+export type TSType = TSAnyKeyword | TSUnknownKeyword | TSNumberKeyword | TSObjectKeyword | TSBooleanKeyword | TSStringKeyword | TSSymbolKeyword | TSVoidKeyword | TSUndefinedKeyword | TSNullKeyword | TSNeverKeyword | TSThisType | TSFunctionType | TSConstructorType | TSTypeReference | TSTypePredicate | TSTypeQuery | TSTypeLiteral | TSArrayType | TSTupleType | TSOptionalType | TSRestType | TSUnionType | TSIntersectionType | TSConditionalType | TSInferType | TSParenthesizedType | TSTypeOperator | TSIndexedAccessType | TSMappedType | TSLiteralType | TSExpressionWithTypeArguments | TSImportType;
+
+export interface Aliases {
+  Expression: Expression;
+  Binary: Binary;
+  Scopable: Scopable;
+  BlockParent: BlockParent;
+  Block: Block;
+  Statement: Statement;
+  Terminatorless: Terminatorless;
+  CompletionStatement: CompletionStatement;
+  Conditional: Conditional;
+  Loop: Loop;
+  While: While;
+  ExpressionWrapper: ExpressionWrapper;
+  For: For;
+  ForXStatement: ForXStatement;
+  Function: Function;
+  FunctionParent: FunctionParent;
+  Pureish: Pureish;
+  Declaration: Declaration;
+  PatternLike: PatternLike;
+  LVal: LVal;
+  TSEntityName: TSEntityName;
+  Literal: Literal;
+  Immutable: Immutable;
+  UserWhitespacable: UserWhitespacable;
+  Method: Method;
+  ObjectMember: ObjectMember;
+  Property: Property;
+  UnaryLike: UnaryLike;
+  Pattern: Pattern;
+  Class: Class;
+  ModuleDeclaration: ModuleDeclaration;
+  ExportDeclaration: ExportDeclaration;
+  ModuleSpecifier: ModuleSpecifier;
+  Flow: Flow;
+  FlowType: FlowType;
+  FlowBaseAnnotation: FlowBaseAnnotation;
+  FlowDeclaration: FlowDeclaration;
+  FlowPredicate: FlowPredicate;
+  JSX: JSX;
+  Private: Private;
+  TSTypeElement: TSTypeElement;
+  TSType: TSType;
+}
+
 export function arrayExpression(elements?: Array<null | Expression | SpreadElement>): ArrayExpression;
 export function assignmentExpression(operator: string, left: LVal, right: Expression): AssignmentExpression;
 export function binaryExpression(operator: "+" | "-" | "/" | "%" | "*" | "**" | "&" | "|" | ">>" | ">>>" | "<<" | "^" | "==" | "===" | "!=" | "!==" | "in" | "instanceof" | ">" | "<" | ">=" | "<=", left: Expression, right: Expression): BinaryExpression;
+export function interpreterDirective(value: string): InterpreterDirective;
 export function directive(value: DirectiveLiteral): Directive;
 export function directiveLiteral(value: string): DirectiveLiteral;
 export function blockStatement(body: Array<Statement>, directives?: Array<Directive>): BlockStatement;
 export function breakStatement(label?: Identifier | null): BreakStatement;
-export function callExpression(callee: Expression, _arguments: Array<Expression | SpreadElement | JSXNamespacedName>, optional?: true | false | null, typeParameters?: TypeParameterInstantiation | TSTypeParameterInstantiation | null): CallExpression;
+export function callExpression(callee: Expression, _arguments: Array<Expression | SpreadElement | JSXNamespacedName | ArgumentPlaceholder>, optional?: true | false | null, typeArguments?: TypeParameterInstantiation | null, typeParameters?: TSTypeParameterInstantiation | null): CallExpression;
 export function catchClause(param: Identifier | null | undefined, body: BlockStatement): CatchClause;
 export function conditionalExpression(test: Expression, consequent: Expression, alternate: Expression): ConditionalExpression;
 export function continueStatement(label?: Identifier | null): ContinueStatement;
@@ -1399,8 +1578,8 @@ export function expressionStatement(expression: Expression): ExpressionStatement
 export function file(program: Program, comments: any, tokens: any): File;
 export function forInStatement(left: VariableDeclaration | LVal, right: Expression, body: Statement): ForInStatement;
 export function forStatement(init: VariableDeclaration | Expression | null | undefined, test: Expression | null | undefined, update: Expression | null | undefined, body: Statement): ForStatement;
-export function functionDeclaration(id: Identifier | null | undefined, params: Array<LVal>, body: BlockStatement, generator?: boolean, async?: boolean, declare?: boolean | null, returnType?: TypeAnnotation | TSTypeAnnotation | Noop | null, typeParameters?: TypeParameterDeclaration | TSTypeParameterDeclaration | Noop | null): FunctionDeclaration;
-export function functionExpression(id: Identifier | null | undefined, params: Array<LVal>, body: BlockStatement, generator?: boolean, async?: boolean, returnType?: TypeAnnotation | TSTypeAnnotation | Noop | null, typeParameters?: TypeParameterDeclaration | TSTypeParameterDeclaration | Noop | null): FunctionExpression;
+export function functionDeclaration(id: Identifier | null | undefined, params: Array<Identifier | Pattern | RestElement | TSParameterProperty>, body: BlockStatement, generator?: boolean, async?: boolean, declare?: boolean | null, returnType?: TypeAnnotation | TSTypeAnnotation | Noop | null, typeParameters?: TypeParameterDeclaration | TSTypeParameterDeclaration | Noop | null): FunctionDeclaration;
+export function functionExpression(id: Identifier | null | undefined, params: Array<Identifier | Pattern | RestElement | TSParameterProperty>, body: BlockStatement, generator?: boolean, async?: boolean, returnType?: TypeAnnotation | TSTypeAnnotation | Noop | null, typeParameters?: TypeParameterDeclaration | TSTypeParameterDeclaration | Noop | null): FunctionExpression;
 export function identifier(name: string, decorators?: Array<Decorator> | null, optional?: boolean | null, typeAnnotation?: TypeAnnotation | TSTypeAnnotation | Noop | null): Identifier;
 export function ifStatement(test: Expression, consequent: Statement, alternate?: Statement | null): IfStatement;
 export function labeledStatement(label: Identifier, body: Statement): LabeledStatement;
@@ -1411,14 +1590,15 @@ export function booleanLiteral(value: boolean): BooleanLiteral;
 export function regExpLiteral(pattern: string, flags?: string): RegExpLiteral;
 export function logicalExpression(operator: "||" | "&&" | "??", left: Expression, right: Expression): LogicalExpression;
 export function memberExpression(object: Expression, property: any, computed?: boolean, optional?: true | false | null): MemberExpression;
-export function newExpression(callee: Expression, _arguments: Array<Expression | SpreadElement | JSXNamespacedName>, optional?: true | false | null, typeParameters?: TypeParameterInstantiation | TSTypeParameterInstantiation | null): NewExpression;
-export function program(body: Array<Statement>, directives?: Array<Directive>, sourceType?: "script" | "module", sourceFile?: string | null): Program;
+export function newExpression(callee: Expression, _arguments: Array<Expression | SpreadElement | JSXNamespacedName | ArgumentPlaceholder>, optional?: true | false | null, typeArguments?: TypeParameterInstantiation | null, typeParameters?: TSTypeParameterInstantiation | null): NewExpression;
+export function program(body: Array<Statement>, directives?: Array<Directive>, sourceType?: "script" | "module", interpreter?: InterpreterDirective | null, sourceFile?: string | null): Program;
 export function objectExpression(properties: Array<ObjectMethod | ObjectProperty | SpreadElement>): ObjectExpression;
-export function objectMethod(kind: "method" | "get" | "set" | undefined, key: any, params: Array<LVal>, body: BlockStatement, computed?: boolean, async?: boolean, decorators?: Array<Decorator> | null, generator?: boolean, returnType?: TypeAnnotation | TSTypeAnnotation | Noop | null, typeParameters?: TypeParameterDeclaration | TSTypeParameterDeclaration | Noop | null): ObjectMethod;
+export function objectMethod(kind: "method" | "get" | "set" | undefined, key: any, params: Array<Identifier | Pattern | RestElement | TSParameterProperty>, body: BlockStatement, computed?: boolean, async?: boolean, decorators?: Array<Decorator> | null, generator?: boolean, returnType?: TypeAnnotation | TSTypeAnnotation | Noop | null, typeParameters?: TypeParameterDeclaration | TSTypeParameterDeclaration | Noop | null): ObjectMethod;
 export function objectProperty(key: any, value: Expression | PatternLike, computed?: boolean, shorthand?: boolean, decorators?: Array<Decorator> | null): ObjectProperty;
 export function restElement(argument: LVal, decorators?: Array<Decorator> | null, typeAnnotation?: TypeAnnotation | TSTypeAnnotation | Noop | null): RestElement;
 export function returnStatement(argument?: Expression | null): ReturnStatement;
 export function sequenceExpression(expressions: Array<Expression>): SequenceExpression;
+export function parenthesizedExpression(expression: Expression): ParenthesizedExpression;
 export function switchCase(test: Expression | null | undefined, consequent: Array<Statement>): SwitchCase;
 export function switchStatement(discriminant: Expression, cases: Array<SwitchCase>): SwitchStatement;
 export function thisExpression(): ThisExpression;
@@ -1430,67 +1610,69 @@ export function variableDeclaration(kind: "var" | "let" | "const", declarations:
 export function variableDeclarator(id: LVal, init?: Expression | null, definite?: boolean | null): VariableDeclarator;
 export function whileStatement(test: Expression, body: BlockStatement | Statement): WhileStatement;
 export function withStatement(object: Expression, body: BlockStatement | Statement): WithStatement;
-export function assignmentPattern(left: Identifier | ObjectPattern | ArrayPattern, right: Expression, decorators?: Array<Decorator> | null, typeAnnotation?: TypeAnnotation | TSTypeAnnotation | Noop | null): AssignmentPattern;
+export function assignmentPattern(left: Identifier | ObjectPattern | ArrayPattern | MemberExpression, right: Expression, decorators?: Array<Decorator> | null, typeAnnotation?: TypeAnnotation | TSTypeAnnotation | Noop | null): AssignmentPattern;
 export function arrayPattern(elements: Array<PatternLike>, decorators?: Array<Decorator> | null, typeAnnotation?: TypeAnnotation | TSTypeAnnotation | Noop | null): ArrayPattern;
-export function arrowFunctionExpression(params: Array<LVal>, body: BlockStatement | Expression, async?: boolean, expression?: boolean | null, generator?: boolean, returnType?: TypeAnnotation | TSTypeAnnotation | Noop | null, typeParameters?: TypeParameterDeclaration | TSTypeParameterDeclaration | Noop | null): ArrowFunctionExpression;
-export function classBody(body: Array<ClassMethod | ClassProperty | TSDeclareMethod | TSIndexSignature>): ClassBody;
+export function arrowFunctionExpression(params: Array<Identifier | Pattern | RestElement | TSParameterProperty>, body: BlockStatement | Expression, async?: boolean, expression?: boolean | null, generator?: boolean, returnType?: TypeAnnotation | TSTypeAnnotation | Noop | null, typeParameters?: TypeParameterDeclaration | TSTypeParameterDeclaration | Noop | null): ArrowFunctionExpression;
+export function classBody(body: Array<ClassMethod | ClassPrivateMethod | ClassProperty | ClassPrivateProperty | TSDeclareMethod | TSIndexSignature>): ClassBody;
 export function classDeclaration(id: Identifier | null | undefined, superClass: Expression | null | undefined, body: ClassBody, decorators?: Array<Decorator> | null, abstract?: boolean | null, declare?: boolean | null, _implements?: Array<TSExpressionWithTypeArguments | ClassImplements> | null, mixins?: any | null, superTypeParameters?: TypeParameterInstantiation | TSTypeParameterInstantiation | null, typeParameters?: TypeParameterDeclaration | TSTypeParameterDeclaration | Noop | null): ClassDeclaration;
 export function classExpression(id: Identifier | null | undefined, superClass: Expression | null | undefined, body: ClassBody, decorators?: Array<Decorator> | null, _implements?: Array<TSExpressionWithTypeArguments | ClassImplements> | null, mixins?: any | null, superTypeParameters?: TypeParameterInstantiation | TSTypeParameterInstantiation | null, typeParameters?: TypeParameterDeclaration | TSTypeParameterDeclaration | Noop | null): ClassExpression;
 export function exportAllDeclaration(source: StringLiteral): ExportAllDeclaration;
 export function exportDefaultDeclaration(declaration: FunctionDeclaration | TSDeclareFunction | ClassDeclaration | Expression): ExportDefaultDeclaration;
-export function exportNamedDeclaration(declaration: Declaration | null | undefined, specifiers: Array<ExportSpecifier | ExportDefaultSpecifier | ExportNamespaceSpecifier>, source?: StringLiteral | null): ExportNamedDeclaration;
+export function exportNamedDeclaration(declaration: Declaration | null | undefined, specifiers: Array<ExportSpecifier | ExportDefaultSpecifier | ExportNamespaceSpecifier>, source?: StringLiteral | null, exportKind?: "type" | "value" | null): ExportNamedDeclaration;
 export function exportSpecifier(local: Identifier, exported: Identifier): ExportSpecifier;
 export function forOfStatement(left: VariableDeclaration | LVal, right: Expression, body: Statement, _await?: boolean): ForOfStatement;
-export function importDeclaration(specifiers: Array<ImportSpecifier | ImportDefaultSpecifier | ImportNamespaceSpecifier>, source: StringLiteral): ImportDeclaration;
+export function importDeclaration(specifiers: Array<ImportSpecifier | ImportDefaultSpecifier | ImportNamespaceSpecifier>, source: StringLiteral, importKind?: "type" | "typeof" | "value" | null): ImportDeclaration;
 export function importDefaultSpecifier(local: Identifier): ImportDefaultSpecifier;
 export function importNamespaceSpecifier(local: Identifier): ImportNamespaceSpecifier;
-export function importSpecifier(local: Identifier, imported: Identifier, importKind?: null | "type" | "typeof" | null): ImportSpecifier;
+export function importSpecifier(local: Identifier, imported: Identifier, importKind?: "type" | "typeof" | null): ImportSpecifier;
 export function metaProperty(meta: Identifier, property: Identifier): MetaProperty;
-export function classMethod(kind: "get" | "set" | "method" | "constructor" | undefined, key: Identifier | StringLiteral | NumericLiteral | Expression, params: Array<LVal>, body: BlockStatement, computed?: boolean, _static?: boolean | null, abstract?: boolean | null, access?: "public" | "private" | "protected" | null, accessibility?: "public" | "private" | "protected" | null, async?: boolean, decorators?: Array<Decorator> | null, generator?: boolean, optional?: boolean | null, returnType?: TypeAnnotation | TSTypeAnnotation | Noop | null, typeParameters?: TypeParameterDeclaration | TSTypeParameterDeclaration | Noop | null): ClassMethod;
+export function classMethod(kind: "get" | "set" | "method" | "constructor" | undefined, key: Identifier | StringLiteral | NumericLiteral | Expression, params: Array<Identifier | Pattern | RestElement | TSParameterProperty>, body: BlockStatement, computed?: boolean, _static?: boolean | null, abstract?: boolean | null, access?: "public" | "private" | "protected" | null, accessibility?: "public" | "private" | "protected" | null, async?: boolean, decorators?: Array<Decorator> | null, generator?: boolean, optional?: boolean | null, returnType?: TypeAnnotation | TSTypeAnnotation | Noop | null, typeParameters?: TypeParameterDeclaration | TSTypeParameterDeclaration | Noop | null): ClassMethod;
 export function objectPattern(properties: Array<RestElement | ObjectProperty>, decorators?: Array<Decorator> | null, typeAnnotation?: TypeAnnotation | TSTypeAnnotation | Noop | null): ObjectPattern;
 export function spreadElement(argument: Expression): SpreadElement;
-export function taggedTemplateExpression(tag: Expression, quasi: TemplateLiteral): TaggedTemplateExpression;
-export function templateElement(value: any, tail?: boolean): TemplateElement;
+export function taggedTemplateExpression(tag: Expression, quasi: TemplateLiteral, typeParameters?: TypeParameterInstantiation | TSTypeParameterInstantiation | null): TaggedTemplateExpression;
+export function templateElement(value: { raw: string, cooked?: string }, tail?: boolean): TemplateElement;
 export function templateLiteral(quasis: Array<TemplateElement>, expressions: Array<Expression>): TemplateLiteral;
 export function yieldExpression(argument?: Expression | null, delegate?: boolean): YieldExpression;
 export function anyTypeAnnotation(): AnyTypeAnnotation;
 export function arrayTypeAnnotation(elementType: FlowType): ArrayTypeAnnotation;
 export function booleanTypeAnnotation(): BooleanTypeAnnotation;
-export function booleanLiteralTypeAnnotation(value?: boolean | null): BooleanLiteralTypeAnnotation;
+export function booleanLiteralTypeAnnotation(value: boolean): BooleanLiteralTypeAnnotation;
 export function nullLiteralTypeAnnotation(): NullLiteralTypeAnnotation;
 export function classImplements(id: Identifier, typeParameters?: TypeParameterInstantiation | null): ClassImplements;
-export function declareClass(id: Identifier, typeParameters: TypeParameterInstantiation | null | undefined, _extends: Array<InterfaceExtends> | null | undefined, body: ObjectTypeAnnotation, mixins?: Array<InterfaceExtends> | null): DeclareClass;
+export function declareClass(id: Identifier, typeParameters: TypeParameterDeclaration | null | undefined, _extends: Array<InterfaceExtends> | null | undefined, body: ObjectTypeAnnotation, _implements?: Array<ClassImplements> | null, mixins?: Array<InterfaceExtends> | null): DeclareClass;
 export function declareFunction(id: Identifier, predicate?: DeclaredPredicate | null): DeclareFunction;
-export function declareInterface(id: Identifier, typeParameters: TypeParameterDeclaration | null | undefined, _extends: InterfaceExtends | null | undefined, body: ObjectTypeAnnotation, mixins?: Array<Flow> | null): DeclareInterface;
+export function declareInterface(id: Identifier, typeParameters: TypeParameterDeclaration | null | undefined, _extends: Array<InterfaceExtends> | null | undefined, body: ObjectTypeAnnotation, _implements?: Array<ClassImplements> | null, mixins?: Array<InterfaceExtends> | null): DeclareInterface;
 export function declareModule(id: Identifier | StringLiteral, body: BlockStatement, kind?: "CommonJS" | "ES" | null): DeclareModule;
 export function declareModuleExports(typeAnnotation: TypeAnnotation): DeclareModuleExports;
 export function declareTypeAlias(id: Identifier, typeParameters: TypeParameterDeclaration | null | undefined, right: FlowType): DeclareTypeAlias;
 export function declareOpaqueType(id: Identifier, typeParameters?: TypeParameterDeclaration | null, supertype?: FlowType | null): DeclareOpaqueType;
 export function declareVariable(id: Identifier): DeclareVariable;
 export function declareExportDeclaration(declaration?: Flow | null, specifiers?: Array<ExportSpecifier | ExportNamespaceSpecifier> | null, source?: StringLiteral | null, _default?: boolean | null): DeclareExportDeclaration;
-export function declareExportAllDeclaration(source: StringLiteral, exportKind?: ["type","value"] | null): DeclareExportAllDeclaration;
+export function declareExportAllDeclaration(source: StringLiteral, exportKind?: "type" | "value" | null): DeclareExportAllDeclaration;
 export function declaredPredicate(value: Flow): DeclaredPredicate;
 export function existsTypeAnnotation(): ExistsTypeAnnotation;
 export function functionTypeAnnotation(typeParameters: TypeParameterDeclaration | null | undefined, params: Array<FunctionTypeParam>, rest: FunctionTypeParam | null | undefined, returnType: FlowType): FunctionTypeAnnotation;
 export function functionTypeParam(name: Identifier | null | undefined, typeAnnotation: FlowType, optional?: boolean | null): FunctionTypeParam;
-export function genericTypeAnnotation(id: Identifier, typeParameters?: TypeParameterInstantiation | null): GenericTypeAnnotation;
+export function genericTypeAnnotation(id: Identifier | QualifiedTypeIdentifier, typeParameters?: TypeParameterInstantiation | null): GenericTypeAnnotation;
 export function inferredPredicate(): InferredPredicate;
-export function interfaceExtends(id: Identifier, typeParameters?: TypeParameterInstantiation | null): InterfaceExtends;
-export function interfaceDeclaration(id: Identifier, typeParameters: TypeParameterDeclaration | null | undefined, _extends: Array<InterfaceExtends>, body: ObjectTypeAnnotation, mixins?: Array<InterfaceExtends> | null): InterfaceDeclaration;
+export function interfaceExtends(id: Identifier | QualifiedTypeIdentifier, typeParameters?: TypeParameterInstantiation | null): InterfaceExtends;
+export function interfaceDeclaration(id: Identifier, typeParameters: TypeParameterDeclaration | null | undefined, _extends: Array<InterfaceExtends> | null | undefined, body: ObjectTypeAnnotation, _implements?: Array<ClassImplements> | null, mixins?: Array<InterfaceExtends> | null): InterfaceDeclaration;
+export function interfaceTypeAnnotation(_extends: Array<InterfaceExtends> | null | undefined, body: ObjectTypeAnnotation): InterfaceTypeAnnotation;
 export function intersectionTypeAnnotation(types: Array<FlowType>): IntersectionTypeAnnotation;
 export function mixedTypeAnnotation(): MixedTypeAnnotation;
 export function emptyTypeAnnotation(): EmptyTypeAnnotation;
 export function nullableTypeAnnotation(typeAnnotation: FlowType): NullableTypeAnnotation;
-export function numberLiteralTypeAnnotation(value?: number | null): NumberLiteralTypeAnnotation;
+export function numberLiteralTypeAnnotation(value: number): NumberLiteralTypeAnnotation;
 export function numberTypeAnnotation(): NumberTypeAnnotation;
-export function objectTypeAnnotation(properties: Array<ObjectTypeProperty | ObjectTypeSpreadProperty>, indexers?: Array<ObjectTypeIndexer> | null, callProperties?: Array<ObjectTypeCallProperty> | null, exact?: boolean): ObjectTypeAnnotation;
+export function objectTypeAnnotation(properties: Array<ObjectTypeProperty | ObjectTypeSpreadProperty>, indexers?: Array<ObjectTypeIndexer> | null, callProperties?: Array<ObjectTypeCallProperty> | null, internalSlots?: Array<ObjectTypeInternalSlot> | null, exact?: boolean, inexact?: boolean | null): ObjectTypeAnnotation;
+export function objectTypeInternalSlot(id: Identifier, value: FlowType, optional: boolean, _static: boolean, method: boolean): ObjectTypeInternalSlot;
 export function objectTypeCallProperty(value: FlowType, _static?: boolean | null): ObjectTypeCallProperty;
 export function objectTypeIndexer(id: Identifier | null | undefined, key: FlowType, value: FlowType, variance?: Variance | null, _static?: boolean | null): ObjectTypeIndexer;
-export function objectTypeProperty(key: Identifier | StringLiteral, value: FlowType, variance?: Variance | null, kind?: "init" | "get" | "set" | null, optional?: boolean | null, _static?: boolean | null): ObjectTypeProperty;
+export function objectTypeProperty(key: Identifier | StringLiteral, value: FlowType, variance?: Variance | null, kind?: "init" | "get" | "set" | null, optional?: boolean | null, proto?: boolean | null, _static?: boolean | null): ObjectTypeProperty;
 export function objectTypeSpreadProperty(argument: FlowType): ObjectTypeSpreadProperty;
 export function opaqueType(id: Identifier, typeParameters: TypeParameterDeclaration | null | undefined, supertype: FlowType | null | undefined, impltype: FlowType): OpaqueType;
 export function qualifiedTypeIdentifier(id: Identifier, qualification: Identifier | QualifiedTypeIdentifier): QualifiedTypeIdentifier;
-export function stringLiteralTypeAnnotation(value?: string | null): StringLiteralTypeAnnotation;
+export function stringLiteralTypeAnnotation(value: string): StringLiteralTypeAnnotation;
 export function stringTypeAnnotation(): StringTypeAnnotation;
 export function thisTypeAnnotation(): ThisTypeAnnotation;
 export function tupleTypeAnnotation(types: Array<FlowType>): TupleTypeAnnotation;
@@ -1508,38 +1690,47 @@ export function jsxAttribute(name: JSXIdentifier | JSXNamespacedName, value?: JS
 export function jsxClosingElement(name: JSXIdentifier | JSXMemberExpression): JSXClosingElement;
 export function jsxElement(openingElement: JSXOpeningElement, closingElement: JSXClosingElement | null | undefined, children: Array<JSXText | JSXExpressionContainer | JSXSpreadChild | JSXElement | JSXFragment>, selfClosing: any): JSXElement;
 export function jsxEmptyExpression(): JSXEmptyExpression;
-export function jsxExpressionContainer(expression: Expression): JSXExpressionContainer;
+export function jsxExpressionContainer(expression: Expression | JSXEmptyExpression): JSXExpressionContainer;
 export function jsxSpreadChild(expression: Expression): JSXSpreadChild;
 export function jsxIdentifier(name: string): JSXIdentifier;
 export function jsxMemberExpression(object: JSXMemberExpression | JSXIdentifier, property: JSXIdentifier): JSXMemberExpression;
 export function jsxNamespacedName(namespace: JSXIdentifier, name: JSXIdentifier): JSXNamespacedName;
-export function jsxOpeningElement(name: JSXIdentifier | JSXMemberExpression, attributes: Array<JSXAttribute | JSXSpreadAttribute>, selfClosing?: boolean): JSXOpeningElement;
+export function jsxOpeningElement(name: JSXIdentifier | JSXMemberExpression, attributes: Array<JSXAttribute | JSXSpreadAttribute>, selfClosing?: boolean, typeParameters?: TypeParameterInstantiation | TSTypeParameterInstantiation | null): JSXOpeningElement;
 export function jsxSpreadAttribute(argument: Expression): JSXSpreadAttribute;
 export function jsxText(value: string): JSXText;
 export function jsxFragment(openingFragment: JSXOpeningFragment, closingFragment: JSXClosingFragment, children: Array<JSXText | JSXExpressionContainer | JSXSpreadChild | JSXElement | JSXFragment>): JSXFragment;
 export function jsxOpeningFragment(): JSXOpeningFragment;
 export function jsxClosingFragment(): JSXClosingFragment;
 export function noop(): Noop;
-export function parenthesizedExpression(expression: Expression): ParenthesizedExpression;
+export function placeholder(expectedNode: "Identifier" | "StringLiteral" | "Expression" | "Statement" | "Declaration" | "BlockStatement" | "ClassBody" | "Pattern", name: Identifier): Placeholder;
+export function argumentPlaceholder(): ArgumentPlaceholder;
 export function awaitExpression(argument: Expression): AwaitExpression;
 export function bindExpression(object: any, callee: any): BindExpression;
 export function classProperty(key: Identifier | StringLiteral | NumericLiteral | Expression, value?: Expression | null, typeAnnotation?: TypeAnnotation | TSTypeAnnotation | Noop | null, decorators?: Array<Decorator> | null, computed?: boolean, abstract?: boolean | null, accessibility?: "public" | "private" | "protected" | null, definite?: boolean | null, optional?: boolean | null, readonly?: boolean | null, _static?: boolean | null): ClassProperty;
 export function optionalMemberExpression(object: Expression, property: any, computed: boolean | undefined, optional: boolean): OptionalMemberExpression;
-export function optionalCallExpression(callee: Expression, _arguments: Array<Expression | SpreadElement | JSXNamespacedName>, optional: boolean, typeParameters?: TypeParameterInstantiation | TSTypeParameterInstantiation | null): OptionalCallExpression;
+export function pipelineTopicExpression(expression: Expression): PipelineTopicExpression;
+export function pipelineBareFunction(callee: Expression): PipelineBareFunction;
+export function pipelinePrimaryTopicReference(): PipelinePrimaryTopicReference;
+export function optionalCallExpression(callee: Expression, _arguments: Array<Expression | SpreadElement | JSXNamespacedName>, optional: boolean, typeArguments?: TypeParameterInstantiation | null, typeParameters?: TSTypeParameterInstantiation | null): OptionalCallExpression;
+export function classPrivateProperty(key: PrivateName, value?: Expression | null): ClassPrivateProperty;
+export function classPrivateMethod(kind: "get" | "set" | "method" | "constructor" | undefined, key: PrivateName, params: Array<Identifier | Pattern | RestElement | TSParameterProperty>, body: BlockStatement, _static?: boolean | null, abstract?: boolean | null, access?: "public" | "private" | "protected" | null, accessibility?: "public" | "private" | "protected" | null, async?: boolean, computed?: boolean, decorators?: Array<Decorator> | null, generator?: boolean, optional?: boolean | null, returnType?: any | null, typeParameters?: any | null): ClassPrivateMethod;
 export function decorator(expression: Expression): Decorator;
 export function doExpression(body: BlockStatement): DoExpression;
 export function exportDefaultSpecifier(exported: Identifier): ExportDefaultSpecifier;
 export function exportNamespaceSpecifier(exported: Identifier): ExportNamespaceSpecifier;
+export function privateName(id: Identifier): PrivateName;
+export function bigIntLiteral(value: string): BigIntLiteral;
 export function tsParameterProperty(parameter: Identifier | AssignmentPattern, accessibility?: "public" | "private" | "protected" | null, readonly?: boolean | null): TSParameterProperty;
-export function tsDeclareFunction(id: Identifier | null | undefined, typeParameters: TSTypeParameterDeclaration | Noop | null | undefined, params: Array<LVal>, returnType?: TSTypeAnnotation | Noop | null, async?: boolean, declare?: boolean | null, generator?: boolean): TSDeclareFunction;
-export function tsDeclareMethod(decorators: Array<Decorator> | null | undefined, key: Identifier | StringLiteral | NumericLiteral | Expression, typeParameters: TSTypeParameterDeclaration | Noop | null | undefined, params: Array<LVal>, returnType?: TSTypeAnnotation | Noop | 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, _static?: boolean | null): TSDeclareMethod;
+export function tsDeclareFunction(id: Identifier | null | undefined, typeParameters: TSTypeParameterDeclaration | Noop | null | undefined, params: Array<Identifier | Pattern | RestElement | TSParameterProperty>, returnType?: TSTypeAnnotation | Noop | null, async?: boolean, declare?: boolean | null, generator?: boolean): TSDeclareFunction;
+export function tsDeclareMethod(decorators: Array<Decorator> | null | undefined, key: Identifier | StringLiteral | NumericLiteral | Expression, typeParameters: TSTypeParameterDeclaration | Noop | null | undefined, params: Array<Identifier | Pattern | RestElement | TSParameterProperty>, returnType?: TSTypeAnnotation | Noop | 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, _static?: boolean | null): TSDeclareMethod;
 export function tsQualifiedName(left: TSEntityName, right: Identifier): TSQualifiedName;
-export function tsCallSignatureDeclaration(typeParameters?: TSTypeParameterDeclaration | null, parameters?: Array<Identifier | RestElement> | null, typeAnnotation?: TSTypeAnnotation | null): TSCallSignatureDeclaration;
-export function tsConstructSignatureDeclaration(typeParameters?: TSTypeParameterDeclaration | null, parameters?: Array<Identifier | RestElement> | null, typeAnnotation?: TSTypeAnnotation | null): TSConstructSignatureDeclaration;
+export function tsCallSignatureDeclaration(typeParameters: TSTypeParameterDeclaration | null | undefined, parameters: Array<Identifier | RestElement>, typeAnnotation?: TSTypeAnnotation | null): TSCallSignatureDeclaration;
+export function tsConstructSignatureDeclaration(typeParameters: TSTypeParameterDeclaration | null | undefined, parameters: Array<Identifier | RestElement>, typeAnnotation?: TSTypeAnnotation | null): TSConstructSignatureDeclaration;
 export function tsPropertySignature(key: Expression, typeAnnotation?: TSTypeAnnotation | null, initializer?: Expression | null, computed?: boolean | null, optional?: boolean | null, readonly?: boolean | null): TSPropertySignature;
-export function tsMethodSignature(key: Expression, typeParameters?: TSTypeParameterDeclaration | null, parameters?: Array<Identifier | RestElement> | null, typeAnnotation?: TSTypeAnnotation | null, computed?: boolean | null, optional?: boolean | null): TSMethodSignature;
+export function tsMethodSignature(key: Expression, typeParameters: TSTypeParameterDeclaration | null | undefined, parameters: Array<Identifier | RestElement>, typeAnnotation?: TSTypeAnnotation | null, computed?: boolean | null, optional?: boolean | null): TSMethodSignature;
 export function tsIndexSignature(parameters: Array<Identifier>, typeAnnotation?: TSTypeAnnotation | null, readonly?: boolean | null): TSIndexSignature;
 export function tsAnyKeyword(): TSAnyKeyword;
+export function tsUnknownKeyword(): TSUnknownKeyword;
 export function tsNumberKeyword(): TSNumberKeyword;
 export function tsObjectKeyword(): TSObjectKeyword;
 export function tsBooleanKeyword(): TSBooleanKeyword;
@@ -1550,18 +1741,20 @@ export function tsUndefinedKeyword(): TSUndefinedKeyword;
 export function tsNullKeyword(): TSNullKeyword;
 export function tsNeverKeyword(): TSNeverKeyword;
 export function tsThisType(): TSThisType;
-export function tsFunctionType(typeParameters?: TSTypeParameterDeclaration | null, typeAnnotation?: TSTypeAnnotation | null, parameters?: Array<Identifier | RestElement> | null): TSFunctionType;
-export function tsConstructorType(typeParameters?: TSTypeParameterDeclaration | null, typeAnnotation?: TSTypeAnnotation | null, parameters?: Array<Identifier | RestElement> | null): TSConstructorType;
+export function tsFunctionType(typeParameters: TSTypeParameterDeclaration | null | undefined, parameters: Array<Identifier | RestElement>, typeAnnotation?: TSTypeAnnotation | null): TSFunctionType;
+export function tsConstructorType(typeParameters: TSTypeParameterDeclaration | null | undefined, parameters: Array<Identifier | RestElement>, typeAnnotation?: TSTypeAnnotation | null): TSConstructorType;
 export function tsTypeReference(typeName: TSEntityName, typeParameters?: TSTypeParameterInstantiation | null): TSTypeReference;
 export function tsTypePredicate(parameterName: Identifier | TSThisType, typeAnnotation: TSTypeAnnotation): TSTypePredicate;
-export function tsTypeQuery(exprName: TSEntityName): TSTypeQuery;
+export function tsTypeQuery(exprName: TSEntityName | TSImportType): TSTypeQuery;
 export function tsTypeLiteral(members: Array<TSTypeElement>): TSTypeLiteral;
 export function tsArrayType(elementType: TSType): TSArrayType;
 export function tsTupleType(elementTypes: Array<TSType>): TSTupleType;
+export function tsOptionalType(typeAnnotation: TSType): TSOptionalType;
+export function tsRestType(typeAnnotation: TSType): TSRestType;
 export function tsUnionType(types: Array<TSType>): TSUnionType;
 export function tsIntersectionType(types: Array<TSType>): TSIntersectionType;
 export function tsConditionalType(checkType: TSType, extendsType: TSType, trueType: TSType, falseType: TSType): TSConditionalType;
-export function tsInferType(typeParameter: TSType): TSInferType;
+export function tsInferType(typeParameter: TSTypeParameter): TSInferType;
 export function tsParenthesizedType(typeAnnotation: TSType): TSParenthesizedType;
 export function tsTypeOperator(typeAnnotation: TSType, operator?: string | null): TSTypeOperator;
 export function tsIndexedAccessType(objectType: TSType, indexType: TSType): TSIndexedAccessType;
@@ -1577,6 +1770,7 @@ export function tsEnumDeclaration(id: Identifier, members: Array<TSEnumMember>,
 export function tsEnumMember(id: Identifier | StringLiteral, initializer?: Expression | null): TSEnumMember;
 export function tsModuleDeclaration(id: Identifier | StringLiteral, body: TSModuleBlock | TSModuleDeclaration, declare?: boolean | null, global?: boolean | null): TSModuleDeclaration;
 export function tsModuleBlock(body: Array<Statement>): TSModuleBlock;
+export function tsImportType(argument: StringLiteral, qualifier?: TSEntityName | null, typeParameters?: TSTypeParameterInstantiation | null): TSImportType;
 export function tsImportEqualsDeclaration(id: Identifier, moduleReference: TSEntityName | TSExternalModuleReference, isExport?: boolean | null): TSImportEqualsDeclaration;
 export function tsExternalModuleReference(expression: StringLiteral): TSExternalModuleReference;
 export function tsNonNullExpression(expression: Expression): TSNonNullExpression;
@@ -1586,258 +1780,275 @@ export function tsTypeAnnotation(typeAnnotation: TSType): TSTypeAnnotation;
 export function tsTypeParameterInstantiation(params: Array<TSType>): TSTypeParameterInstantiation;
 export function tsTypeParameterDeclaration(params: Array<TSTypeParameter>): TSTypeParameterDeclaration;
 export function tsTypeParameter(constraint?: TSType | null, _default?: TSType | null, name?: string | null): TSTypeParameter;
-export function isAnyTypeAnnotation(node: object, opts?: object | null): node is AnyTypeAnnotation;
-export function isArrayExpression(node: object, opts?: object | null): node is ArrayExpression;
-export function isArrayPattern(node: object, opts?: object | null): node is ArrayPattern;
-export function isArrayTypeAnnotation(node: object, opts?: object | null): node is ArrayTypeAnnotation;
-export function isArrowFunctionExpression(node: object, opts?: object | null): node is ArrowFunctionExpression;
-export function isAssignmentExpression(node: object, opts?: object | null): node is AssignmentExpression;
-export function isAssignmentPattern(node: object, opts?: object | null): node is AssignmentPattern;
-export function isAwaitExpression(node: object, opts?: object | null): node is AwaitExpression;
-export function isBinary(node: object, opts?: object | null): boolean;
-export function isBinaryExpression(node: object, opts?: object | null): node is BinaryExpression;
-export function isBindExpression(node: object, opts?: object | null): node is BindExpression;
-export function isBlock(node: object, opts?: object | null): boolean;
-export function isBlockParent(node: object, opts?: object | null): boolean;
-export function isBlockStatement(node: object, opts?: object | null): node is BlockStatement;
-export function isBooleanLiteral(node: object, opts?: object | null): node is BooleanLiteral;
-export function isBooleanLiteralTypeAnnotation(node: object, opts?: object | null): node is BooleanLiteralTypeAnnotation;
-export function isBooleanTypeAnnotation(node: object, opts?: object | null): node is BooleanTypeAnnotation;
-export function isBreakStatement(node: object, opts?: object | null): node is BreakStatement;
-export function isCallExpression(node: object, opts?: object | null): node is CallExpression;
-export function isCatchClause(node: object, opts?: object | null): node is CatchClause;
-export function isClass(node: object, opts?: object | null): boolean;
-export function isClassBody(node: object, opts?: object | null): node is ClassBody;
-export function isClassDeclaration(node: object, opts?: object | null): node is ClassDeclaration;
-export function isClassExpression(node: object, opts?: object | null): node is ClassExpression;
-export function isClassImplements(node: object, opts?: object | null): node is ClassImplements;
-export function isClassMethod(node: object, opts?: object | null): node is ClassMethod;
-export function isClassProperty(node: object, opts?: object | null): node is ClassProperty;
-export function isCompletionStatement(node: object, opts?: object | null): boolean;
-export function isConditional(node: object, opts?: object | null): boolean;
-export function isConditionalExpression(node: object, opts?: object | null): node is ConditionalExpression;
-export function isContinueStatement(node: object, opts?: object | null): node is ContinueStatement;
-export function isDebuggerStatement(node: object, opts?: object | null): node is DebuggerStatement;
-export function isDeclaration(node: object, opts?: object | null): boolean;
-export function isDeclareClass(node: object, opts?: object | null): node is DeclareClass;
-export function isDeclareExportAllDeclaration(node: object, opts?: object | null): node is DeclareExportAllDeclaration;
-export function isDeclareExportDeclaration(node: object, opts?: object | null): node is DeclareExportDeclaration;
-export function isDeclareFunction(node: object, opts?: object | null): node is DeclareFunction;
-export function isDeclareInterface(node: object, opts?: object | null): node is DeclareInterface;
-export function isDeclareModule(node: object, opts?: object | null): node is DeclareModule;
-export function isDeclareModuleExports(node: object, opts?: object | null): node is DeclareModuleExports;
-export function isDeclareOpaqueType(node: object, opts?: object | null): node is DeclareOpaqueType;
-export function isDeclareTypeAlias(node: object, opts?: object | null): node is DeclareTypeAlias;
-export function isDeclareVariable(node: object, opts?: object | null): node is DeclareVariable;
-export function isDeclaredPredicate(node: object, opts?: object | null): node is DeclaredPredicate;
-export function isDecorator(node: object, opts?: object | null): node is Decorator;
-export function isDirective(node: object, opts?: object | null): node is Directive;
-export function isDirectiveLiteral(node: object, opts?: object | null): node is DirectiveLiteral;
-export function isDoExpression(node: object, opts?: object | null): node is DoExpression;
-export function isDoWhileStatement(node: object, opts?: object | null): node is DoWhileStatement;
-export function isEmptyStatement(node: object, opts?: object | null): node is EmptyStatement;
-export function isEmptyTypeAnnotation(node: object, opts?: object | null): node is EmptyTypeAnnotation;
-export function isExistsTypeAnnotation(node: object, opts?: object | null): node is ExistsTypeAnnotation;
-export function isExportAllDeclaration(node: object, opts?: object | null): node is ExportAllDeclaration;
-export function isExportDeclaration(node: object, opts?: object | null): boolean;
-export function isExportDefaultDeclaration(node: object, opts?: object | null): node is ExportDefaultDeclaration;
-export function isExportDefaultSpecifier(node: object, opts?: object | null): node is ExportDefaultSpecifier;
-export function isExportNamedDeclaration(node: object, opts?: object | null): node is ExportNamedDeclaration;
-export function isExportNamespaceSpecifier(node: object, opts?: object | null): node is ExportNamespaceSpecifier;
-export function isExportSpecifier(node: object, opts?: object | null): node is ExportSpecifier;
-export function isExpression(node: object, opts?: object | null): boolean;
-export function isExpressionStatement(node: object, opts?: object | null): node is ExpressionStatement;
-export function isExpressionWrapper(node: object, opts?: object | null): boolean;
-export function isFile(node: object, opts?: object | null): node is File;
-export function isFlow(node: object, opts?: object | null): boolean;
-export function isFlowBaseAnnotation(node: object, opts?: object | null): boolean;
-export function isFlowDeclaration(node: object, opts?: object | null): boolean;
-export function isFlowPredicate(node: object, opts?: object | null): boolean;
-export function isFlowType(node: object, opts?: object | null): boolean;
-export function isFor(node: object, opts?: object | null): boolean;
-export function isForInStatement(node: object, opts?: object | null): node is ForInStatement;
-export function isForOfStatement(node: object, opts?: object | null): node is ForOfStatement;
-export function isForStatement(node: object, opts?: object | null): node is ForStatement;
-export function isForXStatement(node: object, opts?: object | null): boolean;
-export function isFunction(node: object, opts?: object | null): boolean;
-export function isFunctionDeclaration(node: object, opts?: object | null): node is FunctionDeclaration;
-export function isFunctionExpression(node: object, opts?: object | null): node is FunctionExpression;
-export function isFunctionParent(node: object, opts?: object | null): boolean;
-export function isFunctionTypeAnnotation(node: object, opts?: object | null): node is FunctionTypeAnnotation;
-export function isFunctionTypeParam(node: object, opts?: object | null): node is FunctionTypeParam;
-export function isGenericTypeAnnotation(node: object, opts?: object | null): node is GenericTypeAnnotation;
-export function isIdentifier(node: object, opts?: object | null): node is Identifier;
-export function isIfStatement(node: object, opts?: object | null): node is IfStatement;
-export function isImmutable(node: object, opts?: object | null): boolean;
-export function isImport(node: object, opts?: object | null): node is Import;
-export function isImportDeclaration(node: object, opts?: object | null): node is ImportDeclaration;
-export function isImportDefaultSpecifier(node: object, opts?: object | null): node is ImportDefaultSpecifier;
-export function isImportNamespaceSpecifier(node: object, opts?: object | null): node is ImportNamespaceSpecifier;
-export function isImportSpecifier(node: object, opts?: object | null): node is ImportSpecifier;
-export function isInferredPredicate(node: object, opts?: object | null): node is InferredPredicate;
-export function isInterfaceDeclaration(node: object, opts?: object | null): node is InterfaceDeclaration;
-export function isInterfaceExtends(node: object, opts?: object | null): node is InterfaceExtends;
-export function isIntersectionTypeAnnotation(node: object, opts?: object | null): node is IntersectionTypeAnnotation;
-export function isJSX(node: object, opts?: object | null): boolean;
-export function isJSXAttribute(node: object, opts?: object | null): node is JSXAttribute;
-export function isJSXClosingElement(node: object, opts?: object | null): node is JSXClosingElement;
-export function isJSXClosingFragment(node: object, opts?: object | null): node is JSXClosingFragment;
-export function isJSXElement(node: object, opts?: object | null): node is JSXElement;
-export function isJSXEmptyExpression(node: object, opts?: object | null): node is JSXEmptyExpression;
-export function isJSXExpressionContainer(node: object, opts?: object | null): node is JSXExpressionContainer;
-export function isJSXFragment(node: object, opts?: object | null): node is JSXFragment;
-export function isJSXIdentifier(node: object, opts?: object | null): node is JSXIdentifier;
-export function isJSXMemberExpression(node: object, opts?: object | null): node is JSXMemberExpression;
-export function isJSXNamespacedName(node: object, opts?: object | null): node is JSXNamespacedName;
-export function isJSXOpeningElement(node: object, opts?: object | null): node is JSXOpeningElement;
-export function isJSXOpeningFragment(node: object, opts?: object | null): node is JSXOpeningFragment;
-export function isJSXSpreadAttribute(node: object, opts?: object | null): node is JSXSpreadAttribute;
-export function isJSXSpreadChild(node: object, opts?: object | null): node is JSXSpreadChild;
-export function isJSXText(node: object, opts?: object | null): node is JSXText;
-export function isLVal(node: object, opts?: object | null): boolean;
-export function isLabeledStatement(node: object, opts?: object | null): node is LabeledStatement;
-export function isLiteral(node: object, opts?: object | null): boolean;
-export function isLogicalExpression(node: object, opts?: object | null): node is LogicalExpression;
-export function isLoop(node: object, opts?: object | null): boolean;
-export function isMemberExpression(node: object, opts?: object | null): node is MemberExpression;
-export function isMetaProperty(node: object, opts?: object | null): node is MetaProperty;
-export function isMethod(node: object, opts?: object | null): boolean;
-export function isMixedTypeAnnotation(node: object, opts?: object | null): node is MixedTypeAnnotation;
-export function isModuleDeclaration(node: object, opts?: object | null): boolean;
-export function isModuleSpecifier(node: object, opts?: object | null): boolean;
-export function isNewExpression(node: object, opts?: object | null): node is NewExpression;
-export function isNoop(node: object, opts?: object | null): node is Noop;
-export function isNullLiteral(node: object, opts?: object | null): node is NullLiteral;
-export function isNullLiteralTypeAnnotation(node: object, opts?: object | null): node is NullLiteralTypeAnnotation;
-export function isNullableTypeAnnotation(node: object, opts?: object | null): node is NullableTypeAnnotation;
-export function isNumberLiteral(node: object, opts?: object | null): boolean;
-export function isNumberLiteralTypeAnnotation(node: object, opts?: object | null): node is NumberLiteralTypeAnnotation;
-export function isNumberTypeAnnotation(node: object, opts?: object | null): node is NumberTypeAnnotation;
-export function isNumericLiteral(node: object, opts?: object | null): node is NumericLiteral;
-export function isObjectExpression(node: object, opts?: object | null): node is ObjectExpression;
-export function isObjectMember(node: object, opts?: object | null): boolean;
-export function isObjectMethod(node: object, opts?: object | null): node is ObjectMethod;
-export function isObjectPattern(node: object, opts?: object | null): node is ObjectPattern;
-export function isObjectProperty(node: object, opts?: object | null): node is ObjectProperty;
-export function isObjectTypeAnnotation(node: object, opts?: object | null): node is ObjectTypeAnnotation;
-export function isObjectTypeCallProperty(node: object, opts?: object | null): node is ObjectTypeCallProperty;
-export function isObjectTypeIndexer(node: object, opts?: object | null): node is ObjectTypeIndexer;
-export function isObjectTypeProperty(node: object, opts?: object | null): node is ObjectTypeProperty;
-export function isObjectTypeSpreadProperty(node: object, opts?: object | null): node is ObjectTypeSpreadProperty;
-export function isOpaqueType(node: object, opts?: object | null): node is OpaqueType;
-export function isOptionalCallExpression(node: object, opts?: object | null): node is OptionalCallExpression;
-export function isOptionalMemberExpression(node: object, opts?: object | null): node is OptionalMemberExpression;
-export function isParenthesizedExpression(node: object, opts?: object | null): node is ParenthesizedExpression;
-export function isPattern(node: object, opts?: object | null): boolean;
-export function isPatternLike(node: object, opts?: object | null): boolean;
-export function isProgram(node: object, opts?: object | null): node is Program;
-export function isProperty(node: object, opts?: object | null): boolean;
-export function isPureish(node: object, opts?: object | null): boolean;
-export function isQualifiedTypeIdentifier(node: object, opts?: object | null): node is QualifiedTypeIdentifier;
-export function isRegExpLiteral(node: object, opts?: object | null): node is RegExpLiteral;
-export function isRegexLiteral(node: object, opts?: object | null): boolean;
-export function isRestElement(node: object, opts?: object | null): node is RestElement;
-export function isRestProperty(node: object, opts?: object | null): boolean;
-export function isReturnStatement(node: object, opts?: object | null): node is ReturnStatement;
-export function isScopable(node: object, opts?: object | null): boolean;
-export function isSequenceExpression(node: object, opts?: object | null): node is SequenceExpression;
-export function isSpreadElement(node: object, opts?: object | null): node is SpreadElement;
-export function isSpreadProperty(node: object, opts?: object | null): boolean;
-export function isStatement(node: object, opts?: object | null): boolean;
-export function isStringLiteral(node: object, opts?: object | null): node is StringLiteral;
-export function isStringLiteralTypeAnnotation(node: object, opts?: object | null): node is StringLiteralTypeAnnotation;
-export function isStringTypeAnnotation(node: object, opts?: object | null): node is StringTypeAnnotation;
-export function isSuper(node: object, opts?: object | null): node is Super;
-export function isSwitchCase(node: object, opts?: object | null): node is SwitchCase;
-export function isSwitchStatement(node: object, opts?: object | null): node is SwitchStatement;
-export function isTSAnyKeyword(node: object, opts?: object | null): node is TSAnyKeyword;
-export function isTSArrayType(node: object, opts?: object | null): node is TSArrayType;
-export function isTSAsExpression(node: object, opts?: object | null): node is TSAsExpression;
-export function isTSBooleanKeyword(node: object, opts?: object | null): node is TSBooleanKeyword;
-export function isTSCallSignatureDeclaration(node: object, opts?: object | null): node is TSCallSignatureDeclaration;
-export function isTSConditionalType(node: object, opts?: object | null): node is TSConditionalType;
-export function isTSConstructSignatureDeclaration(node: object, opts?: object | null): node is TSConstructSignatureDeclaration;
-export function isTSConstructorType(node: object, opts?: object | null): node is TSConstructorType;
-export function isTSDeclareFunction(node: object, opts?: object | null): node is TSDeclareFunction;
-export function isTSDeclareMethod(node: object, opts?: object | null): node is TSDeclareMethod;
-export function isTSEntityName(node: object, opts?: object | null): boolean;
-export function isTSEnumDeclaration(node: object, opts?: object | null): node is TSEnumDeclaration;
-export function isTSEnumMember(node: object, opts?: object | null): node is TSEnumMember;
-export function isTSExportAssignment(node: object, opts?: object | null): node is TSExportAssignment;
-export function isTSExpressionWithTypeArguments(node: object, opts?: object | null): node is TSExpressionWithTypeArguments;
-export function isTSExternalModuleReference(node: object, opts?: object | null): node is TSExternalModuleReference;
-export function isTSFunctionType(node: object, opts?: object | null): node is TSFunctionType;
-export function isTSImportEqualsDeclaration(node: object, opts?: object | null): node is TSImportEqualsDeclaration;
-export function isTSIndexSignature(node: object, opts?: object | null): node is TSIndexSignature;
-export function isTSIndexedAccessType(node: object, opts?: object | null): node is TSIndexedAccessType;
-export function isTSInferType(node: object, opts?: object | null): node is TSInferType;
-export function isTSInterfaceBody(node: object, opts?: object | null): node is TSInterfaceBody;
-export function isTSInterfaceDeclaration(node: object, opts?: object | null): node is TSInterfaceDeclaration;
-export function isTSIntersectionType(node: object, opts?: object | null): node is TSIntersectionType;
-export function isTSLiteralType(node: object, opts?: object | null): node is TSLiteralType;
-export function isTSMappedType(node: object, opts?: object | null): node is TSMappedType;
-export function isTSMethodSignature(node: object, opts?: object | null): node is TSMethodSignature;
-export function isTSModuleBlock(node: object, opts?: object | null): node is TSModuleBlock;
-export function isTSModuleDeclaration(node: object, opts?: object | null): node is TSModuleDeclaration;
-export function isTSNamespaceExportDeclaration(node: object, opts?: object | null): node is TSNamespaceExportDeclaration;
-export function isTSNeverKeyword(node: object, opts?: object | null): node is TSNeverKeyword;
-export function isTSNonNullExpression(node: object, opts?: object | null): node is TSNonNullExpression;
-export function isTSNullKeyword(node: object, opts?: object | null): node is TSNullKeyword;
-export function isTSNumberKeyword(node: object, opts?: object | null): node is TSNumberKeyword;
-export function isTSObjectKeyword(node: object, opts?: object | null): node is TSObjectKeyword;
-export function isTSParameterProperty(node: object, opts?: object | null): node is TSParameterProperty;
-export function isTSParenthesizedType(node: object, opts?: object | null): node is TSParenthesizedType;
-export function isTSPropertySignature(node: object, opts?: object | null): node is TSPropertySignature;
-export function isTSQualifiedName(node: object, opts?: object | null): node is TSQualifiedName;
-export function isTSStringKeyword(node: object, opts?: object | null): node is TSStringKeyword;
-export function isTSSymbolKeyword(node: object, opts?: object | null): node is TSSymbolKeyword;
-export function isTSThisType(node: object, opts?: object | null): node is TSThisType;
-export function isTSTupleType(node: object, opts?: object | null): node is TSTupleType;
-export function isTSType(node: object, opts?: object | null): boolean;
-export function isTSTypeAliasDeclaration(node: object, opts?: object | null): node is TSTypeAliasDeclaration;
-export function isTSTypeAnnotation(node: object, opts?: object | null): node is TSTypeAnnotation;
-export function isTSTypeAssertion(node: object, opts?: object | null): node is TSTypeAssertion;
-export function isTSTypeElement(node: object, opts?: object | null): boolean;
-export function isTSTypeLiteral(node: object, opts?: object | null): node is TSTypeLiteral;
-export function isTSTypeOperator(node: object, opts?: object | null): node is TSTypeOperator;
-export function isTSTypeParameter(node: object, opts?: object | null): node is TSTypeParameter;
-export function isTSTypeParameterDeclaration(node: object, opts?: object | null): node is TSTypeParameterDeclaration;
-export function isTSTypeParameterInstantiation(node: object, opts?: object | null): node is TSTypeParameterInstantiation;
-export function isTSTypePredicate(node: object, opts?: object | null): node is TSTypePredicate;
-export function isTSTypeQuery(node: object, opts?: object | null): node is TSTypeQuery;
-export function isTSTypeReference(node: object, opts?: object | null): node is TSTypeReference;
-export function isTSUndefinedKeyword(node: object, opts?: object | null): node is TSUndefinedKeyword;
-export function isTSUnionType(node: object, opts?: object | null): node is TSUnionType;
-export function isTSVoidKeyword(node: object, opts?: object | null): node is TSVoidKeyword;
-export function isTaggedTemplateExpression(node: object, opts?: object | null): node is TaggedTemplateExpression;
-export function isTemplateElement(node: object, opts?: object | null): node is TemplateElement;
-export function isTemplateLiteral(node: object, opts?: object | null): node is TemplateLiteral;
-export function isTerminatorless(node: object, opts?: object | null): boolean;
-export function isThisExpression(node: object, opts?: object | null): node is ThisExpression;
-export function isThisTypeAnnotation(node: object, opts?: object | null): node is ThisTypeAnnotation;
-export function isThrowStatement(node: object, opts?: object | null): node is ThrowStatement;
-export function isTryStatement(node: object, opts?: object | null): node is TryStatement;
-export function isTupleTypeAnnotation(node: object, opts?: object | null): node is TupleTypeAnnotation;
-export function isTypeAlias(node: object, opts?: object | null): node is TypeAlias;
-export function isTypeAnnotation(node: object, opts?: object | null): node is TypeAnnotation;
-export function isTypeCastExpression(node: object, opts?: object | null): node is TypeCastExpression;
-export function isTypeParameter(node: object, opts?: object | null): node is TypeParameter;
-export function isTypeParameterDeclaration(node: object, opts?: object | null): node is TypeParameterDeclaration;
-export function isTypeParameterInstantiation(node: object, opts?: object | null): node is TypeParameterInstantiation;
-export function isTypeofTypeAnnotation(node: object, opts?: object | null): node is TypeofTypeAnnotation;
-export function isUnaryExpression(node: object, opts?: object | null): node is UnaryExpression;
-export function isUnaryLike(node: object, opts?: object | null): boolean;
-export function isUnionTypeAnnotation(node: object, opts?: object | null): node is UnionTypeAnnotation;
-export function isUpdateExpression(node: object, opts?: object | null): node is UpdateExpression;
-export function isUserWhitespacable(node: object, opts?: object | null): boolean;
-export function isVariableDeclaration(node: object, opts?: object | null): node is VariableDeclaration;
-export function isVariableDeclarator(node: object, opts?: object | null): node is VariableDeclarator;
-export function isVariance(node: object, opts?: object | null): node is Variance;
-export function isVoidTypeAnnotation(node: object, opts?: object | null): node is VoidTypeAnnotation;
-export function isWhile(node: object, opts?: object | null): boolean;
-export function isWhileStatement(node: object, opts?: object | null): node is WhileStatement;
-export function isWithStatement(node: object, opts?: object | null): node is WithStatement;
-export function isYieldExpression(node: object, opts?: object | null): node is YieldExpression;
+export function isAnyTypeAnnotation(node: object | null | undefined, opts?: object | null): node is AnyTypeAnnotation;
+export function isArgumentPlaceholder(node: object | null | undefined, opts?: object | null): node is ArgumentPlaceholder;
+export function isArrayExpression(node: object | null | undefined, opts?: object | null): node is ArrayExpression;
+export function isArrayPattern(node: object | null | undefined, opts?: object | null): node is ArrayPattern;
+export function isArrayTypeAnnotation(node: object | null | undefined, opts?: object | null): node is ArrayTypeAnnotation;
+export function isArrowFunctionExpression(node: object | null | undefined, opts?: object | null): node is ArrowFunctionExpression;
+export function isAssignmentExpression(node: object | null | undefined, opts?: object | null): node is AssignmentExpression;
+export function isAssignmentPattern(node: object | null | undefined, opts?: object | null): node is AssignmentPattern;
+export function isAwaitExpression(node: object | null | undefined, opts?: object | null): node is AwaitExpression;
+export function isBigIntLiteral(node: object | null | undefined, opts?: object | null): node is BigIntLiteral;
+export function isBinary(node: object | null | undefined, opts?: object | null): node is Binary;
+export function isBinaryExpression(node: object | null | undefined, opts?: object | null): node is BinaryExpression;
+export function isBindExpression(node: object | null | undefined, opts?: object | null): node is BindExpression;
+export function isBlock(node: object | null | undefined, opts?: object | null): node is Block;
+export function isBlockParent(node: object | null | undefined, opts?: object | null): node is BlockParent;
+export function isBlockStatement(node: object | null | undefined, opts?: object | null): node is BlockStatement;
+export function isBooleanLiteral(node: object | null | undefined, opts?: object | null): node is BooleanLiteral;
+export function isBooleanLiteralTypeAnnotation(node: object | null | undefined, opts?: object | null): node is BooleanLiteralTypeAnnotation;
+export function isBooleanTypeAnnotation(node: object | null | undefined, opts?: object | null): node is BooleanTypeAnnotation;
+export function isBreakStatement(node: object | null | undefined, opts?: object | null): node is BreakStatement;
+export function isCallExpression(node: object | null | undefined, opts?: object | null): node is CallExpression;
+export function isCatchClause(node: object | null | undefined, opts?: object | null): node is CatchClause;
+export function isClass(node: object | null | undefined, opts?: object | null): node is Class;
+export function isClassBody(node: object | null | undefined, opts?: object | null): node is ClassBody;
+export function isClassDeclaration(node: object | null | undefined, opts?: object | null): node is ClassDeclaration;
+export function isClassExpression(node: object | null | undefined, opts?: object | null): node is ClassExpression;
+export function isClassImplements(node: object | null | undefined, opts?: object | null): node is ClassImplements;
+export function isClassMethod(node: object | null | undefined, opts?: object | null): node is ClassMethod;
+export function isClassPrivateMethod(node: object | null | undefined, opts?: object | null): node is ClassPrivateMethod;
+export function isClassPrivateProperty(node: object | null | undefined, opts?: object | null): node is ClassPrivateProperty;
+export function isClassProperty(node: object | null | undefined, opts?: object | null): node is ClassProperty;
+export function isCompletionStatement(node: object | null | undefined, opts?: object | null): node is CompletionStatement;
+export function isConditional(node: object | null | undefined, opts?: object | null): node is Conditional;
+export function isConditionalExpression(node: object | null | undefined, opts?: object | null): node is ConditionalExpression;
+export function isContinueStatement(node: object | null | undefined, opts?: object | null): node is ContinueStatement;
+export function isDebuggerStatement(node: object | null | undefined, opts?: object | null): node is DebuggerStatement;
+export function isDeclaration(node: object | null | undefined, opts?: object | null): node is Declaration;
+export function isDeclareClass(node: object | null | undefined, opts?: object | null): node is DeclareClass;
+export function isDeclareExportAllDeclaration(node: object | null | undefined, opts?: object | null): node is DeclareExportAllDeclaration;
+export function isDeclareExportDeclaration(node: object | null | undefined, opts?: object | null): node is DeclareExportDeclaration;
+export function isDeclareFunction(node: object | null | undefined, opts?: object | null): node is DeclareFunction;
+export function isDeclareInterface(node: object | null | undefined, opts?: object | null): node is DeclareInterface;
+export function isDeclareModule(node: object | null | undefined, opts?: object | null): node is DeclareModule;
+export function isDeclareModuleExports(node: object | null | undefined, opts?: object | null): node is DeclareModuleExports;
+export function isDeclareOpaqueType(node: object | null | undefined, opts?: object | null): node is DeclareOpaqueType;
+export function isDeclareTypeAlias(node: object | null | undefined, opts?: object | null): node is DeclareTypeAlias;
+export function isDeclareVariable(node: object | null | undefined, opts?: object | null): node is DeclareVariable;
+export function isDeclaredPredicate(node: object | null | undefined, opts?: object | null): node is DeclaredPredicate;
+export function isDecorator(node: object | null | undefined, opts?: object | null): node is Decorator;
+export function isDirective(node: object | null | undefined, opts?: object | null): node is Directive;
+export function isDirectiveLiteral(node: object | null | undefined, opts?: object | null): node is DirectiveLiteral;
+export function isDoExpression(node: object | null | undefined, opts?: object | null): node is DoExpression;
+export function isDoWhileStatement(node: object | null | undefined, opts?: object | null): node is DoWhileStatement;
+export function isEmptyStatement(node: object | null | undefined, opts?: object | null): node is EmptyStatement;
+export function isEmptyTypeAnnotation(node: object | null | undefined, opts?: object | null): node is EmptyTypeAnnotation;
+export function isExistsTypeAnnotation(node: object | null | undefined, opts?: object | null): node is ExistsTypeAnnotation;
+export function isExportAllDeclaration(node: object | null | undefined, opts?: object | null): node is ExportAllDeclaration;
+export function isExportDeclaration(node: object | null | undefined, opts?: object | null): node is ExportDeclaration;
+export function isExportDefaultDeclaration(node: object | null | undefined, opts?: object | null): node is ExportDefaultDeclaration;
+export function isExportDefaultSpecifier(node: object | null | undefined, opts?: object | null): node is ExportDefaultSpecifier;
+export function isExportNamedDeclaration(node: object | null | undefined, opts?: object | null): node is ExportNamedDeclaration;
+export function isExportNamespaceSpecifier(node: object | null | undefined, opts?: object | null): node is ExportNamespaceSpecifier;
+export function isExportSpecifier(node: object | null | undefined, opts?: object | null): node is ExportSpecifier;
+export function isExpression(node: object | null | undefined, opts?: object | null): node is Expression;
+export function isExpressionStatement(node: object | null | undefined, opts?: object | null): node is ExpressionStatement;
+export function isExpressionWrapper(node: object | null | undefined, opts?: object | null): node is ExpressionWrapper;
+export function isFile(node: object | null | undefined, opts?: object | null): node is File;
+export function isFlow(node: object | null | undefined, opts?: object | null): node is Flow;
+export function isFlowBaseAnnotation(node: object | null | undefined, opts?: object | null): node is FlowBaseAnnotation;
+export function isFlowDeclaration(node: object | null | undefined, opts?: object | null): node is FlowDeclaration;
+export function isFlowPredicate(node: object | null | undefined, opts?: object | null): node is FlowPredicate;
+export function isFlowType(node: object | null | undefined, opts?: object | null): node is FlowType;
+export function isFor(node: object | null | undefined, opts?: object | null): node is For;
+export function isForInStatement(node: object | null | undefined, opts?: object | null): node is ForInStatement;
+export function isForOfStatement(node: object | null | undefined, opts?: object | null): node is ForOfStatement;
+export function isForStatement(node: object | null | undefined, opts?: object | null): node is ForStatement;
+export function isForXStatement(node: object | null | undefined, opts?: object | null): node is ForXStatement;
+export function isFunction(node: object | null | undefined, opts?: object | null): node is Function;
+export function isFunctionDeclaration(node: object | null | undefined, opts?: object | null): node is FunctionDeclaration;
+export function isFunctionExpression(node: object | null | undefined, opts?: object | null): node is FunctionExpression;
+export function isFunctionParent(node: object | null | undefined, opts?: object | null): node is FunctionParent;
+export function isFunctionTypeAnnotation(node: object | null | undefined, opts?: object | null): node is FunctionTypeAnnotation;
+export function isFunctionTypeParam(node: object | null | undefined, opts?: object | null): node is FunctionTypeParam;
+export function isGenericTypeAnnotation(node: object | null | undefined, opts?: object | null): node is GenericTypeAnnotation;
+export function isIdentifier(node: object | null | undefined, opts?: object | null): node is Identifier;
+export function isIfStatement(node: object | null | undefined, opts?: object | null): node is IfStatement;
+export function isImmutable(node: object | null | undefined, opts?: object | null): node is Immutable;
+export function isImport(node: object | null | undefined, opts?: object | null): node is Import;
+export function isImportDeclaration(node: object | null | undefined, opts?: object | null): node is ImportDeclaration;
+export function isImportDefaultSpecifier(node: object | null | undefined, opts?: object | null): node is ImportDefaultSpecifier;
+export function isImportNamespaceSpecifier(node: object | null | undefined, opts?: object | null): node is ImportNamespaceSpecifier;
+export function isImportSpecifier(node: object | null | undefined, opts?: object | null): node is ImportSpecifier;
+export function isInferredPredicate(node: object | null | undefined, opts?: object | null): node is InferredPredicate;
+export function isInterfaceDeclaration(node: object | null | undefined, opts?: object | null): node is InterfaceDeclaration;
+export function isInterfaceExtends(node: object | null | undefined, opts?: object | null): node is InterfaceExtends;
+export function isInterfaceTypeAnnotation(node: object | null | undefined, opts?: object | null): node is InterfaceTypeAnnotation;
+export function isInterpreterDirective(node: object | null | undefined, opts?: object | null): node is InterpreterDirective;
+export function isIntersectionTypeAnnotation(node: object | null | undefined, opts?: object | null): node is IntersectionTypeAnnotation;
+export function isJSX(node: object | null | undefined, opts?: object | null): node is JSX;
+export function isJSXAttribute(node: object | null | undefined, opts?: object | null): node is JSXAttribute;
+export function isJSXClosingElement(node: object | null | undefined, opts?: object | null): node is JSXClosingElement;
+export function isJSXClosingFragment(node: object | null | undefined, opts?: object | null): node is JSXClosingFragment;
+export function isJSXElement(node: object | null | undefined, opts?: object | null): node is JSXElement;
+export function isJSXEmptyExpression(node: object | null | undefined, opts?: object | null): node is JSXEmptyExpression;
+export function isJSXExpressionContainer(node: object | null | undefined, opts?: object | null): node is JSXExpressionContainer;
+export function isJSXFragment(node: object | null | undefined, opts?: object | null): node is JSXFragment;
+export function isJSXIdentifier(node: object | null | undefined, opts?: object | null): node is JSXIdentifier;
+export function isJSXMemberExpression(node: object | null | undefined, opts?: object | null): node is JSXMemberExpression;
+export function isJSXNamespacedName(node: object | null | undefined, opts?: object | null): node is JSXNamespacedName;
+export function isJSXOpeningElement(node: object | null | undefined, opts?: object | null): node is JSXOpeningElement;
+export function isJSXOpeningFragment(node: object | null | undefined, opts?: object | null): node is JSXOpeningFragment;
+export function isJSXSpreadAttribute(node: object | null | undefined, opts?: object | null): node is JSXSpreadAttribute;
+export function isJSXSpreadChild(node: object | null | undefined, opts?: object | null): node is JSXSpreadChild;
+export function isJSXText(node: object | null | undefined, opts?: object | null): node is JSXText;
+export function isLVal(node: object | null | undefined, opts?: object | null): node is LVal;
+export function isLabeledStatement(node: object | null | undefined, opts?: object | null): node is LabeledStatement;
+export function isLiteral(node: object | null | undefined, opts?: object | null): node is Literal;
+export function isLogicalExpression(node: object | null | undefined, opts?: object | null): node is LogicalExpression;
+export function isLoop(node: object | null | undefined, opts?: object | null): node is Loop;
+export function isMemberExpression(node: object | null | undefined, opts?: object | null): node is MemberExpression;
+export function isMetaProperty(node: object | null | undefined, opts?: object | null): node is MetaProperty;
+export function isMethod(node: object | null | undefined, opts?: object | null): node is Method;
+export function isMixedTypeAnnotation(node: object | null | undefined, opts?: object | null): node is MixedTypeAnnotation;
+export function isModuleDeclaration(node: object | null | undefined, opts?: object | null): node is ModuleDeclaration;
+export function isModuleSpecifier(node: object | null | undefined, opts?: object | null): node is ModuleSpecifier;
+export function isNewExpression(node: object | null | undefined, opts?: object | null): node is NewExpression;
+export function isNoop(node: object | null | undefined, opts?: object | null): node is Noop;
+export function isNullLiteral(node: object | null | undefined, opts?: object | null): node is NullLiteral;
+export function isNullLiteralTypeAnnotation(node: object | null | undefined, opts?: object | null): node is NullLiteralTypeAnnotation;
+export function isNullableTypeAnnotation(node: object | null | undefined, opts?: object | null): node is NullableTypeAnnotation;
+export function isNumberLiteral(node: object | null | undefined, opts?: object | null): boolean;
+export function isNumberLiteralTypeAnnotation(node: object | null | undefined, opts?: object | null): node is NumberLiteralTypeAnnotation;
+export function isNumberTypeAnnotation(node: object | null | undefined, opts?: object | null): node is NumberTypeAnnotation;
+export function isNumericLiteral(node: object | null | undefined, opts?: object | null): node is NumericLiteral;
+export function isObjectExpression(node: object | null | undefined, opts?: object | null): node is ObjectExpression;
+export function isObjectMember(node: object | null | undefined, opts?: object | null): node is ObjectMember;
+export function isObjectMethod(node: object | null | undefined, opts?: object | null): node is ObjectMethod;
+export function isObjectPattern(node: object | null | undefined, opts?: object | null): node is ObjectPattern;
+export function isObjectProperty(node: object | null | undefined, opts?: object | null): node is ObjectProperty;
+export function isObjectTypeAnnotation(node: object | null | undefined, opts?: object | null): node is ObjectTypeAnnotation;
+export function isObjectTypeCallProperty(node: object | null | undefined, opts?: object | null): node is ObjectTypeCallProperty;
+export function isObjectTypeIndexer(node: object | null | undefined, opts?: object | null): node is ObjectTypeIndexer;
+export function isObjectTypeInternalSlot(node: object | null | undefined, opts?: object | null): node is ObjectTypeInternalSlot;
+export function isObjectTypeProperty(node: object | null | undefined, opts?: object | null): node is ObjectTypeProperty;
+export function isObjectTypeSpreadProperty(node: object | null | undefined, opts?: object | null): node is ObjectTypeSpreadProperty;
+export function isOpaqueType(node: object | null | undefined, opts?: object | null): node is OpaqueType;
+export function isOptionalCallExpression(node: object | null | undefined, opts?: object | null): node is OptionalCallExpression;
+export function isOptionalMemberExpression(node: object | null | undefined, opts?: object | null): node is OptionalMemberExpression;
+export function isParenthesizedExpression(node: object | null | undefined, opts?: object | null): node is ParenthesizedExpression;
+export function isPattern(node: object | null | undefined, opts?: object | null): node is Pattern;
+export function isPatternLike(node: object | null | undefined, opts?: object | null): node is PatternLike;
+export function isPipelineBareFunction(node: object | null | undefined, opts?: object | null): node is PipelineBareFunction;
+export function isPipelinePrimaryTopicReference(node: object | null | undefined, opts?: object | null): node is PipelinePrimaryTopicReference;
+export function isPipelineTopicExpression(node: object | null | undefined, opts?: object | null): node is PipelineTopicExpression;
+export function isPlaceholder(node: object | null | undefined, opts?: object | null): node is Placeholder;
+export function isPrivate(node: object | null | undefined, opts?: object | null): node is Private;
+export function isPrivateName(node: object | null | undefined, opts?: object | null): node is PrivateName;
+export function isProgram(node: object | null | undefined, opts?: object | null): node is Program;
+export function isProperty(node: object | null | undefined, opts?: object | null): node is Property;
+export function isPureish(node: object | null | undefined, opts?: object | null): node is Pureish;
+export function isQualifiedTypeIdentifier(node: object | null | undefined, opts?: object | null): node is QualifiedTypeIdentifier;
+export function isRegExpLiteral(node: object | null | undefined, opts?: object | null): node is RegExpLiteral;
+export function isRegexLiteral(node: object | null | undefined, opts?: object | null): boolean;
+export function isRestElement(node: object | null | undefined, opts?: object | null): node is RestElement;
+export function isRestProperty(node: object | null | undefined, opts?: object | null): boolean;
+export function isReturnStatement(node: object | null | undefined, opts?: object | null): node is ReturnStatement;
+export function isScopable(node: object | null | undefined, opts?: object | null): node is Scopable;
+export function isSequenceExpression(node: object | null | undefined, opts?: object | null): node is SequenceExpression;
+export function isSpreadElement(node: object | null | undefined, opts?: object | null): node is SpreadElement;
+export function isSpreadProperty(node: object | null | undefined, opts?: object | null): boolean;
+export function isStatement(node: object | null | undefined, opts?: object | null): node is Statement;
+export function isStringLiteral(node: object | null | undefined, opts?: object | null): node is StringLiteral;
+export function isStringLiteralTypeAnnotation(node: object | null | undefined, opts?: object | null): node is StringLiteralTypeAnnotation;
+export function isStringTypeAnnotation(node: object | null | undefined, opts?: object | null): node is StringTypeAnnotation;
+export function isSuper(node: object | null | undefined, opts?: object | null): node is Super;
+export function isSwitchCase(node: object | null | undefined, opts?: object | null): node is SwitchCase;
+export function isSwitchStatement(node: object | null | undefined, opts?: object | null): node is SwitchStatement;
+export function isTSAnyKeyword(node: object | null | undefined, opts?: object | null): node is TSAnyKeyword;
+export function isTSArrayType(node: object | null | undefined, opts?: object | null): node is TSArrayType;
+export function isTSAsExpression(node: object | null | undefined, opts?: object | null): node is TSAsExpression;
+export function isTSBooleanKeyword(node: object | null | undefined, opts?: object | null): node is TSBooleanKeyword;
+export function isTSCallSignatureDeclaration(node: object | null | undefined, opts?: object | null): node is TSCallSignatureDeclaration;
+export function isTSConditionalType(node: object | null | undefined, opts?: object | null): node is TSConditionalType;
+export function isTSConstructSignatureDeclaration(node: object | null | undefined, opts?: object | null): node is TSConstructSignatureDeclaration;
+export function isTSConstructorType(node: object | null | undefined, opts?: object | null): node is TSConstructorType;
+export function isTSDeclareFunction(node: object | null | undefined, opts?: object | null): node is TSDeclareFunction;
+export function isTSDeclareMethod(node: object | null | undefined, opts?: object | null): node is TSDeclareMethod;
+export function isTSEntityName(node: object | null | undefined, opts?: object | null): node is TSEntityName;
+export function isTSEnumDeclaration(node: object | null | undefined, opts?: object | null): node is TSEnumDeclaration;
+export function isTSEnumMember(node: object | null | undefined, opts?: object | null): node is TSEnumMember;
+export function isTSExportAssignment(node: object | null | undefined, opts?: object | null): node is TSExportAssignment;
+export function isTSExpressionWithTypeArguments(node: object | null | undefined, opts?: object | null): node is TSExpressionWithTypeArguments;
+export function isTSExternalModuleReference(node: object | null | undefined, opts?: object | null): node is TSExternalModuleReference;
+export function isTSFunctionType(node: object | null | undefined, opts?: object | null): node is TSFunctionType;
+export function isTSImportEqualsDeclaration(node: object | null | undefined, opts?: object | null): node is TSImportEqualsDeclaration;
+export function isTSImportType(node: object | null | undefined, opts?: object | null): node is TSImportType;
+export function isTSIndexSignature(node: object | null | undefined, opts?: object | null): node is TSIndexSignature;
+export function isTSIndexedAccessType(node: object | null | undefined, opts?: object | null): node is TSIndexedAccessType;
+export function isTSInferType(node: object | null | undefined, opts?: object | null): node is TSInferType;
+export function isTSInterfaceBody(node: object | null | undefined, opts?: object | null): node is TSInterfaceBody;
+export function isTSInterfaceDeclaration(node: object | null | undefined, opts?: object | null): node is TSInterfaceDeclaration;
+export function isTSIntersectionType(node: object | null | undefined, opts?: object | null): node is TSIntersectionType;
+export function isTSLiteralType(node: object | null | undefined, opts?: object | null): node is TSLiteralType;
+export function isTSMappedType(node: object | null | undefined, opts?: object | null): node is TSMappedType;
+export function isTSMethodSignature(node: object | null | undefined, opts?: object | null): node is TSMethodSignature;
+export function isTSModuleBlock(node: object | null | undefined, opts?: object | null): node is TSModuleBlock;
+export function isTSModuleDeclaration(node: object | null | undefined, opts?: object | null): node is TSModuleDeclaration;
+export function isTSNamespaceExportDeclaration(node: object | null | undefined, opts?: object | null): node is TSNamespaceExportDeclaration;
+export function isTSNeverKeyword(node: object | null | undefined, opts?: object | null): node is TSNeverKeyword;
+export function isTSNonNullExpression(node: object | null | undefined, opts?: object | null): node is TSNonNullExpression;
+export function isTSNullKeyword(node: object | null | undefined, opts?: object | null): node is TSNullKeyword;
+export function isTSNumberKeyword(node: object | null | undefined, opts?: object | null): node is TSNumberKeyword;
+export function isTSObjectKeyword(node: object | null | undefined, opts?: object | null): node is TSObjectKeyword;
+export function isTSOptionalType(node: object | null | undefined, opts?: object | null): node is TSOptionalType;
+export function isTSParameterProperty(node: object | null | undefined, opts?: object | null): node is TSParameterProperty;
+export function isTSParenthesizedType(node: object | null | undefined, opts?: object | null): node is TSParenthesizedType;
+export function isTSPropertySignature(node: object | null | undefined, opts?: object | null): node is TSPropertySignature;
+export function isTSQualifiedName(node: object | null | undefined, opts?: object | null): node is TSQualifiedName;
+export function isTSRestType(node: object | null | undefined, opts?: object | null): node is TSRestType;
+export function isTSStringKeyword(node: object | null | undefined, opts?: object | null): node is TSStringKeyword;
+export function isTSSymbolKeyword(node: object | null | undefined, opts?: object | null): node is TSSymbolKeyword;
+export function isTSThisType(node: object | null | undefined, opts?: object | null): node is TSThisType;
+export function isTSTupleType(node: object | null | undefined, opts?: object | null): node is TSTupleType;
+export function isTSType(node: object | null | undefined, opts?: object | null): node is TSType;
+export function isTSTypeAliasDeclaration(node: object | null | undefined, opts?: object | null): node is TSTypeAliasDeclaration;
+export function isTSTypeAnnotation(node: object | null | undefined, opts?: object | null): node is TSTypeAnnotation;
+export function isTSTypeAssertion(node: object | null | undefined, opts?: object | null): node is TSTypeAssertion;
+export function isTSTypeElement(node: object | null | undefined, opts?: object | null): node is TSTypeElement;
+export function isTSTypeLiteral(node: object | null | undefined, opts?: object | null): node is TSTypeLiteral;
+export function isTSTypeOperator(node: object | null | undefined, opts?: object | null): node is TSTypeOperator;
+export function isTSTypeParameter(node: object | null | undefined, opts?: object | null): node is TSTypeParameter;
+export function isTSTypeParameterDeclaration(node: object | null | undefined, opts?: object | null): node is TSTypeParameterDeclaration;
+export function isTSTypeParameterInstantiation(node: object | null | undefined, opts?: object | null): node is TSTypeParameterInstantiation;
+export function isTSTypePredicate(node: object | null | undefined, opts?: object | null): node is TSTypePredicate;
+export function isTSTypeQuery(node: object | null | undefined, opts?: object | null): node is TSTypeQuery;
+export function isTSTypeReference(node: object | null | undefined, opts?: object | null): node is TSTypeReference;
+export function isTSUndefinedKeyword(node: object | null | undefined, opts?: object | null): node is TSUndefinedKeyword;
+export function isTSUnionType(node: object | null | undefined, opts?: object | null): node is TSUnionType;
+export function isTSUnknownKeyword(node: object | null | undefined, opts?: object | null): node is TSUnknownKeyword;
+export function isTSVoidKeyword(node: object | null | undefined, opts?: object | null): node is TSVoidKeyword;
+export function isTaggedTemplateExpression(node: object | null | undefined, opts?: object | null): node is TaggedTemplateExpression;
+export function isTemplateElement(node: object | null | undefined, opts?: object | null): node is TemplateElement;
+export function isTemplateLiteral(node: object | null | undefined, opts?: object | null): node is TemplateLiteral;
+export function isTerminatorless(node: object | null | undefined, opts?: object | null): node is Terminatorless;
+export function isThisExpression(node: object | null | undefined, opts?: object | null): node is ThisExpression;
+export function isThisTypeAnnotation(node: object | null | undefined, opts?: object | null): node is ThisTypeAnnotation;
+export function isThrowStatement(node: object | null | undefined, opts?: object | null): node is ThrowStatement;
+export function isTryStatement(node: object | null | undefined, opts?: object | null): node is TryStatement;
+export function isTupleTypeAnnotation(node: object | null | undefined, opts?: object | null): node is TupleTypeAnnotation;
+export function isTypeAlias(node: object | null | undefined, opts?: object | null): node is TypeAlias;
+export function isTypeAnnotation(node: object | null | undefined, opts?: object | null): node is TypeAnnotation;
+export function isTypeCastExpression(node: object | null | undefined, opts?: object | null): node is TypeCastExpression;
+export function isTypeParameter(node: object | null | undefined, opts?: object | null): node is TypeParameter;
+export function isTypeParameterDeclaration(node: object | null | undefined, opts?: object | null): node is TypeParameterDeclaration;
+export function isTypeParameterInstantiation(node: object | null | undefined, opts?: object | null): node is TypeParameterInstantiation;
+export function isTypeofTypeAnnotation(node: object | null | undefined, opts?: object | null): node is TypeofTypeAnnotation;
+export function isUnaryExpression(node: object | null | undefined, opts?: object | null): node is UnaryExpression;
+export function isUnaryLike(node: object | null | undefined, opts?: object | null): node is UnaryLike;
+export function isUnionTypeAnnotation(node: object | null | undefined, opts?: object | null): node is UnionTypeAnnotation;
+export function isUpdateExpression(node: object | null | undefined, opts?: object | null): node is UpdateExpression;
+export function isUserWhitespacable(node: object | null | undefined, opts?: object | null): node is UserWhitespacable;
+export function isVariableDeclaration(node: object | null | undefined, opts?: object | null): node is VariableDeclaration;
+export function isVariableDeclarator(node: object | null | undefined, opts?: object | null): node is VariableDeclarator;
+export function isVariance(node: object | null | undefined, opts?: object | null): node is Variance;
+export function isVoidTypeAnnotation(node: object | null | undefined, opts?: object | null): node is VoidTypeAnnotation;
+export function isWhile(node: object | null | undefined, opts?: object | null): node is While;
+export function isWhileStatement(node: object | null | undefined, opts?: object | null): node is WhileStatement;
+export function isWithStatement(node: object | null | undefined, opts?: object | null): node is WithStatement;
+export function isYieldExpression(node: object | null | undefined, opts?: object | null): node is YieldExpression;
 export function validate(n: Node, key: string, value: any): void;
 export function clone<T extends Node>(n: T): T;
 export function cloneDeep<T extends Node>(n: T): T;