hermes-estree 0.22.0 → 0.23.1

package/dist/generated/predicates.js

@@ -162,6 +162,7 @@ import type {
   OpaqueType,
   OptionalIndexedAccessType,
   PrivateIdentifier,
+  Program,
   Property,
   PropertyDefinition,
   QualifiedTypeIdentifier,
@@ -433,6 +434,7 @@ exports.isPercentToken = isPercentToken;
 exports.isPlusEqualToken = isPlusEqualToken;
 exports.isPlusToken = isPlusToken;
 exports.isPrivateIdentifier = isPrivateIdentifier;
+exports.isProgram = isProgram;
 exports.isProperty = isProperty;
 exports.isPropertyDefinition = isPropertyDefinition;
 exports.isQualifiedTypeIdentifier = isQualifiedTypeIdentifier;
@@ -502,7 +504,7 @@ exports.isYieldToken = isYieldToken;
 function isIdentifier(node
 /*: ESNode | Token */
 )
-/*: node is (Identifier | MostTokens) */
+/*: implies node is (Identifier | MostTokens) */
 {
   return node.type === 'Identifier';
 }
@@ -510,7 +512,7 @@ function isIdentifier(node
 function isJSXIdentifier(node
 /*: ESNode | Token */
 )
-/*: node is (JSXIdentifier | MostTokens) */
+/*: implies node is (JSXIdentifier | MostTokens) */
 {
   return node.type === 'JSXIdentifier';
 }
@@ -518,7 +520,7 @@ function isJSXIdentifier(node
 function isJSXText(node
 /*: ESNode | Token */
 )
-/*: node is (JSXText | MostTokens) */
+/*: implies node is (JSXText | MostTokens) */
 {
   return node.type === 'JSXText';
 }
@@ -526,7 +528,7 @@ function isJSXText(node
 function isAnyTypeAnnotation(node
 /*: ESNode | Token */
 )
-/*: node is AnyTypeAnnotation */
+/*: implies node is AnyTypeAnnotation */
 {
   return node.type === 'AnyTypeAnnotation';
 }
@@ -534,7 +536,7 @@ function isAnyTypeAnnotation(node
 function isArrayExpression(node
 /*: ESNode | Token */
 )
-/*: node is ArrayExpression */
+/*: implies node is ArrayExpression */
 {
   return node.type === 'ArrayExpression';
 }
@@ -542,7 +544,7 @@ function isArrayExpression(node
 function isArrayPattern(node
 /*: ESNode | Token */
 )
-/*: node is ArrayPattern */
+/*: implies node is ArrayPattern */
 {
   return node.type === 'ArrayPattern';
 }
@@ -550,7 +552,7 @@ function isArrayPattern(node
 function isArrayTypeAnnotation(node
 /*: ESNode | Token */
 )
-/*: node is ArrayTypeAnnotation */
+/*: implies node is ArrayTypeAnnotation */
 {
   return node.type === 'ArrayTypeAnnotation';
 }
@@ -558,7 +560,7 @@ function isArrayTypeAnnotation(node
 function isArrowFunctionExpression(node
 /*: ESNode | Token */
 )
-/*: node is ArrowFunctionExpression */
+/*: implies node is ArrowFunctionExpression */
 {
   return node.type === 'ArrowFunctionExpression';
 }
@@ -566,7 +568,7 @@ function isArrowFunctionExpression(node
 function isAsConstExpression(node
 /*: ESNode | Token */
 )
-/*: node is AsConstExpression */
+/*: implies node is AsConstExpression */
 {
   return node.type === 'AsConstExpression';
 }
@@ -574,7 +576,7 @@ function isAsConstExpression(node
 function isAsExpression(node
 /*: ESNode | Token */
 )
-/*: node is AsExpression */
+/*: implies node is AsExpression */
 {
   return node.type === 'AsExpression';
 }
@@ -582,7 +584,7 @@ function isAsExpression(node
 function isAssignmentExpression(node
 /*: ESNode | Token */
 )
-/*: node is AssignmentExpression */
+/*: implies node is AssignmentExpression */
 {
   return node.type === 'AssignmentExpression';
 }
@@ -590,7 +592,7 @@ function isAssignmentExpression(node
 function isAssignmentPattern(node
 /*: ESNode | Token */
 )
-/*: node is AssignmentPattern */
+/*: implies node is AssignmentPattern */
 {
   return node.type === 'AssignmentPattern';
 }
@@ -598,7 +600,7 @@ function isAssignmentPattern(node
 function isAwaitExpression(node
 /*: ESNode | Token */
 )
-/*: node is AwaitExpression */
+/*: implies node is AwaitExpression */
 {
   return node.type === 'AwaitExpression';
 }
@@ -606,7 +608,7 @@ function isAwaitExpression(node
 function isBigIntLiteralTypeAnnotation(node
 /*: ESNode | Token */
 )
-/*: node is BigIntLiteralTypeAnnotation */
+/*: implies node is BigIntLiteralTypeAnnotation */
 {
   return node.type === 'BigIntLiteralTypeAnnotation';
 }
@@ -614,7 +616,7 @@ function isBigIntLiteralTypeAnnotation(node
 function isBigIntTypeAnnotation(node
 /*: ESNode | Token */
 )
-/*: node is BigIntTypeAnnotation */
+/*: implies node is BigIntTypeAnnotation */
 {
   return node.type === 'BigIntTypeAnnotation';
 }
@@ -622,7 +624,7 @@ function isBigIntTypeAnnotation(node
 function isBinaryExpression(node
 /*: ESNode | Token */
 )
-/*: node is BinaryExpression */
+/*: implies node is BinaryExpression */
 {
   return node.type === 'BinaryExpression';
 }
@@ -630,7 +632,7 @@ function isBinaryExpression(node
 function isBlockStatement(node
 /*: ESNode | Token */
 )
-/*: node is BlockStatement */
+/*: implies node is BlockStatement */
 {
   return node.type === 'BlockStatement';
 }
@@ -638,7 +640,7 @@ function isBlockStatement(node
 function isBooleanLiteralTypeAnnotation(node
 /*: ESNode | Token */
 )
-/*: node is BooleanLiteralTypeAnnotation */
+/*: implies node is BooleanLiteralTypeAnnotation */
 {
   return node.type === 'BooleanLiteralTypeAnnotation';
 }
@@ -646,7 +648,7 @@ function isBooleanLiteralTypeAnnotation(node
 function isBooleanTypeAnnotation(node
 /*: ESNode | Token */
 )
-/*: node is BooleanTypeAnnotation */
+/*: implies node is BooleanTypeAnnotation */
 {
   return node.type === 'BooleanTypeAnnotation';
 }
@@ -654,7 +656,7 @@ function isBooleanTypeAnnotation(node
 function isBreakStatement(node
 /*: ESNode | Token */
 )
-/*: node is BreakStatement */
+/*: implies node is BreakStatement */
 {
   return node.type === 'BreakStatement';
 }
@@ -662,7 +664,7 @@ function isBreakStatement(node
 function isCallExpression(node
 /*: ESNode | Token */
 )
-/*: node is CallExpression */
+/*: implies node is CallExpression */
 {
   return node.type === 'CallExpression';
 }
@@ -670,7 +672,7 @@ function isCallExpression(node
 function isCatchClause(node
 /*: ESNode | Token */
 )
-/*: node is CatchClause */
+/*: implies node is CatchClause */
 {
   return node.type === 'CatchClause';
 }
@@ -678,7 +680,7 @@ function isCatchClause(node
 function isChainExpression(node
 /*: ESNode | Token */
 )
-/*: node is ChainExpression */
+/*: implies node is ChainExpression */
 {
   return node.type === 'ChainExpression';
 }
@@ -686,7 +688,7 @@ function isChainExpression(node
 function isClassBody(node
 /*: ESNode | Token */
 )
-/*: node is ClassBody */
+/*: implies node is ClassBody */
 {
   return node.type === 'ClassBody';
 }
@@ -694,7 +696,7 @@ function isClassBody(node
 function isClassDeclaration(node
 /*: ESNode | Token */
 )
-/*: node is ClassDeclaration */
+/*: implies node is ClassDeclaration */
 {
   return node.type === 'ClassDeclaration';
 }
@@ -702,7 +704,7 @@ function isClassDeclaration(node
 function isClassExpression(node
 /*: ESNode | Token */
 )
-/*: node is ClassExpression */
+/*: implies node is ClassExpression */
 {
   return node.type === 'ClassExpression';
 }
@@ -710,7 +712,7 @@ function isClassExpression(node
 function isClassImplements(node
 /*: ESNode | Token */
 )
-/*: node is ClassImplements */
+/*: implies node is ClassImplements */
 {
   return node.type === 'ClassImplements';
 }
@@ -718,7 +720,7 @@ function isClassImplements(node
 function isComponentDeclaration(node
 /*: ESNode | Token */
 )
-/*: node is ComponentDeclaration */
+/*: implies node is ComponentDeclaration */
 {
   return node.type === 'ComponentDeclaration';
 }
@@ -726,7 +728,7 @@ function isComponentDeclaration(node
 function isComponentParameter(node
 /*: ESNode | Token */
 )
-/*: node is ComponentParameter */
+/*: implies node is ComponentParameter */
 {
   return node.type === 'ComponentParameter';
 }
@@ -734,7 +736,7 @@ function isComponentParameter(node
 function isComponentTypeAnnotation(node
 /*: ESNode | Token */
 )
-/*: node is ComponentTypeAnnotation */
+/*: implies node is ComponentTypeAnnotation */
 {
   return node.type === 'ComponentTypeAnnotation';
 }
@@ -742,7 +744,7 @@ function isComponentTypeAnnotation(node
 function isComponentTypeParameter(node
 /*: ESNode | Token */
 )
-/*: node is ComponentTypeParameter */
+/*: implies node is ComponentTypeParameter */
 {
   return node.type === 'ComponentTypeParameter';
 }
@@ -750,7 +752,7 @@ function isComponentTypeParameter(node
 function isConditionalExpression(node
 /*: ESNode | Token */
 )
-/*: node is ConditionalExpression */
+/*: implies node is ConditionalExpression */
 {
   return node.type === 'ConditionalExpression';
 }
@@ -758,7 +760,7 @@ function isConditionalExpression(node
 function isConditionalTypeAnnotation(node
 /*: ESNode | Token */
 )
-/*: node is ConditionalTypeAnnotation */
+/*: implies node is ConditionalTypeAnnotation */
 {
   return node.type === 'ConditionalTypeAnnotation';
 }
@@ -766,7 +768,7 @@ function isConditionalTypeAnnotation(node
 function isContinueStatement(node
 /*: ESNode | Token */
 )
-/*: node is ContinueStatement */
+/*: implies node is ContinueStatement */
 {
   return node.type === 'ContinueStatement';
 }
@@ -774,7 +776,7 @@ function isContinueStatement(node
 function isDebuggerStatement(node
 /*: ESNode | Token */
 )
-/*: node is DebuggerStatement */
+/*: implies node is DebuggerStatement */
 {
   return node.type === 'DebuggerStatement';
 }
@@ -782,7 +784,7 @@ function isDebuggerStatement(node
 function isDeclareClass(node
 /*: ESNode | Token */
 )
-/*: node is DeclareClass */
+/*: implies node is DeclareClass */
 {
   return node.type === 'DeclareClass';
 }
@@ -790,7 +792,7 @@ function isDeclareClass(node
 function isDeclareComponent(node
 /*: ESNode | Token */
 )
-/*: node is DeclareComponent */
+/*: implies node is DeclareComponent */
 {
   return node.type === 'DeclareComponent';
 }
@@ -798,7 +800,7 @@ function isDeclareComponent(node
 function isDeclaredPredicate(node
 /*: ESNode | Token */
 )
-/*: node is DeclaredPredicate */
+/*: implies node is DeclaredPredicate */
 {
   return node.type === 'DeclaredPredicate';
 }
@@ -806,7 +808,7 @@ function isDeclaredPredicate(node
 function isDeclareEnum(node
 /*: ESNode | Token */
 )
-/*: node is DeclareEnum */
+/*: implies node is DeclareEnum */
 {
   return node.type === 'DeclareEnum';
 }
@@ -814,7 +816,7 @@ function isDeclareEnum(node
 function isDeclareExportAllDeclaration(node
 /*: ESNode | Token */
 )
-/*: node is DeclareExportAllDeclaration */
+/*: implies node is DeclareExportAllDeclaration */
 {
   return node.type === 'DeclareExportAllDeclaration';
 }
@@ -822,7 +824,7 @@ function isDeclareExportAllDeclaration(node
 function isDeclareExportDeclaration(node
 /*: ESNode | Token */
 )
-/*: node is DeclareExportDeclaration */
+/*: implies node is DeclareExportDeclaration */
 {
   return node.type === 'DeclareExportDeclaration';
 }
@@ -830,7 +832,7 @@ function isDeclareExportDeclaration(node
 function isDeclareFunction(node
 /*: ESNode | Token */
 )
-/*: node is DeclareFunction */
+/*: implies node is DeclareFunction */
 {
   return node.type === 'DeclareFunction';
 }
@@ -838,7 +840,7 @@ function isDeclareFunction(node
 function isDeclareHook(node
 /*: ESNode | Token */
 )
-/*: node is DeclareHook */
+/*: implies node is DeclareHook */
 {
   return node.type === 'DeclareHook';
 }
@@ -846,7 +848,7 @@ function isDeclareHook(node
 function isDeclareInterface(node
 /*: ESNode | Token */
 )
-/*: node is DeclareInterface */
+/*: implies node is DeclareInterface */
 {
   return node.type === 'DeclareInterface';
 }
@@ -854,7 +856,7 @@ function isDeclareInterface(node
 function isDeclareModule(node
 /*: ESNode | Token */
 )
-/*: node is DeclareModule */
+/*: implies node is DeclareModule */
 {
   return node.type === 'DeclareModule';
 }
@@ -862,7 +864,7 @@ function isDeclareModule(node
 function isDeclareModuleExports(node
 /*: ESNode | Token */
 )
-/*: node is DeclareModuleExports */
+/*: implies node is DeclareModuleExports */
 {
   return node.type === 'DeclareModuleExports';
 }
@@ -870,7 +872,7 @@ function isDeclareModuleExports(node
 function isDeclareNamespace(node
 /*: ESNode | Token */
 )
-/*: node is DeclareNamespace */
+/*: implies node is DeclareNamespace */
 {
   return node.type === 'DeclareNamespace';
 }
@@ -878,7 +880,7 @@ function isDeclareNamespace(node
 function isDeclareOpaqueType(node
 /*: ESNode | Token */
 )
-/*: node is DeclareOpaqueType */
+/*: implies node is DeclareOpaqueType */
 {
   return node.type === 'DeclareOpaqueType';
 }
@@ -886,7 +888,7 @@ function isDeclareOpaqueType(node
 function isDeclareTypeAlias(node
 /*: ESNode | Token */
 )
-/*: node is DeclareTypeAlias */
+/*: implies node is DeclareTypeAlias */
 {
   return node.type === 'DeclareTypeAlias';
 }
@@ -894,7 +896,7 @@ function isDeclareTypeAlias(node
 function isDeclareVariable(node
 /*: ESNode | Token */
 )
-/*: node is DeclareVariable */
+/*: implies node is DeclareVariable */
 {
   return node.type === 'DeclareVariable';
 }
@@ -902,7 +904,7 @@ function isDeclareVariable(node
 function isDoWhileStatement(node
 /*: ESNode | Token */
 )
-/*: node is DoWhileStatement */
+/*: implies node is DoWhileStatement */
 {
   return node.type === 'DoWhileStatement';
 }
@@ -910,7 +912,7 @@ function isDoWhileStatement(node
 function isEmptyStatement(node
 /*: ESNode | Token */
 )
-/*: node is EmptyStatement */
+/*: implies node is EmptyStatement */
 {
   return node.type === 'EmptyStatement';
 }
@@ -918,7 +920,7 @@ function isEmptyStatement(node
 function isEmptyTypeAnnotation(node
 /*: ESNode | Token */
 )
-/*: node is EmptyTypeAnnotation */
+/*: implies node is EmptyTypeAnnotation */
 {
   return node.type === 'EmptyTypeAnnotation';
 }
@@ -926,7 +928,7 @@ function isEmptyTypeAnnotation(node
 function isEnumBigIntBody(node
 /*: ESNode | Token */
 )
-/*: node is EnumBigIntBody */
+/*: implies node is EnumBigIntBody */
 {
   return node.type === 'EnumBigIntBody';
 }
@@ -934,7 +936,7 @@ function isEnumBigIntBody(node
 function isEnumBigIntMember(node
 /*: ESNode | Token */
 )
-/*: node is EnumBigIntMember */
+/*: implies node is EnumBigIntMember */
 {
   return node.type === 'EnumBigIntMember';
 }
@@ -942,7 +944,7 @@ function isEnumBigIntMember(node
 function isEnumBooleanBody(node
 /*: ESNode | Token */
 )
-/*: node is EnumBooleanBody */
+/*: implies node is EnumBooleanBody */
 {
   return node.type === 'EnumBooleanBody';
 }
@@ -950,7 +952,7 @@ function isEnumBooleanBody(node
 function isEnumBooleanMember(node
 /*: ESNode | Token */
 )
-/*: node is EnumBooleanMember */
+/*: implies node is EnumBooleanMember */
 {
   return node.type === 'EnumBooleanMember';
 }
@@ -958,7 +960,7 @@ function isEnumBooleanMember(node
 function isEnumDeclaration(node
 /*: ESNode | Token */
 )
-/*: node is EnumDeclaration */
+/*: implies node is EnumDeclaration */
 {
   return node.type === 'EnumDeclaration';
 }
@@ -966,7 +968,7 @@ function isEnumDeclaration(node
 function isEnumDefaultedMember(node
 /*: ESNode | Token */
 )
-/*: node is EnumDefaultedMember */
+/*: implies node is EnumDefaultedMember */
 {
   return node.type === 'EnumDefaultedMember';
 }
@@ -974,7 +976,7 @@ function isEnumDefaultedMember(node
 function isEnumNumberBody(node
 /*: ESNode | Token */
 )
-/*: node is EnumNumberBody */
+/*: implies node is EnumNumberBody */
 {
   return node.type === 'EnumNumberBody';
 }
@@ -982,7 +984,7 @@ function isEnumNumberBody(node
 function isEnumNumberMember(node
 /*: ESNode | Token */
 )
-/*: node is EnumNumberMember */
+/*: implies node is EnumNumberMember */
 {
   return node.type === 'EnumNumberMember';
 }
@@ -990,7 +992,7 @@ function isEnumNumberMember(node
 function isEnumStringBody(node
 /*: ESNode | Token */
 )
-/*: node is EnumStringBody */
+/*: implies node is EnumStringBody */
 {
   return node.type === 'EnumStringBody';
 }
@@ -998,7 +1000,7 @@ function isEnumStringBody(node
 function isEnumStringMember(node
 /*: ESNode | Token */
 )
-/*: node is EnumStringMember */
+/*: implies node is EnumStringMember */
 {
   return node.type === 'EnumStringMember';
 }
@@ -1006,7 +1008,7 @@ function isEnumStringMember(node
 function isEnumSymbolBody(node
 /*: ESNode | Token */
 )
-/*: node is EnumSymbolBody */
+/*: implies node is EnumSymbolBody */
 {
   return node.type === 'EnumSymbolBody';
 }
@@ -1014,7 +1016,7 @@ function isEnumSymbolBody(node
 function isExistsTypeAnnotation(node
 /*: ESNode | Token */
 )
-/*: node is ExistsTypeAnnotation */
+/*: implies node is ExistsTypeAnnotation */
 {
   return node.type === 'ExistsTypeAnnotation';
 }
@@ -1022,7 +1024,7 @@ function isExistsTypeAnnotation(node
 function isExportAllDeclaration(node
 /*: ESNode | Token */
 )
-/*: node is ExportAllDeclaration */
+/*: implies node is ExportAllDeclaration */
 {
   return node.type === 'ExportAllDeclaration';
 }
@@ -1030,7 +1032,7 @@ function isExportAllDeclaration(node
 function isExportDefaultDeclaration(node
 /*: ESNode | Token */
 )
-/*: node is ExportDefaultDeclaration */
+/*: implies node is ExportDefaultDeclaration */
 {
   return node.type === 'ExportDefaultDeclaration';
 }
@@ -1038,7 +1040,7 @@ function isExportDefaultDeclaration(node
 function isExportNamedDeclaration(node
 /*: ESNode | Token */
 )
-/*: node is ExportNamedDeclaration */
+/*: implies node is ExportNamedDeclaration */
 {
   return node.type === 'ExportNamedDeclaration';
 }
@@ -1046,7 +1048,7 @@ function isExportNamedDeclaration(node
 function isExportSpecifier(node
 /*: ESNode | Token */
 )
-/*: node is ExportSpecifier */
+/*: implies node is ExportSpecifier */
 {
   return node.type === 'ExportSpecifier';
 }
@@ -1054,7 +1056,7 @@ function isExportSpecifier(node
 function isExpressionStatement(node
 /*: ESNode | Token */
 )
-/*: node is ExpressionStatement */
+/*: implies node is ExpressionStatement */
 {
   return node.type === 'ExpressionStatement';
 }
@@ -1062,7 +1064,7 @@ function isExpressionStatement(node
 function isForInStatement(node
 /*: ESNode | Token */
 )
-/*: node is ForInStatement */
+/*: implies node is ForInStatement */
 {
   return node.type === 'ForInStatement';
 }
@@ -1070,7 +1072,7 @@ function isForInStatement(node
 function isForOfStatement(node
 /*: ESNode | Token */
 )
-/*: node is ForOfStatement */
+/*: implies node is ForOfStatement */
 {
   return node.type === 'ForOfStatement';
 }
@@ -1078,7 +1080,7 @@ function isForOfStatement(node
 function isForStatement(node
 /*: ESNode | Token */
 )
-/*: node is ForStatement */
+/*: implies node is ForStatement */
 {
   return node.type === 'ForStatement';
 }
@@ -1086,7 +1088,7 @@ function isForStatement(node
 function isFunctionDeclaration(node
 /*: ESNode | Token */
 )
-/*: node is FunctionDeclaration */
+/*: implies node is FunctionDeclaration */
 {
   return node.type === 'FunctionDeclaration';
 }
@@ -1094,7 +1096,7 @@ function isFunctionDeclaration(node
 function isFunctionExpression(node
 /*: ESNode | Token */
 )
-/*: node is FunctionExpression */
+/*: implies node is FunctionExpression */
 {
   return node.type === 'FunctionExpression';
 }
@@ -1102,7 +1104,7 @@ function isFunctionExpression(node
 function isFunctionTypeAnnotation(node
 /*: ESNode | Token */
 )
-/*: node is FunctionTypeAnnotation */
+/*: implies node is FunctionTypeAnnotation */
 {
   return node.type === 'FunctionTypeAnnotation';
 }
@@ -1110,7 +1112,7 @@ function isFunctionTypeAnnotation(node
 function isFunctionTypeParam(node
 /*: ESNode | Token */
 )
-/*: node is FunctionTypeParam */
+/*: implies node is FunctionTypeParam */
 {
   return node.type === 'FunctionTypeParam';
 }
@@ -1118,7 +1120,7 @@ function isFunctionTypeParam(node
 function isGenericTypeAnnotation(node
 /*: ESNode | Token */
 )
-/*: node is GenericTypeAnnotation */
+/*: implies node is GenericTypeAnnotation */
 {
   return node.type === 'GenericTypeAnnotation';
 }
@@ -1126,7 +1128,7 @@ function isGenericTypeAnnotation(node
 function isHookDeclaration(node
 /*: ESNode | Token */
 )
-/*: node is HookDeclaration */
+/*: implies node is HookDeclaration */
 {
   return node.type === 'HookDeclaration';
 }
@@ -1134,7 +1136,7 @@ function isHookDeclaration(node
 function isHookTypeAnnotation(node
 /*: ESNode | Token */
 )
-/*: node is HookTypeAnnotation */
+/*: implies node is HookTypeAnnotation */
 {
   return node.type === 'HookTypeAnnotation';
 }
@@ -1142,7 +1144,7 @@ function isHookTypeAnnotation(node
 function isIfStatement(node
 /*: ESNode | Token */
 )
-/*: node is IfStatement */
+/*: implies node is IfStatement */
 {
   return node.type === 'IfStatement';
 }
@@ -1150,7 +1152,7 @@ function isIfStatement(node
 function isImportAttribute(node
 /*: ESNode | Token */
 )
-/*: node is ImportAttribute */
+/*: implies node is ImportAttribute */
 {
   return node.type === 'ImportAttribute';
 }
@@ -1158,7 +1160,7 @@ function isImportAttribute(node
 function isImportDeclaration(node
 /*: ESNode | Token */
 )
-/*: node is ImportDeclaration */
+/*: implies node is ImportDeclaration */
 {
   return node.type === 'ImportDeclaration';
 }
@@ -1166,7 +1168,7 @@ function isImportDeclaration(node
 function isImportDefaultSpecifier(node
 /*: ESNode | Token */
 )
-/*: node is ImportDefaultSpecifier */
+/*: implies node is ImportDefaultSpecifier */
 {
   return node.type === 'ImportDefaultSpecifier';
 }
@@ -1174,7 +1176,7 @@ function isImportDefaultSpecifier(node
 function isImportExpression(node
 /*: ESNode | Token */
 )
-/*: node is ImportExpression */
+/*: implies node is ImportExpression */
 {
   return node.type === 'ImportExpression';
 }
@@ -1182,7 +1184,7 @@ function isImportExpression(node
 function isImportNamespaceSpecifier(node
 /*: ESNode | Token */
 )
-/*: node is ImportNamespaceSpecifier */
+/*: implies node is ImportNamespaceSpecifier */
 {
   return node.type === 'ImportNamespaceSpecifier';
 }
@@ -1190,7 +1192,7 @@ function isImportNamespaceSpecifier(node
 function isImportSpecifier(node
 /*: ESNode | Token */
 )
-/*: node is ImportSpecifier */
+/*: implies node is ImportSpecifier */
 {
   return node.type === 'ImportSpecifier';
 }
@@ -1198,7 +1200,7 @@ function isImportSpecifier(node
 function isIndexedAccessType(node
 /*: ESNode | Token */
 )
-/*: node is IndexedAccessType */
+/*: implies node is IndexedAccessType */
 {
   return node.type === 'IndexedAccessType';
 }
@@ -1206,7 +1208,7 @@ function isIndexedAccessType(node
 function isInferredPredicate(node
 /*: ESNode | Token */
 )
-/*: node is InferredPredicate */
+/*: implies node is InferredPredicate */
 {
   return node.type === 'InferredPredicate';
 }
@@ -1214,7 +1216,7 @@ function isInferredPredicate(node
 function isInferTypeAnnotation(node
 /*: ESNode | Token */
 )
-/*: node is InferTypeAnnotation */
+/*: implies node is InferTypeAnnotation */
 {
   return node.type === 'InferTypeAnnotation';
 }
@@ -1222,7 +1224,7 @@ function isInferTypeAnnotation(node
 function isInterfaceDeclaration(node
 /*: ESNode | Token */
 )
-/*: node is InterfaceDeclaration */
+/*: implies node is InterfaceDeclaration */
 {
   return node.type === 'InterfaceDeclaration';
 }
@@ -1230,7 +1232,7 @@ function isInterfaceDeclaration(node
 function isInterfaceExtends(node
 /*: ESNode | Token */
 )
-/*: node is InterfaceExtends */
+/*: implies node is InterfaceExtends */
 {
   return node.type === 'InterfaceExtends';
 }
@@ -1238,7 +1240,7 @@ function isInterfaceExtends(node
 function isInterfaceTypeAnnotation(node
 /*: ESNode | Token */
 )
-/*: node is InterfaceTypeAnnotation */
+/*: implies node is InterfaceTypeAnnotation */
 {
   return node.type === 'InterfaceTypeAnnotation';
 }
@@ -1246,7 +1248,7 @@ function isInterfaceTypeAnnotation(node
 function isIntersectionTypeAnnotation(node
 /*: ESNode | Token */
 )
-/*: node is IntersectionTypeAnnotation */
+/*: implies node is IntersectionTypeAnnotation */
 {
   return node.type === 'IntersectionTypeAnnotation';
 }
@@ -1254,7 +1256,7 @@ function isIntersectionTypeAnnotation(node
 function isJSXAttribute(node
 /*: ESNode | Token */
 )
-/*: node is JSXAttribute */
+/*: implies node is JSXAttribute */
 {
   return node.type === 'JSXAttribute';
 }
@@ -1262,7 +1264,7 @@ function isJSXAttribute(node
 function isJSXClosingElement(node
 /*: ESNode | Token */
 )
-/*: node is JSXClosingElement */
+/*: implies node is JSXClosingElement */
 {
   return node.type === 'JSXClosingElement';
 }
@@ -1270,7 +1272,7 @@ function isJSXClosingElement(node
 function isJSXClosingFragment(node
 /*: ESNode | Token */
 )
-/*: node is JSXClosingFragment */
+/*: implies node is JSXClosingFragment */
 {
   return node.type === 'JSXClosingFragment';
 }
@@ -1278,7 +1280,7 @@ function isJSXClosingFragment(node
 function isJSXElement(node
 /*: ESNode | Token */
 )
-/*: node is JSXElement */
+/*: implies node is JSXElement */
 {
   return node.type === 'JSXElement';
 }
@@ -1286,7 +1288,7 @@ function isJSXElement(node
 function isJSXEmptyExpression(node
 /*: ESNode | Token */
 )
-/*: node is JSXEmptyExpression */
+/*: implies node is JSXEmptyExpression */
 {
   return node.type === 'JSXEmptyExpression';
 }
@@ -1294,7 +1296,7 @@ function isJSXEmptyExpression(node
 function isJSXExpressionContainer(node
 /*: ESNode | Token */
 )
-/*: node is JSXExpressionContainer */
+/*: implies node is JSXExpressionContainer */
 {
   return node.type === 'JSXExpressionContainer';
 }
@@ -1302,7 +1304,7 @@ function isJSXExpressionContainer(node
 function isJSXFragment(node
 /*: ESNode | Token */
 )
-/*: node is JSXFragment */
+/*: implies node is JSXFragment */
 {
   return node.type === 'JSXFragment';
 }
@@ -1310,7 +1312,7 @@ function isJSXFragment(node
 function isJSXMemberExpression(node
 /*: ESNode | Token */
 )
-/*: node is JSXMemberExpression */
+/*: implies node is JSXMemberExpression */
 {
   return node.type === 'JSXMemberExpression';
 }
@@ -1318,7 +1320,7 @@ function isJSXMemberExpression(node
 function isJSXNamespacedName(node
 /*: ESNode | Token */
 )
-/*: node is JSXNamespacedName */
+/*: implies node is JSXNamespacedName */
 {
   return node.type === 'JSXNamespacedName';
 }
@@ -1326,7 +1328,7 @@ function isJSXNamespacedName(node
 function isJSXOpeningElement(node
 /*: ESNode | Token */
 )
-/*: node is JSXOpeningElement */
+/*: implies node is JSXOpeningElement */
 {
   return node.type === 'JSXOpeningElement';
 }
@@ -1334,7 +1336,7 @@ function isJSXOpeningElement(node
 function isJSXOpeningFragment(node
 /*: ESNode | Token */
 )
-/*: node is JSXOpeningFragment */
+/*: implies node is JSXOpeningFragment */
 {
   return node.type === 'JSXOpeningFragment';
 }
@@ -1342,7 +1344,7 @@ function isJSXOpeningFragment(node
 function isJSXSpreadAttribute(node
 /*: ESNode | Token */
 )
-/*: node is JSXSpreadAttribute */
+/*: implies node is JSXSpreadAttribute */
 {
   return node.type === 'JSXSpreadAttribute';
 }
@@ -1350,7 +1352,7 @@ function isJSXSpreadAttribute(node
 function isJSXSpreadChild(node
 /*: ESNode | Token */
 )
-/*: node is JSXSpreadChild */
+/*: implies node is JSXSpreadChild */
 {
   return node.type === 'JSXSpreadChild';
 }
@@ -1358,7 +1360,7 @@ function isJSXSpreadChild(node
 function isKeyofTypeAnnotation(node
 /*: ESNode | Token */
 )
-/*: node is KeyofTypeAnnotation */
+/*: implies node is KeyofTypeAnnotation */
 {
   return node.type === 'KeyofTypeAnnotation';
 }
@@ -1366,7 +1368,7 @@ function isKeyofTypeAnnotation(node
 function isLabeledStatement(node
 /*: ESNode | Token */
 )
-/*: node is LabeledStatement */
+/*: implies node is LabeledStatement */
 {
   return node.type === 'LabeledStatement';
 }
@@ -1374,7 +1376,7 @@ function isLabeledStatement(node
 function isLogicalExpression(node
 /*: ESNode | Token */
 )
-/*: node is LogicalExpression */
+/*: implies node is LogicalExpression */
 {
   return node.type === 'LogicalExpression';
 }
@@ -1382,7 +1384,7 @@ function isLogicalExpression(node
 function isMemberExpression(node
 /*: ESNode | Token */
 )
-/*: node is MemberExpression */
+/*: implies node is MemberExpression */
 {
   return node.type === 'MemberExpression';
 }
@@ -1390,7 +1392,7 @@ function isMemberExpression(node
 function isMetaProperty(node
 /*: ESNode | Token */
 )
-/*: node is MetaProperty */
+/*: implies node is MetaProperty */
 {
   return node.type === 'MetaProperty';
 }
@@ -1398,7 +1400,7 @@ function isMetaProperty(node
 function isMethodDefinition(node
 /*: ESNode | Token */
 )
-/*: node is MethodDefinition */
+/*: implies node is MethodDefinition */
 {
   return node.type === 'MethodDefinition';
 }
@@ -1406,7 +1408,7 @@ function isMethodDefinition(node
 function isMixedTypeAnnotation(node
 /*: ESNode | Token */
 )
-/*: node is MixedTypeAnnotation */
+/*: implies node is MixedTypeAnnotation */
 {
   return node.type === 'MixedTypeAnnotation';
 }
@@ -1414,7 +1416,7 @@ function isMixedTypeAnnotation(node
 function isNewExpression(node
 /*: ESNode | Token */
 )
-/*: node is NewExpression */
+/*: implies node is NewExpression */
 {
   return node.type === 'NewExpression';
 }
@@ -1422,7 +1424,7 @@ function isNewExpression(node
 function isNullableTypeAnnotation(node
 /*: ESNode | Token */
 )
-/*: node is NullableTypeAnnotation */
+/*: implies node is NullableTypeAnnotation */
 {
   return node.type === 'NullableTypeAnnotation';
 }
@@ -1430,7 +1432,7 @@ function isNullableTypeAnnotation(node
 function isNullLiteralTypeAnnotation(node
 /*: ESNode | Token */
 )
-/*: node is NullLiteralTypeAnnotation */
+/*: implies node is NullLiteralTypeAnnotation */
 {
   return node.type === 'NullLiteralTypeAnnotation';
 }
@@ -1438,7 +1440,7 @@ function isNullLiteralTypeAnnotation(node
 function isNumberLiteralTypeAnnotation(node
 /*: ESNode | Token */
 )
-/*: node is NumberLiteralTypeAnnotation */
+/*: implies node is NumberLiteralTypeAnnotation */
 {
   return node.type === 'NumberLiteralTypeAnnotation';
 }
@@ -1446,7 +1448,7 @@ function isNumberLiteralTypeAnnotation(node
 function isNumberTypeAnnotation(node
 /*: ESNode | Token */
 )
-/*: node is NumberTypeAnnotation */
+/*: implies node is NumberTypeAnnotation */
 {
   return node.type === 'NumberTypeAnnotation';
 }
@@ -1454,7 +1456,7 @@ function isNumberTypeAnnotation(node
 function isObjectExpression(node
 /*: ESNode | Token */
 )
-/*: node is ObjectExpression */
+/*: implies node is ObjectExpression */
 {
   return node.type === 'ObjectExpression';
 }
@@ -1462,7 +1464,7 @@ function isObjectExpression(node
 function isObjectPattern(node
 /*: ESNode | Token */
 )
-/*: node is ObjectPattern */
+/*: implies node is ObjectPattern */
 {
   return node.type === 'ObjectPattern';
 }
@@ -1470,7 +1472,7 @@ function isObjectPattern(node
 function isObjectTypeAnnotation(node
 /*: ESNode | Token */
 )
-/*: node is ObjectTypeAnnotation */
+/*: implies node is ObjectTypeAnnotation */
 {
   return node.type === 'ObjectTypeAnnotation';
 }
@@ -1478,7 +1480,7 @@ function isObjectTypeAnnotation(node
 function isObjectTypeCallProperty(node
 /*: ESNode | Token */
 )
-/*: node is ObjectTypeCallProperty */
+/*: implies node is ObjectTypeCallProperty */
 {
   return node.type === 'ObjectTypeCallProperty';
 }
@@ -1486,7 +1488,7 @@ function isObjectTypeCallProperty(node
 function isObjectTypeIndexer(node
 /*: ESNode | Token */
 )
-/*: node is ObjectTypeIndexer */
+/*: implies node is ObjectTypeIndexer */
 {
   return node.type === 'ObjectTypeIndexer';
 }
@@ -1494,7 +1496,7 @@ function isObjectTypeIndexer(node
 function isObjectTypeInternalSlot(node
 /*: ESNode | Token */
 )
-/*: node is ObjectTypeInternalSlot */
+/*: implies node is ObjectTypeInternalSlot */
 {
   return node.type === 'ObjectTypeInternalSlot';
 }
@@ -1502,7 +1504,7 @@ function isObjectTypeInternalSlot(node
 function isObjectTypeMappedTypeProperty(node
 /*: ESNode | Token */
 )
-/*: node is ObjectTypeMappedTypeProperty */
+/*: implies node is ObjectTypeMappedTypeProperty */
 {
   return node.type === 'ObjectTypeMappedTypeProperty';
 }
@@ -1510,7 +1512,7 @@ function isObjectTypeMappedTypeProperty(node
 function isObjectTypeProperty(node
 /*: ESNode | Token */
 )
-/*: node is ObjectTypeProperty */
+/*: implies node is ObjectTypeProperty */
 {
   return node.type === 'ObjectTypeProperty';
 }
@@ -1518,7 +1520,7 @@ function isObjectTypeProperty(node
 function isObjectTypeSpreadProperty(node
 /*: ESNode | Token */
 )
-/*: node is ObjectTypeSpreadProperty */
+/*: implies node is ObjectTypeSpreadProperty */
 {
   return node.type === 'ObjectTypeSpreadProperty';
 }
@@ -1526,7 +1528,7 @@ function isObjectTypeSpreadProperty(node
 function isOpaqueType(node
 /*: ESNode | Token */
 )
-/*: node is OpaqueType */
+/*: implies node is OpaqueType */
 {
   return node.type === 'OpaqueType';
 }
@@ -1534,7 +1536,7 @@ function isOpaqueType(node
 function isOptionalIndexedAccessType(node
 /*: ESNode | Token */
 )
-/*: node is OptionalIndexedAccessType */
+/*: implies node is OptionalIndexedAccessType */
 {
   return node.type === 'OptionalIndexedAccessType';
 }
@@ -1542,15 +1544,23 @@ function isOptionalIndexedAccessType(node
 function isPrivateIdentifier(node
 /*: ESNode | Token */
 )
-/*: node is PrivateIdentifier */
+/*: implies node is PrivateIdentifier */
 {
   return node.type === 'PrivateIdentifier';
 }
 
+function isProgram(node
+/*: ESNode | Token */
+)
+/*: implies node is Program */
+{
+  return node.type === 'Program';
+}
+
 function isProperty(node
 /*: ESNode | Token */
 )
-/*: node is Property */
+/*: implies node is Property */
 {
   return node.type === 'Property';
 }
@@ -1558,7 +1568,7 @@ function isProperty(node
 function isPropertyDefinition(node
 /*: ESNode | Token */
 )
-/*: node is PropertyDefinition */
+/*: implies node is PropertyDefinition */
 {
   return node.type === 'PropertyDefinition';
 }
@@ -1566,7 +1576,7 @@ function isPropertyDefinition(node
 function isQualifiedTypeIdentifier(node
 /*: ESNode | Token */
 )
-/*: node is QualifiedTypeIdentifier */
+/*: implies node is QualifiedTypeIdentifier */
 {
   return node.type === 'QualifiedTypeIdentifier';
 }
@@ -1574,7 +1584,7 @@ function isQualifiedTypeIdentifier(node
 function isQualifiedTypeofIdentifier(node
 /*: ESNode | Token */
 )
-/*: node is QualifiedTypeofIdentifier */
+/*: implies node is QualifiedTypeofIdentifier */
 {
   return node.type === 'QualifiedTypeofIdentifier';
 }
@@ -1582,7 +1592,7 @@ function isQualifiedTypeofIdentifier(node
 function isRestElement(node
 /*: ESNode | Token */
 )
-/*: node is RestElement */
+/*: implies node is RestElement */
 {
   return node.type === 'RestElement';
 }
@@ -1590,7 +1600,7 @@ function isRestElement(node
 function isReturnStatement(node
 /*: ESNode | Token */
 )
-/*: node is ReturnStatement */
+/*: implies node is ReturnStatement */
 {
   return node.type === 'ReturnStatement';
 }
@@ -1598,7 +1608,7 @@ function isReturnStatement(node
 function isSequenceExpression(node
 /*: ESNode | Token */
 )
-/*: node is SequenceExpression */
+/*: implies node is SequenceExpression */
 {
   return node.type === 'SequenceExpression';
 }
@@ -1606,7 +1616,7 @@ function isSequenceExpression(node
 function isSpreadElement(node
 /*: ESNode | Token */
 )
-/*: node is SpreadElement */
+/*: implies node is SpreadElement */
 {
   return node.type === 'SpreadElement';
 }
@@ -1614,7 +1624,7 @@ function isSpreadElement(node
 function isStringLiteralTypeAnnotation(node
 /*: ESNode | Token */
 )
-/*: node is StringLiteralTypeAnnotation */
+/*: implies node is StringLiteralTypeAnnotation */
 {
   return node.type === 'StringLiteralTypeAnnotation';
 }
@@ -1622,7 +1632,7 @@ function isStringLiteralTypeAnnotation(node
 function isStringTypeAnnotation(node
 /*: ESNode | Token */
 )
-/*: node is StringTypeAnnotation */
+/*: implies node is StringTypeAnnotation */
 {
   return node.type === 'StringTypeAnnotation';
 }
@@ -1630,7 +1640,7 @@ function isStringTypeAnnotation(node
 function isSuper(node
 /*: ESNode | Token */
 )
-/*: node is Super */
+/*: implies node is Super */
 {
   return node.type === 'Super';
 }
@@ -1638,7 +1648,7 @@ function isSuper(node
 function isSwitchCase(node
 /*: ESNode | Token */
 )
-/*: node is SwitchCase */
+/*: implies node is SwitchCase */
 {
   return node.type === 'SwitchCase';
 }
@@ -1646,7 +1656,7 @@ function isSwitchCase(node
 function isSwitchStatement(node
 /*: ESNode | Token */
 )
-/*: node is SwitchStatement */
+/*: implies node is SwitchStatement */
 {
   return node.type === 'SwitchStatement';
 }
@@ -1654,7 +1664,7 @@ function isSwitchStatement(node
 function isSymbolTypeAnnotation(node
 /*: ESNode | Token */
 )
-/*: node is SymbolTypeAnnotation */
+/*: implies node is SymbolTypeAnnotation */
 {
   return node.type === 'SymbolTypeAnnotation';
 }
@@ -1662,7 +1672,7 @@ function isSymbolTypeAnnotation(node
 function isTaggedTemplateExpression(node
 /*: ESNode | Token */
 )
-/*: node is TaggedTemplateExpression */
+/*: implies node is TaggedTemplateExpression */
 {
   return node.type === 'TaggedTemplateExpression';
 }
@@ -1670,7 +1680,7 @@ function isTaggedTemplateExpression(node
 function isTemplateElement(node
 /*: ESNode | Token */
 )
-/*: node is TemplateElement */
+/*: implies node is TemplateElement */
 {
   return node.type === 'TemplateElement';
 }
@@ -1678,7 +1688,7 @@ function isTemplateElement(node
 function isTemplateLiteral(node
 /*: ESNode | Token */
 )
-/*: node is TemplateLiteral */
+/*: implies node is TemplateLiteral */
 {
   return node.type === 'TemplateLiteral';
 }
@@ -1686,7 +1696,7 @@ function isTemplateLiteral(node
 function isThisExpression(node
 /*: ESNode | Token */
 )
-/*: node is ThisExpression */
+/*: implies node is ThisExpression */
 {
   return node.type === 'ThisExpression';
 }
@@ -1694,7 +1704,7 @@ function isThisExpression(node
 function isThisTypeAnnotation(node
 /*: ESNode | Token */
 )
-/*: node is ThisTypeAnnotation */
+/*: implies node is ThisTypeAnnotation */
 {
   return node.type === 'ThisTypeAnnotation';
 }
@@ -1702,7 +1712,7 @@ function isThisTypeAnnotation(node
 function isThrowStatement(node
 /*: ESNode | Token */
 )
-/*: node is ThrowStatement */
+/*: implies node is ThrowStatement */
 {
   return node.type === 'ThrowStatement';
 }
@@ -1710,7 +1720,7 @@ function isThrowStatement(node
 function isTryStatement(node
 /*: ESNode | Token */
 )
-/*: node is TryStatement */
+/*: implies node is TryStatement */
 {
   return node.type === 'TryStatement';
 }
@@ -1718,7 +1728,7 @@ function isTryStatement(node
 function isTupleTypeAnnotation(node
 /*: ESNode | Token */
 )
-/*: node is TupleTypeAnnotation */
+/*: implies node is TupleTypeAnnotation */
 {
   return node.type === 'TupleTypeAnnotation';
 }
@@ -1726,7 +1736,7 @@ function isTupleTypeAnnotation(node
 function isTupleTypeLabeledElement(node
 /*: ESNode | Token */
 )
-/*: node is TupleTypeLabeledElement */
+/*: implies node is TupleTypeLabeledElement */
 {
   return node.type === 'TupleTypeLabeledElement';
 }
@@ -1734,7 +1744,7 @@ function isTupleTypeLabeledElement(node
 function isTupleTypeSpreadElement(node
 /*: ESNode | Token */
 )
-/*: node is TupleTypeSpreadElement */
+/*: implies node is TupleTypeSpreadElement */
 {
   return node.type === 'TupleTypeSpreadElement';
 }
@@ -1742,7 +1752,7 @@ function isTupleTypeSpreadElement(node
 function isTypeAlias(node
 /*: ESNode | Token */
 )
-/*: node is TypeAlias */
+/*: implies node is TypeAlias */
 {
   return node.type === 'TypeAlias';
 }
@@ -1750,7 +1760,7 @@ function isTypeAlias(node
 function isTypeAnnotation(node
 /*: ESNode | Token */
 )
-/*: node is TypeAnnotation */
+/*: implies node is TypeAnnotation */
 {
   return node.type === 'TypeAnnotation';
 }
@@ -1758,7 +1768,7 @@ function isTypeAnnotation(node
 function isTypeCastExpression(node
 /*: ESNode | Token */
 )
-/*: node is TypeCastExpression */
+/*: implies node is TypeCastExpression */
 {
   return node.type === 'TypeCastExpression';
 }
@@ -1766,7 +1776,7 @@ function isTypeCastExpression(node
 function isTypeofTypeAnnotation(node
 /*: ESNode | Token */
 )
-/*: node is TypeofTypeAnnotation */
+/*: implies node is TypeofTypeAnnotation */
 {
   return node.type === 'TypeofTypeAnnotation';
 }
@@ -1774,7 +1784,7 @@ function isTypeofTypeAnnotation(node
 function isTypeOperator(node
 /*: ESNode | Token */
 )
-/*: node is TypeOperator */
+/*: implies node is TypeOperator */
 {
   return node.type === 'TypeOperator';
 }
@@ -1782,7 +1792,7 @@ function isTypeOperator(node
 function isTypeParameter(node
 /*: ESNode | Token */
 )
-/*: node is TypeParameter */
+/*: implies node is TypeParameter */
 {
   return node.type === 'TypeParameter';
 }
@@ -1790,7 +1800,7 @@ function isTypeParameter(node
 function isTypeParameterDeclaration(node
 /*: ESNode | Token */
 )
-/*: node is TypeParameterDeclaration */
+/*: implies node is TypeParameterDeclaration */
 {
   return node.type === 'TypeParameterDeclaration';
 }
@@ -1798,7 +1808,7 @@ function isTypeParameterDeclaration(node
 function isTypeParameterInstantiation(node
 /*: ESNode | Token */
 )
-/*: node is TypeParameterInstantiation */
+/*: implies node is TypeParameterInstantiation */
 {
   return node.type === 'TypeParameterInstantiation';
 }
@@ -1806,7 +1816,7 @@ function isTypeParameterInstantiation(node
 function isTypePredicate(node
 /*: ESNode | Token */
 )
-/*: node is TypePredicate */
+/*: implies node is TypePredicate */
 {
   return node.type === 'TypePredicate';
 }
@@ -1814,7 +1824,7 @@ function isTypePredicate(node
 function isUnaryExpression(node
 /*: ESNode | Token */
 )
-/*: node is UnaryExpression */
+/*: implies node is UnaryExpression */
 {
   return node.type === 'UnaryExpression';
 }
@@ -1822,7 +1832,7 @@ function isUnaryExpression(node
 function isUnionTypeAnnotation(node
 /*: ESNode | Token */
 )
-/*: node is UnionTypeAnnotation */
+/*: implies node is UnionTypeAnnotation */
 {
   return node.type === 'UnionTypeAnnotation';
 }
@@ -1830,7 +1840,7 @@ function isUnionTypeAnnotation(node
 function isUpdateExpression(node
 /*: ESNode | Token */
 )
-/*: node is UpdateExpression */
+/*: implies node is UpdateExpression */
 {
   return node.type === 'UpdateExpression';
 }
@@ -1838,7 +1848,7 @@ function isUpdateExpression(node
 function isVariableDeclaration(node
 /*: ESNode | Token */
 )
-/*: node is VariableDeclaration */
+/*: implies node is VariableDeclaration */
 {
   return node.type === 'VariableDeclaration';
 }
@@ -1846,7 +1856,7 @@ function isVariableDeclaration(node
 function isVariableDeclarator(node
 /*: ESNode | Token */
 )
-/*: node is VariableDeclarator */
+/*: implies node is VariableDeclarator */
 {
   return node.type === 'VariableDeclarator';
 }
@@ -1854,7 +1864,7 @@ function isVariableDeclarator(node
 function isVariance(node
 /*: ESNode | Token */
 )
-/*: node is Variance */
+/*: implies node is Variance */
 {
   return node.type === 'Variance';
 }
@@ -1862,7 +1872,7 @@ function isVariance(node
 function isVoidTypeAnnotation(node
 /*: ESNode | Token */
 )
-/*: node is VoidTypeAnnotation */
+/*: implies node is VoidTypeAnnotation */
 {
   return node.type === 'VoidTypeAnnotation';
 }
@@ -1870,7 +1880,7 @@ function isVoidTypeAnnotation(node
 function isWhileStatement(node
 /*: ESNode | Token */
 )
-/*: node is WhileStatement */
+/*: implies node is WhileStatement */
 {
   return node.type === 'WhileStatement';
 }
@@ -1878,7 +1888,7 @@ function isWhileStatement(node
 function isWithStatement(node
 /*: ESNode | Token */
 )
-/*: node is WithStatement */
+/*: implies node is WithStatement */
 {
   return node.type === 'WithStatement';
 }
@@ -1886,7 +1896,7 @@ function isWithStatement(node
 function isYieldExpression(node
 /*: ESNode | Token */
 )
-/*: node is YieldExpression */
+/*: implies node is YieldExpression */
 {
   return node.type === 'YieldExpression';
 }
@@ -1894,7 +1904,7 @@ function isYieldExpression(node
 function isLiteral(node
 /*: ESNode | Token */
 )
-/*: node is Literal */
+/*: implies node is Literal */
 {
   return node.type === 'Literal';
 }
@@ -1902,7 +1912,7 @@ function isLiteral(node
 function isLineComment(node
 /*: ESNode | Token */
 )
-/*: node is (MostTokens | LineComment) */
+/*: implies node is (MostTokens | LineComment) */
 {
   return node.type === 'Line';
 }
@@ -1910,7 +1920,7 @@ function isLineComment(node
 function isBlockComment(node
 /*: ESNode | Token */
 )
-/*: node is (MostTokens | BlockComment) */
+/*: implies node is (MostTokens | BlockComment) */
 {
   return node.type === 'Block';
 }
@@ -1918,7 +1928,7 @@ function isBlockComment(node
 function isMinusToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Punctuator' && node.value === '-';
 }
@@ -1926,7 +1936,7 @@ function isMinusToken(node
 function isPlusToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Punctuator' && node.value === '+';
 }
@@ -1934,7 +1944,7 @@ function isPlusToken(node
 function isLogicalNotToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Punctuator' && node.value === '!';
 }
@@ -1942,7 +1952,7 @@ function isLogicalNotToken(node
 function isUnaryNegationToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Punctuator' && node.value === '~';
 }
@@ -1950,7 +1960,7 @@ function isUnaryNegationToken(node
 function isTypeOfToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Keyword' && node.value === 'typeof';
 }
@@ -1958,7 +1968,7 @@ function isTypeOfToken(node
 function isVoidToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Keyword' && node.value === 'void';
 }
@@ -1966,7 +1976,7 @@ function isVoidToken(node
 function isDeleteToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Keyword' && node.value === 'delete';
 }
@@ -1974,7 +1984,7 @@ function isDeleteToken(node
 function isLooseEqualToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Punctuator' && node.value === '==';
 }
@@ -1982,7 +1992,7 @@ function isLooseEqualToken(node
 function isLooseNotEqualToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Punctuator' && node.value === '!=';
 }
@@ -1990,7 +2000,7 @@ function isLooseNotEqualToken(node
 function isStrictEqualToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Punctuator' && node.value === '===';
 }
@@ -1998,7 +2008,7 @@ function isStrictEqualToken(node
 function isStrictNotEqualToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Punctuator' && node.value === '!==';
 }
@@ -2006,7 +2016,7 @@ function isStrictNotEqualToken(node
 function isLessThanToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Punctuator' && node.value === '<';
 }
@@ -2014,7 +2024,7 @@ function isLessThanToken(node
 function isLessThanOrEqualToToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Punctuator' && node.value === '<=';
 }
@@ -2022,7 +2032,7 @@ function isLessThanOrEqualToToken(node
 function isGreaterThanToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Punctuator' && node.value === '>';
 }
@@ -2030,7 +2040,7 @@ function isGreaterThanToken(node
 function isGreaterThanOrEqualToToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Punctuator' && node.value === '>=';
 }
@@ -2038,7 +2048,7 @@ function isGreaterThanOrEqualToToken(node
 function isBitwiseLeftShiftToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Punctuator' && node.value === '<<';
 }
@@ -2046,7 +2056,7 @@ function isBitwiseLeftShiftToken(node
 function isBitwiseRightShiftToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Punctuator' && node.value === '>>';
 }
@@ -2054,7 +2064,7 @@ function isBitwiseRightShiftToken(node
 function isBitwiseUnsignedRightShiftToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Punctuator' && node.value === '>>>';
 }
@@ -2062,7 +2072,7 @@ function isBitwiseUnsignedRightShiftToken(node
 function isAsterixToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Punctuator' && node.value === '*';
 }
@@ -2070,7 +2080,7 @@ function isAsterixToken(node
 function isForwardSlashToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Punctuator' && node.value === '/';
 }
@@ -2078,7 +2088,7 @@ function isForwardSlashToken(node
 function isPercentToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Punctuator' && node.value === '%';
 }
@@ -2086,7 +2096,7 @@ function isPercentToken(node
 function isExponentiationToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Punctuator' && node.value === '**';
 }
@@ -2094,7 +2104,7 @@ function isExponentiationToken(node
 function isBitwiseORToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Punctuator' && node.value === '|';
 }
@@ -2102,7 +2112,7 @@ function isBitwiseORToken(node
 function isBitwiseXORToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Punctuator' && node.value === '^';
 }
@@ -2110,7 +2120,7 @@ function isBitwiseXORToken(node
 function isBitwiseANDToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Punctuator' && node.value === '&';
 }
@@ -2118,7 +2128,7 @@ function isBitwiseANDToken(node
 function isInToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Keyword' && node.value === 'in';
 }
@@ -2126,7 +2136,7 @@ function isInToken(node
 function isInstanceOfToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Keyword' && node.value === 'instanceof';
 }
@@ -2134,7 +2144,7 @@ function isInstanceOfToken(node
 function isLogicalORToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Punctuator' && node.value === '||';
 }
@@ -2142,7 +2152,7 @@ function isLogicalORToken(node
 function isLogicalANDToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Punctuator' && node.value === '&&';
 }
@@ -2150,7 +2160,7 @@ function isLogicalANDToken(node
 function isNullishCoalesceToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Punctuator' && node.value === '??';
 }
@@ -2158,7 +2168,7 @@ function isNullishCoalesceToken(node
 function isEqualToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Punctuator' && node.value === '=';
 }
@@ -2166,7 +2176,7 @@ function isEqualToken(node
 function isPlusEqualToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Punctuator' && node.value === '+=';
 }
@@ -2174,7 +2184,7 @@ function isPlusEqualToken(node
 function isMinusEqualToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Punctuator' && node.value === '-=';
 }
@@ -2182,7 +2192,7 @@ function isMinusEqualToken(node
 function isMultiplyEqualToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Punctuator' && node.value === '*=';
 }
@@ -2190,7 +2200,7 @@ function isMultiplyEqualToken(node
 function isDivideEqualToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Punctuator' && node.value === '/=';
 }
@@ -2198,7 +2208,7 @@ function isDivideEqualToken(node
 function isRemainderEqualToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Punctuator' && node.value === '%=';
 }
@@ -2206,7 +2216,7 @@ function isRemainderEqualToken(node
 function isExponentateEqualToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Punctuator' && node.value === '**=';
 }
@@ -2214,7 +2224,7 @@ function isExponentateEqualToken(node
 function isBitwiseLeftShiftEqualToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Punctuator' && node.value === '<<=';
 }
@@ -2222,7 +2232,7 @@ function isBitwiseLeftShiftEqualToken(node
 function isBitwiseRightShiftEqualToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Punctuator' && node.value === '>>=';
 }
@@ -2230,7 +2240,7 @@ function isBitwiseRightShiftEqualToken(node
 function isBitwiseUnsignedRightShiftEqualToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Punctuator' && node.value === '>>>=';
 }
@@ -2238,7 +2248,7 @@ function isBitwiseUnsignedRightShiftEqualToken(node
 function isBitwiseOREqualToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Punctuator' && node.value === '|=';
 }
@@ -2246,7 +2256,7 @@ function isBitwiseOREqualToken(node
 function isBitwiseXOREqualToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Punctuator' && node.value === '^=';
 }
@@ -2254,7 +2264,7 @@ function isBitwiseXOREqualToken(node
 function isBitwiseANDEqualToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Punctuator' && node.value === '&=';
 }
@@ -2262,7 +2272,7 @@ function isBitwiseANDEqualToken(node
 function isLogicalOREqualToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Punctuator' && node.value === '||=';
 }
@@ -2270,7 +2280,7 @@ function isLogicalOREqualToken(node
 function isLogicalANDEqualToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Punctuator' && node.value === '&&=';
 }
@@ -2278,7 +2288,7 @@ function isLogicalANDEqualToken(node
 function isNullishCoalesceEqualToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Punctuator' && node.value === '??=';
 }
@@ -2286,7 +2296,7 @@ function isNullishCoalesceEqualToken(node
 function isIncrementToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Punctuator' && node.value === '++';
 }
@@ -2294,7 +2304,7 @@ function isIncrementToken(node
 function isDecrementToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Punctuator' && node.value === '--';
 }
@@ -2302,7 +2312,7 @@ function isDecrementToken(node
 function isUnionTypeToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Punctuator' && node.value === '|';
 }
@@ -2310,7 +2320,7 @@ function isUnionTypeToken(node
 function isIntersectionTypeToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Punctuator' && node.value === '&';
 }
@@ -2318,7 +2328,7 @@ function isIntersectionTypeToken(node
 function isBreakToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Keyword' && node.value === 'break';
 }
@@ -2326,7 +2336,7 @@ function isBreakToken(node
 function isCaseToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Keyword' && node.value === 'case';
 }
@@ -2334,7 +2344,7 @@ function isCaseToken(node
 function isCatchToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Keyword' && node.value === 'catch';
 }
@@ -2342,7 +2352,7 @@ function isCatchToken(node
 function isClassToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Keyword' && node.value === 'class';
 }
@@ -2350,7 +2360,7 @@ function isClassToken(node
 function isConstToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Keyword' && node.value === 'const';
 }
@@ -2358,7 +2368,7 @@ function isConstToken(node
 function isContinueToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Keyword' && node.value === 'continue';
 }
@@ -2366,7 +2376,7 @@ function isContinueToken(node
 function isDebuggerToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Keyword' && node.value === 'debugger';
 }
@@ -2374,7 +2384,7 @@ function isDebuggerToken(node
 function isDefaultToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Keyword' && node.value === 'default';
 }
@@ -2382,7 +2392,7 @@ function isDefaultToken(node
 function isDoToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Keyword' && node.value === 'do';
 }
@@ -2390,7 +2400,7 @@ function isDoToken(node
 function isElseToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Keyword' && node.value === 'else';
 }
@@ -2398,7 +2408,7 @@ function isElseToken(node
 function isEnumToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Keyword' && node.value === 'enum';
 }
@@ -2406,7 +2416,7 @@ function isEnumToken(node
 function isExportToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Keyword' && node.value === 'export';
 }
@@ -2414,7 +2424,7 @@ function isExportToken(node
 function isExtendsToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Keyword' && node.value === 'extends';
 }
@@ -2422,7 +2432,7 @@ function isExtendsToken(node
 function isFinallyToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Keyword' && node.value === 'finally';
 }
@@ -2430,7 +2440,7 @@ function isFinallyToken(node
 function isForToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Keyword' && node.value === 'for';
 }
@@ -2438,7 +2448,7 @@ function isForToken(node
 function isFunctionToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Keyword' && node.value === 'function';
 }
@@ -2446,7 +2456,7 @@ function isFunctionToken(node
 function isIfToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Keyword' && node.value === 'if';
 }
@@ -2454,7 +2464,7 @@ function isIfToken(node
 function isImplementsToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Keyword' && node.value === 'implements';
 }
@@ -2462,7 +2472,7 @@ function isImplementsToken(node
 function isImportToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Keyword' && node.value === 'import';
 }
@@ -2470,7 +2480,7 @@ function isImportToken(node
 function isInterfaceToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Keyword' && node.value === 'interface';
 }
@@ -2478,7 +2488,7 @@ function isInterfaceToken(node
 function isNewToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Keyword' && node.value === 'new';
 }
@@ -2486,7 +2496,7 @@ function isNewToken(node
 function isReturnToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Keyword' && node.value === 'return';
 }
@@ -2494,7 +2504,7 @@ function isReturnToken(node
 function isStaticToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Keyword' && node.value === 'static';
 }
@@ -2502,7 +2512,7 @@ function isStaticToken(node
 function isSuperToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Keyword' && node.value === 'super';
 }
@@ -2510,7 +2520,7 @@ function isSuperToken(node
 function isSwitchToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Keyword' && node.value === 'switch';
 }
@@ -2518,7 +2528,7 @@ function isSwitchToken(node
 function isThisToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Keyword' && node.value === 'this';
 }
@@ -2526,7 +2536,7 @@ function isThisToken(node
 function isThrowToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Keyword' && node.value === 'throw';
 }
@@ -2534,7 +2544,7 @@ function isThrowToken(node
 function isTryToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Keyword' && node.value === 'try';
 }
@@ -2542,7 +2552,7 @@ function isTryToken(node
 function isVarToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Keyword' && node.value === 'var';
 }
@@ -2550,7 +2560,7 @@ function isVarToken(node
 function isWhileToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Keyword' && node.value === 'while';
 }
@@ -2558,7 +2568,7 @@ function isWhileToken(node
 function isWithToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Keyword' && node.value === 'with';
 }
@@ -2566,7 +2576,7 @@ function isWithToken(node
 function isYieldToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Keyword' && node.value === 'yield';
 }
@@ -2574,7 +2584,7 @@ function isYieldToken(node
 function isAsKeyword(node
 /*: ESNode | Token */
 )
-/*: node is (Identifier | MostTokens) */
+/*: implies node is (Identifier | MostTokens) */
 {
   return node.type === 'Identifier' && node.name === 'as' || node.type === 'Keyword' && node.value === 'as';
 }
@@ -2582,7 +2592,7 @@ function isAsKeyword(node
 function isAsyncKeyword(node
 /*: ESNode | Token */
 )
-/*: node is (Identifier | MostTokens) */
+/*: implies node is (Identifier | MostTokens) */
 {
   return node.type === 'Identifier' && node.name === 'async' || node.type === 'Keyword' && node.value === 'async';
 }
@@ -2590,7 +2600,7 @@ function isAsyncKeyword(node
 function isAwaitKeyword(node
 /*: ESNode | Token */
 )
-/*: node is (Identifier | MostTokens) */
+/*: implies node is (Identifier | MostTokens) */
 {
   return node.type === 'Identifier' && node.name === 'await' || node.type === 'Keyword' && node.value === 'await';
 }
@@ -2598,7 +2608,7 @@ function isAwaitKeyword(node
 function isDeclareKeyword(node
 /*: ESNode | Token */
 )
-/*: node is (Identifier | MostTokens) */
+/*: implies node is (Identifier | MostTokens) */
 {
   return node.type === 'Identifier' && node.name === 'declare' || node.type === 'Keyword' && node.value === 'declare';
 }
@@ -2606,7 +2616,7 @@ function isDeclareKeyword(node
 function isFromKeyword(node
 /*: ESNode | Token */
 )
-/*: node is (Identifier | MostTokens) */
+/*: implies node is (Identifier | MostTokens) */
 {
   return node.type === 'Identifier' && node.name === 'from' || node.type === 'Keyword' && node.value === 'from';
 }
@@ -2614,7 +2624,7 @@ function isFromKeyword(node
 function isGetKeyword(node
 /*: ESNode | Token */
 )
-/*: node is (Identifier | MostTokens) */
+/*: implies node is (Identifier | MostTokens) */
 {
   return node.type === 'Identifier' && node.name === 'get' || node.type === 'Keyword' && node.value === 'get';
 }
@@ -2622,7 +2632,7 @@ function isGetKeyword(node
 function isLetKeyword(node
 /*: ESNode | Token */
 )
-/*: node is (Identifier | MostTokens) */
+/*: implies node is (Identifier | MostTokens) */
 {
   return node.type === 'Identifier' && node.name === 'let' || node.type === 'Keyword' && node.value === 'let';
 }
@@ -2630,7 +2640,7 @@ function isLetKeyword(node
 function isModuleKeyword(node
 /*: ESNode | Token */
 )
-/*: node is (Identifier | MostTokens) */
+/*: implies node is (Identifier | MostTokens) */
 {
   return node.type === 'Identifier' && node.name === 'module' || node.type === 'Keyword' && node.value === 'module';
 }
@@ -2638,7 +2648,7 @@ function isModuleKeyword(node
 function isOfKeyword(node
 /*: ESNode | Token */
 )
-/*: node is (Identifier | MostTokens) */
+/*: implies node is (Identifier | MostTokens) */
 {
   return node.type === 'Identifier' && node.name === 'of' || node.type === 'Keyword' && node.value === 'of';
 }
@@ -2646,7 +2656,7 @@ function isOfKeyword(node
 function isSetKeyword(node
 /*: ESNode | Token */
 )
-/*: node is (Identifier | MostTokens) */
+/*: implies node is (Identifier | MostTokens) */
 {
   return node.type === 'Identifier' && node.name === 'set' || node.type === 'Keyword' && node.value === 'set';
 }
@@ -2654,7 +2664,7 @@ function isSetKeyword(node
 function isTypeKeyword(node
 /*: ESNode | Token */
 )
-/*: node is (Identifier | MostTokens) */
+/*: implies node is (Identifier | MostTokens) */
 {
   return node.type === 'Identifier' && node.name === 'type' || node.type === 'Keyword' && node.value === 'type';
 }
@@ -2662,7 +2672,7 @@ function isTypeKeyword(node
 function isCommaToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Punctuator' && node.value === ',';
 }
@@ -2670,7 +2680,7 @@ function isCommaToken(node
 function isColonToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Punctuator' && node.value === ':';
 }
@@ -2678,7 +2688,7 @@ function isColonToken(node
 function isSemicolonToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Punctuator' && node.value === ';';
 }
@@ -2686,7 +2696,7 @@ function isSemicolonToken(node
 function isDotToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Punctuator' && node.value === '.';
 }
@@ -2694,7 +2704,7 @@ function isDotToken(node
 function isDotDotDotToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Punctuator' && node.value === '...';
 }
@@ -2702,7 +2712,7 @@ function isDotDotDotToken(node
 function isOptionalChainToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Punctuator' && node.value === '?.';
 }
@@ -2710,7 +2720,7 @@ function isOptionalChainToken(node
 function isQuestionMarkToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Punctuator' && node.value === '?';
 }
@@ -2718,7 +2728,7 @@ function isQuestionMarkToken(node
 function isOpeningParenthesisToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Punctuator' && node.value === '(';
 }
@@ -2726,7 +2736,7 @@ function isOpeningParenthesisToken(node
 function isClosingParenthesisToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Punctuator' && node.value === ')';
 }
@@ -2734,7 +2744,7 @@ function isClosingParenthesisToken(node
 function isOpeningCurlyBracketToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Punctuator' && node.value === '{';
 }
@@ -2742,7 +2752,7 @@ function isOpeningCurlyBracketToken(node
 function isClosingCurlyBracketToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Punctuator' && node.value === '}';
 }
@@ -2750,7 +2760,7 @@ function isClosingCurlyBracketToken(node
 function isOpeningAngleBracketToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Punctuator' && node.value === '<';
 }
@@ -2758,7 +2768,7 @@ function isOpeningAngleBracketToken(node
 function isClosingAngleBracketToken(node
 /*: ESNode | Token */
 )
-/*: node is MostTokens */
+/*: implies node is MostTokens */
 {
   return node.type === 'Punctuator' && node.value === '>';
 }