@artel/artc 0.6.25282 → 0.6.25284

package/build/types/tree/NodeKind.d.ts

@@ -21,144 +21,146 @@ export declare enum NodeKind {
     AnonymousVariantTypeDeclaration = 19,
     PackageAliasTypeDeclaration = 20,
     AliasTypeDeclarationBody = 21,
-    PackageMemberGroupDeclaration = 22,
-    PackageConstructorDeclaration = 23,
-    PackageEntryPointDeclaration = 24,
-    PackageFunctionDeclaration = 25,
-    PackageFunctionTypeDeclaration = 26,
-    FunctionTypeDeclarationBody = 27,
-    BaseTypeList = 28,
-    TypeMemberDeclarationList = 29,
-    TypeMemberDeclarationBlock = 30,
-    PackageStructuredTypeDeclaration = 31,
-    StructuredTypeDeclarationBody = 32,
-    PackageVariableDeclaration = 33,
-    PackageVariableGetterDeclaration = 34,
-    PackageVariableSetterDeclaration = 35,
-    PackageVariantTypeDeclaration = 36,
-    VariantTypeDeclarationBody = 37,
-    TypeExtensionDeclaration = 38,
-    ExtendedTypeClauseCommaList = 39,
-    ExtendedTypeClause = 40,
-    MissingPackageMemberDeclaration = 41,
-    TypeMemberGroupDeclaration = 42,
-    ConstructorDeclaration = 43,
-    DestructorDeclaration = 44,
-    IndexedElementGetterDeclaration = 45,
-    IndexedElementSetterDeclaration = 46,
-    IndexParameterClause = 47,
-    DereferencedVariableGetterDeclaration = 48,
-    DereferencedVariableSetterDeclaration = 49,
-    MethodDeclaration = 50,
-    OperatorDeclaration = 51,
-    FieldDeclaration = 52,
-    FieldGetterDeclaration = 53,
-    FieldSetterDeclaration = 54,
-    MissingTypeMemberDeclaration = 55,
-    NestedFunctionDeclaration = 56,
-    LocalVariableDeclaration = 57,
-    ForStatementVariableDeclaration = 58,
-    ArrayLiteral = 59,
-    ArrayLiteralElementList = 60,
-    AssertionExpression = 61,
-    AssumptionExpression = 62,
-    AsExpression = 63,
-    BinaryExpression = 64,
-    FunctionLiteral = 65,
-    FunctionBlockLiteral = 66,
-    ArgumentList = 67,
-    CallExpression = 68,
-    AutotypeCallExpression = 69,
-    IndexedAccessExpression = 70,
-    MissingExpression = 71,
-    IsExpression = 72,
-    ParenthesizedExpression = 73,
-    ConditionalExpression = 74,
-    PrefixUnaryExpression = 75,
-    MemberAccessExpression = 76,
-    ReferenceExpression = 77,
-    DereferenceExpression = 78,
-    TextTemplateLiteral = 79,
-    LocalizableTextTemplateLiteral = 80,
-    TextTemplateSpanList = 81,
-    TextTemplateSpan = 82,
-    TokenExpression = 83,
-    TextLiteral = 84,
-    LocalizableTextLiteral = 85,
-    KeywordExpression = 86,
-    ObjectExpression = 87,
-    BaseExpression = 88,
-    IdentifierExpression = 89,
-    GenericSpecializationExpression = 90,
-    DefaultMatchExpression = 91,
-    AssignmentStatement = 92,
-    StatementList = 93,
-    StatementBlock = 94,
-    FunctionBlock = 95,
-    BreakLoopStatement = 96,
-    ContinueLoopStatement = 97,
-    DisposeStatement = 98,
-    RunStatement = 99,
-    TryStatement = 100,
-    CatchClause = 101,
-    ErrorVariableDeclaration = 102,
-    FinallyClause = 103,
-    ErrorStatement = 104,
-    ImportantStatement = 105,
-    ExpressionStatement = 106,
-    ForStatement = 107,
-    IfStatement = 108,
-    ElseIfClauseList = 109,
-    ElseIfClause = 110,
-    ElseClause = 111,
-    MissingStatement = 112,
-    NestedFunctionDeclarationStatement = 113,
-    LocalVariableDeclarationStatement = 114,
-    LoopStatement = 115,
-    ReturnStatement = 116,
-    CaseClauseList = 117,
-    SwitchStatement = 118,
-    MatchExpressionList = 119,
-    CaseClause = 120,
-    WhileStatement = 121,
-    YieldStatement = 122,
-    TranslationsDeclaration = 123,
-    TopLevelTranslationList = 124,
-    TranslationParameterList = 125,
-    TranslationParameterClause = 126,
-    ConstructorTranslation = 127,
-    IndexParameterTranslationClause = 128,
-    IndexerTranslation = 129,
-    TranslationTypeParameterList = 130,
-    TranslationTypeParameterClause = 131,
-    PackageFunctionTranslationDeclaration = 132,
-    MethodTranslation = 133,
-    FunctionTypeTranslationDeclaration = 134,
-    QualifiedName = 135,
-    PackageVariableTranslationDeclaration = 136,
-    FieldOrVariantTranslation = 137,
-    TypeMemberTranslationList = 138,
-    TypeTranslationDeclaration = 139,
-    TextTranslationDeclaration = 140,
-    TextTranslationFunctionDeclaration = 141,
-    TranslationTextLiteral = 142,
-    TranslationTextTemplate = 143,
-    TranslationTextTemplateSpanList = 144,
-    TranslationTextTemplateSpan = 145,
-    TranslationTextTemplateParameter = 146,
-    VariantValueDeclaration = 147,
-    TypeParameterDeclaration = 148,
-    ParameterDeclaration = 149,
-    Argument = 150,
-    TagList = 151,
-    Tag = 152,
-    ModifierList = 153,
-    Modifier = 154,
-    ParameterClause = 155,
-    ParameterList = 156,
-    TypeArgumentClause = 157,
-    TypeArgumentList = 158,
-    TypeParameterClause = 159,
-    TypeParameterList = 160,
-    TypeAnnotation = 161
+    PackageReducedTypeDeclaration = 22,
+    ReducedTypeDeclarationBody = 23,
+    PackageMemberGroupDeclaration = 24,
+    PackageConstructorDeclaration = 25,
+    PackageEntryPointDeclaration = 26,
+    PackageFunctionDeclaration = 27,
+    PackageFunctionTypeDeclaration = 28,
+    FunctionTypeDeclarationBody = 29,
+    BaseTypeList = 30,
+    TypeMemberDeclarationList = 31,
+    TypeMemberDeclarationBlock = 32,
+    PackageStructuredTypeDeclaration = 33,
+    StructuredTypeDeclarationBody = 34,
+    PackageVariableDeclaration = 35,
+    PackageVariableGetterDeclaration = 36,
+    PackageVariableSetterDeclaration = 37,
+    PackageVariantTypeDeclaration = 38,
+    VariantTypeDeclarationBody = 39,
+    TypeExtensionDeclaration = 40,
+    ExtendedTypeClauseCommaList = 41,
+    ExtendedTypeClause = 42,
+    MissingPackageMemberDeclaration = 43,
+    TypeMemberGroupDeclaration = 44,
+    ConstructorDeclaration = 45,
+    DestructorDeclaration = 46,
+    IndexedElementGetterDeclaration = 47,
+    IndexedElementSetterDeclaration = 48,
+    IndexParameterClause = 49,
+    DereferencedVariableGetterDeclaration = 50,
+    DereferencedVariableSetterDeclaration = 51,
+    MethodDeclaration = 52,
+    OperatorDeclaration = 53,
+    FieldDeclaration = 54,
+    FieldGetterDeclaration = 55,
+    FieldSetterDeclaration = 56,
+    MissingTypeMemberDeclaration = 57,
+    NestedFunctionDeclaration = 58,
+    LocalVariableDeclaration = 59,
+    ForStatementVariableDeclaration = 60,
+    ArrayLiteral = 61,
+    ArrayLiteralElementList = 62,
+    AssertionExpression = 63,
+    AssumptionExpression = 64,
+    AsExpression = 65,
+    BinaryExpression = 66,
+    FunctionLiteral = 67,
+    FunctionBlockLiteral = 68,
+    ArgumentList = 69,
+    CallExpression = 70,
+    AutotypeCallExpression = 71,
+    IndexedAccessExpression = 72,
+    MissingExpression = 73,
+    IsExpression = 74,
+    ParenthesizedExpression = 75,
+    ConditionalExpression = 76,
+    PrefixUnaryExpression = 77,
+    MemberAccessExpression = 78,
+    ReferenceExpression = 79,
+    DereferenceExpression = 80,
+    TextTemplateLiteral = 81,
+    LocalizableTextTemplateLiteral = 82,
+    TextTemplateSpanList = 83,
+    TextTemplateSpan = 84,
+    TokenExpression = 85,
+    TextLiteral = 86,
+    LocalizableTextLiteral = 87,
+    KeywordExpression = 88,
+    ObjectExpression = 89,
+    BaseExpression = 90,
+    IdentifierExpression = 91,
+    GenericSpecializationExpression = 92,
+    DefaultMatchExpression = 93,
+    AssignmentStatement = 94,
+    StatementList = 95,
+    StatementBlock = 96,
+    FunctionBlock = 97,
+    BreakLoopStatement = 98,
+    ContinueLoopStatement = 99,
+    DisposeStatement = 100,
+    RunStatement = 101,
+    TryStatement = 102,
+    CatchClause = 103,
+    ErrorVariableDeclaration = 104,
+    FinallyClause = 105,
+    ErrorStatement = 106,
+    ImportantStatement = 107,
+    ExpressionStatement = 108,
+    ForStatement = 109,
+    IfStatement = 110,
+    ElseIfClauseList = 111,
+    ElseIfClause = 112,
+    ElseClause = 113,
+    MissingStatement = 114,
+    NestedFunctionDeclarationStatement = 115,
+    LocalVariableDeclarationStatement = 116,
+    LoopStatement = 117,
+    ReturnStatement = 118,
+    CaseClauseList = 119,
+    SwitchStatement = 120,
+    MatchExpressionList = 121,
+    CaseClause = 122,
+    WhileStatement = 123,
+    YieldStatement = 124,
+    TranslationsDeclaration = 125,
+    TopLevelTranslationList = 126,
+    TranslationParameterList = 127,
+    TranslationParameterClause = 128,
+    ConstructorTranslation = 129,
+    IndexParameterTranslationClause = 130,
+    IndexerTranslation = 131,
+    TranslationTypeParameterList = 132,
+    TranslationTypeParameterClause = 133,
+    PackageFunctionTranslationDeclaration = 134,
+    MethodTranslation = 135,
+    FunctionTypeTranslationDeclaration = 136,
+    QualifiedName = 137,
+    PackageVariableTranslationDeclaration = 138,
+    FieldOrVariantTranslation = 139,
+    TypeMemberTranslationList = 140,
+    TypeTranslationDeclaration = 141,
+    TextTranslationDeclaration = 142,
+    TextTranslationFunctionDeclaration = 143,
+    TranslationTextLiteral = 144,
+    TranslationTextTemplate = 145,
+    TranslationTextTemplateSpanList = 146,
+    TranslationTextTemplateSpan = 147,
+    TranslationTextTemplateParameter = 148,
+    VariantValueDeclaration = 149,
+    TypeParameterDeclaration = 150,
+    ParameterDeclaration = 151,
+    Argument = 152,
+    TagList = 153,
+    Tag = 154,
+    ModifierList = 155,
+    Modifier = 156,
+    ParameterClause = 157,
+    ParameterList = 158,
+    TypeArgumentClause = 159,
+    TypeArgumentList = 160,
+    TypeParameterClause = 161,
+    TypeParameterList = 162,
+    TypeAnnotation = 163
 }

package/build/types/tree/Nodes.d.ts

@@ -1,26 +1,16 @@
 import { PackageDialect, PackageLocale, Query, Range } from '../common/index.js';
 import { ParserDiagnostic } from '../parser/ParserDiagnostic.js';
-import { BaseNode } from './BaseNode.js';
+import { BaseNode, Keyword, Token } from './BaseNode.js';
 import { KeywordKind } from './KeywordKind.js';
 import { NodeKind } from './NodeKind.js';
 import { OperatorKind } from './OperatorKind.js';
-import { Token } from './Token.js';
 import { TokenKind } from './TokenKind.js';
+import { NodesWithChild } from './NodesDebug.js';
 export type Comma = Token<TokenKind.Comma>;
 export type Semicolon = Token<TokenKind.Semicolon>;
 export type Identifier = Token<TokenKind.Identifier>;
 export type IdentifierParent = NodesWithChild<Identifier>;
 export type IdentifierListElement = Identifier | Comma;
-export declare class Keyword<TKind extends KeywordKind = KeywordKind> extends BaseNode {
-    readonly kind = NodeKind.Keyword;
-    readonly children: readonly Identifier[];
-    readonly keywordKind: TKind;
-    readonly isMissing: boolean;
-    get parent(): Node;
-    get tokens(): readonly Identifier[];
-    protected get thisAsNode(): Node;
-    constructor(tokens: readonly Identifier[], keywordKind: TKind, isMissing: boolean | undefined, rangeWithTrivia: Range | undefined);
-}
 export declare class SourceFile extends BaseNode {
     readonly kind = NodeKind.SourceFile;
     readonly children: readonly [
@@ -127,7 +117,7 @@ export declare class PackageName extends BaseNode {
     constructor(parts: readonly PackageNamePart[], rangeWithTrivia: Range | undefined);
 }
 export type TypeSpecifier = NamedTypeSpecifier | AnonymousTypeSpecifier | UnionTypeSpecifier | IntersectionTypeSpecifier | ParenthesizedTypeSpecifier | NullableTypeSpecifier | MissingTypeSpecifier;
-export type NamedTypeSpecifierParent = BaseTypeList | NonNamedTypeSpecifierParent;
+export type NamedTypeSpecifierParent = BaseTypeList | ReducedTypeDeclarationBody | NonNamedTypeSpecifierParent;
 export type NonNamedTypeSpecifierParent = AliasTypeDeclarationBody | AsExpression | IsExpression | TypeParameterDeclaration | TypeArgumentList | TypeAnnotation | ParenthesizedTypeSpecifier | NullableTypeSpecifier | UnionTypeSpecifier | IntersectionTypeSpecifier;
 export declare class NamedTypeSpecifier extends BaseNode {
     readonly kind = NodeKind.NamedTypeSpecifier;
@@ -235,7 +225,7 @@ export declare class AnonymousVariantTypeDeclaration extends BaseNode {
     protected get thisAsNode(): Node;
     constructor(body: VariantTypeDeclarationBody, rangeWithTrivia: Range | undefined);
 }
-export type PackageMemberDeclaration = PackageAliasTypeDeclaration | PackageMemberGroupDeclaration | TypeExtensionDeclaration | PackageConstructorDeclaration | PackageEntryPointDeclaration | PackageFunctionDeclaration | PackageFunctionTypeDeclaration | PackageStructuredTypeDeclaration | PackageVariableDeclaration | PackageVariableGetterDeclaration | PackageVariableSetterDeclaration | PackageVariantTypeDeclaration | MissingPackageMemberDeclaration | TranslationsDeclaration;
+export type PackageMemberDeclaration = PackageAliasTypeDeclaration | PackageReducedTypeDeclaration | PackageMemberGroupDeclaration | TypeExtensionDeclaration | PackageConstructorDeclaration | PackageEntryPointDeclaration | PackageFunctionDeclaration | PackageFunctionTypeDeclaration | PackageStructuredTypeDeclaration | PackageVariableDeclaration | PackageVariableGetterDeclaration | PackageVariableSetterDeclaration | PackageVariantTypeDeclaration | MissingPackageMemberDeclaration | TranslationsDeclaration;
 export declare class PackageAliasTypeDeclaration extends BaseNode {
     readonly kind = NodeKind.PackageAliasTypeDeclaration;
     readonly children: readonly [
@@ -270,6 +260,46 @@ export declare class AliasTypeDeclarationBody extends BaseNode {
     protected get thisAsNode(): Node;
     constructor(aliasedTypeSpecifier: TypeSpecifier, memberBlock: TypeMemberDeclarationBlock | undefined, rangeWithTrivia: Range | undefined);
 }
+export declare class PackageReducedTypeDeclaration extends BaseNode {
+    readonly kind = NodeKind.PackageReducedTypeDeclaration;
+    readonly children: readonly [
+        TagList,
+        ModifierList,
+        Keyword<KeywordKind.Type>,
+        Identifier,
+        TypeParameterClause | undefined,
+        Token<TokenKind.Equals>,
+        ReducedTypeDeclarationBody
+    ];
+    get parent(): PackageMemberDeclarationList;
+    get tagList(): TagList;
+    get modifierList(): ModifierList;
+    get typeKeyword(): Keyword<KeywordKind.Type>;
+    get name(): Identifier;
+    get typeParameterClause(): TypeParameterClause | undefined;
+    get equalsToken(): Token<TokenKind.Equals>;
+    get body(): ReducedTypeDeclarationBody;
+    protected get thisAsNode(): Node;
+    constructor(tagList: TagList, modifierList: ModifierList, typeKeyword: Keyword<KeywordKind.Type>, name: Identifier, typeParameterClause: TypeParameterClause | undefined, equalsToken: Token<TokenKind.Equals>, body: ReducedTypeDeclarationBody, rangeWithTrivia: Range | undefined);
+}
+export declare class ReducedTypeDeclarationBody extends BaseNode {
+    readonly kind = NodeKind.ReducedTypeDeclarationBody;
+    readonly children: readonly [
+        Keyword<KeywordKind.ReducedObject>,
+        NamedTypeSpecifier,
+        Comma | undefined,
+        BaseTypeList | undefined,
+        TypeMemberDeclarationBlock
+    ];
+    get parent(): PackageReducedTypeDeclaration;
+    get reducedObjectKeyword(): Keyword<KeywordKind.ReducedObject>;
+    get reductionSourceSpecifier(): NamedTypeSpecifier;
+    get commaToken(): Comma | undefined;
+    get preservedTypeList(): BaseTypeList | undefined;
+    get memberBlock(): TypeMemberDeclarationBlock;
+    protected get thisAsNode(): Node;
+    constructor(reducedObjectKeyword: Keyword<KeywordKind.ReducedObject>, reductionSourceSpecifier: NamedTypeSpecifier, commaToken: Comma | undefined, preservedTypeList: BaseTypeList | undefined, memberBlock: TypeMemberDeclarationBlock, rangeWithTrivia: Range | undefined);
+}
 export declare class PackageMemberGroupDeclaration extends BaseNode {
     readonly kind = NodeKind.PackageMemberGroupDeclaration;
     readonly children: readonly [
@@ -384,7 +414,7 @@ export declare class FunctionTypeDeclarationBody extends BaseNode {
     constructor(asyncKeyword: Keyword<KeywordKind.Async> | undefined, functionKeyword: Keyword<KeywordKind.Function>, parameterClause: ParameterClause, returnTypeAnnotation: TypeAnnotation | undefined, rangeWithTrivia: Range | undefined);
 }
 export type BaseTypeListElement = NamedTypeSpecifier | Comma;
-export type BaseTypeListParent = VariantTypeDeclarationBody | StructuredTypeDeclarationBody;
+export type BaseTypeListParent = VariantTypeDeclarationBody | StructuredTypeDeclarationBody | ReducedTypeDeclarationBody;
 export declare class BaseTypeList extends BaseNode {
     readonly kind = NodeKind.BaseTypeList;
     readonly children: readonly BaseTypeListElement[];
@@ -404,7 +434,7 @@ export declare class TypeMemberDeclarationList extends BaseNode {
     protected get thisAsNode(): Node;
     constructor(elements: readonly TypeMemberDeclarationListElement[], rangeWithTrivia: Range | undefined);
 }
-export type TypeMemberDeclarationBlockParent = StructuredTypeDeclarationBody | VariantTypeDeclarationBody | AliasTypeDeclarationBody | TypeExtensionDeclaration | TypeMemberGroupDeclaration;
+export type TypeMemberDeclarationBlockParent = StructuredTypeDeclarationBody | VariantTypeDeclarationBody | AliasTypeDeclarationBody | ReducedTypeDeclarationBody | TypeExtensionDeclaration | TypeMemberGroupDeclaration;
 export declare class TypeMemberDeclarationBlock extends BaseNode {
     readonly kind = NodeKind.TypeMemberDeclarationBlock;
     readonly children: readonly [
@@ -995,7 +1025,7 @@ export declare class BinaryExpression extends BaseNode {
     protected get thisAsNode(): Node;
     constructor(left: Expression, operator: BinaryExpressionOperator, right: Expression, rangeWithTrivia: Range | undefined);
 }
-export type BinaryExpressionOperator = Token<TokenKind.Plus> | Token<TokenKind.Minus> | Token<TokenKind.Asterisk> | Token<TokenKind.Slash> | Token<TokenKind.Backslash> | Token<TokenKind.BackslashBackslash> | Token<TokenKind.EqualsEquals> | Token<TokenKind.ExclamationEquals> | Token<TokenKind.LessThan> | Token<TokenKind.GreaterThan> | Token<TokenKind.LessThanOrEqual> | Token<TokenKind.GreaterThanOrEqual> | Token<TokenKind.QuestionQuestion> | Keyword<KeywordKind.Or> | Keyword<KeywordKind.And> | Keyword<KeywordKind.Xor> | Token<TokenKind.Ampersand> | Token<TokenKind.Bar> | Token<TokenKind.BarBar>;
+export type BinaryExpressionOperator = Token<TokenKind.Plus> | Token<TokenKind.Minus> | Token<TokenKind.Asterisk> | Token<TokenKind.Slash> | Token<TokenKind.Backslash> | Token<TokenKind.BackslashBackslash> | Token<TokenKind.EqualsEquals> | Token<TokenKind.ExclamationEquals> | Token<TokenKind.LessThan> | Token<TokenKind.GreaterThan> | Token<TokenKind.LessThanOrEqual> | Token<TokenKind.GreaterThanOrEqual> | Token<TokenKind.QuestionQuestion> | Keyword<KeywordKind.Or> | Keyword<KeywordKind.And> | Keyword<KeywordKind.Xor> | Token<TokenKind.Ampersand> | Token<TokenKind.Bar> | Token<TokenKind.BarBar> | Token<TokenKind.LessThanLessThan> | Token<TokenKind.GreaterThanGreaterThan> | Token<TokenKind.GreaterThanGreaterThanGreaterThan>;
 export declare class FunctionLiteral extends BaseNode {
     readonly kind = NodeKind.FunctionLiteral;
     readonly children: readonly [
@@ -1134,13 +1164,13 @@ export declare class ConditionalExpression extends BaseNode {
     get condKeyword(): Keyword<KeywordKind.Cond>;
     get openParenthesisToken(): Token<TokenKind.OpenParenthesis>;
     get condition(): Expression;
-    get firstComma(): Comma;
+    get firstCommaToken(): Comma;
     get firstExpression(): Expression;
-    get secondComma(): Comma | undefined;
+    get secondCommaToken(): Comma | undefined;
     get secondExpression(): Expression | undefined;
     get closeParenthesisToken(): Token<TokenKind.CloseParenthesis>;
     protected get thisAsNode(): Node;
-    constructor(condKeyword: Keyword<KeywordKind.Cond>, openParenthesisToken: Token<TokenKind.OpenParenthesis>, condition: Expression, firstComma: Comma, firstExpression: Expression, secondComma: Comma | undefined, secondExpression: Expression | undefined, closeParenthesisToken: Token<TokenKind.CloseParenthesis>, rangeWithTrivia: Range | undefined);
+    constructor(condKeyword: Keyword<KeywordKind.Cond>, openParenthesisToken: Token<TokenKind.OpenParenthesis>, condition: Expression, firstCommaToken: Comma, firstExpression: Expression, secondCommaToken: Comma | undefined, secondExpression: Expression | undefined, closeParenthesisToken: Token<TokenKind.CloseParenthesis>, rangeWithTrivia: Range | undefined);
 }
 export declare class PrefixUnaryExpression extends BaseNode {
     readonly kind = NodeKind.PrefixUnaryExpression;
@@ -1358,7 +1388,7 @@ export declare class AssignmentStatement extends BaseNode {
     protected get thisAsNode(): Node;
     constructor(left: Expression, operator: AssignmentStatementOperator, right: Expression, rangeWithTrivia: Range | undefined);
 }
-export type AssignmentStatementOperator = Token<TokenKind.Equals> | Token<TokenKind.PlusEquals> | Token<TokenKind.MinusEquals> | Token<TokenKind.AsteriskEquals> | Token<TokenKind.SlashEquals> | Token<TokenKind.BackslashEquals>;
+export type AssignmentStatementOperator = Token<TokenKind.Equals> | Token<TokenKind.PlusEquals> | Token<TokenKind.MinusEquals> | Token<TokenKind.AsteriskEquals> | Token<TokenKind.SlashEquals> | Token<TokenKind.BackslashEquals> | Token<TokenKind.AmpersandEquals> | Token<TokenKind.BarEquals> | Token<TokenKind.BarBarEquals> | Token<TokenKind.LessThanLessThanEquals> | Token<TokenKind.GreaterThanGreaterThanEquals> | Token<TokenKind.GreaterThanGreaterThanGreaterThanEquals>;
 export type StatementListParent = FunctionBlock | StatementBlock;
 export type StatementListElement = Statement | Semicolon;
 export declare class StatementList extends BaseNode {
@@ -1547,13 +1577,13 @@ export declare class ForStatement extends BaseNode {
     get parent(): StatementList;
     get forKeyword(): Keyword<KeywordKind.For>;
     get elementVariableDeclaration(): ForStatementVariableDeclaration;
-    get comma(): Comma | undefined;
+    get commaToken(): Comma | undefined;
     get indexVariableDeclaration(): ForStatementVariableDeclaration | undefined;
     get fromKeyword(): Keyword<KeywordKind.From>;
     get enumeratedExpression(): Expression;
     get block(): StatementBlock;
     protected get thisAsNode(): Node;
-    constructor(forKeyword: Keyword<KeywordKind.For>, elementVariableDeclaration: ForStatementVariableDeclaration, comma: Comma | undefined, indexVariableDeclaration: ForStatementVariableDeclaration | undefined, fromKeyword: Keyword<KeywordKind.From>, enumeratedExpression: Expression, block: StatementBlock, rangeWithTrivia: Range | undefined);
+    constructor(forKeyword: Keyword<KeywordKind.For>, elementVariableDeclaration: ForStatementVariableDeclaration, commaToken: Comma | undefined, indexVariableDeclaration: ForStatementVariableDeclaration | undefined, fromKeyword: Keyword<KeywordKind.From>, enumeratedExpression: Expression, block: StatementBlock, rangeWithTrivia: Range | undefined);
 }
 export declare class IfStatement extends BaseNode {
     readonly kind = NodeKind.IfStatement;
@@ -2270,7 +2300,7 @@ export declare class TypeArgumentList extends BaseNode {
     protected get thisAsNode(): Node;
     constructor(elements: readonly TypeArgumentListElement[], rangeWithTrivia: Range | undefined);
 }
-export type TypeParameterClauseParent = PackageStructuredTypeDeclaration | PackageVariantTypeDeclaration | PackageFunctionTypeDeclaration | PackageAliasTypeDeclaration | PackageFunctionDeclaration | MethodDeclaration | NestedFunctionDeclaration;
+export type TypeParameterClauseParent = PackageStructuredTypeDeclaration | PackageVariantTypeDeclaration | PackageFunctionTypeDeclaration | PackageAliasTypeDeclaration | PackageReducedTypeDeclaration | PackageFunctionDeclaration | MethodDeclaration | NestedFunctionDeclaration;
 export declare class TypeParameterClause extends BaseNode {
     readonly kind = NodeKind.TypeParameterClause;
     readonly children: readonly [
@@ -2308,8 +2338,4 @@ export declare class TypeAnnotation extends BaseNode {
     protected get thisAsNode(): Node;
     constructor(colonToken: Token<TokenKind.Colon>, typeSpecifier: TypeSpecifier, rangeWithTrivia: Range | undefined);
 }
-export type Node = Token | Keyword | SourceFile | PackageMemberDeclarationList | PackageImportDirectiveList | SinglePackageImportDirective | PackageGroupImportDirective | PackageImportList | PackageImport | PackageName | NamedTypeSpecifier | UnionTypeSpecifier | IntersectionTypeSpecifier | ParenthesizedTypeSpecifier | NullableTypeSpecifier | AnonymousTypeSpecifier | MissingTypeSpecifier | AnonymousFunctionTypeDeclaration | AnonymousStructuredTypeDeclaration | AnonymousVariantTypeDeclaration | PackageAliasTypeDeclaration | AliasTypeDeclarationBody | PackageMemberGroupDeclaration | PackageConstructorDeclaration | PackageEntryPointDeclaration | PackageFunctionDeclaration | PackageFunctionTypeDeclaration | FunctionTypeDeclarationBody | BaseTypeList | TypeMemberDeclarationList | TypeMemberDeclarationBlock | PackageStructuredTypeDeclaration | StructuredTypeDeclarationBody | PackageVariableDeclaration | PackageVariableGetterDeclaration | PackageVariableSetterDeclaration | PackageVariantTypeDeclaration | VariantTypeDeclarationBody | TypeExtensionDeclaration | ExtendedTypeClauseCommaList | ExtendedTypeClause | MissingPackageMemberDeclaration | TypeMemberGroupDeclaration | ConstructorDeclaration | DestructorDeclaration | IndexedElementGetterDeclaration | IndexedElementSetterDeclaration | IndexParameterClause | DereferencedVariableGetterDeclaration | DereferencedVariableSetterDeclaration | MethodDeclaration | OperatorDeclaration | FieldDeclaration | FieldGetterDeclaration | FieldSetterDeclaration | MissingTypeMemberDeclaration | NestedFunctionDeclaration | LocalVariableDeclaration | ForStatementVariableDeclaration | ArrayLiteral | ArrayLiteralElementList | AssertionExpression | AssumptionExpression | AsExpression | BinaryExpression | FunctionLiteral | FunctionBlockLiteral | ArgumentList | CallExpression | AutotypeCallExpression | IndexedAccessExpression | MissingExpression | IsExpression | ParenthesizedExpression | ConditionalExpression | PrefixUnaryExpression | MemberAccessExpression | ReferenceExpression | DereferenceExpression | TextTemplateLiteral | LocalizableTextTemplateLiteral | TextTemplateSpanList | TextTemplateSpan | TokenExpression | TextLiteral | LocalizableTextLiteral | KeywordExpression | ObjectExpression | BaseExpression | IdentifierExpression | GenericSpecializationExpression | DefaultMatchExpression | AssignmentStatement | StatementList | StatementBlock | FunctionBlock | BreakLoopStatement | ContinueLoopStatement | DisposeStatement | RunStatement | TryStatement | CatchClause | ErrorVariableDeclaration | FinallyClause | ErrorStatement | ImportantStatement | ExpressionStatement | ForStatement | IfStatement | ElseIfClauseList | ElseIfClause | ElseClause | MissingStatement | NestedFunctionDeclarationStatement | LocalVariableDeclarationStatement | LoopStatement | ReturnStatement | CaseClauseList | SwitchStatement | MatchExpressionList | CaseClause | WhileStatement | YieldStatement | TranslationsDeclaration | TopLevelTranslationList | TranslationParameterList | TranslationParameterClause | ConstructorTranslation | IndexParameterTranslationClause | IndexerTranslation | TranslationTypeParameterList | TranslationTypeParameterClause | PackageFunctionTranslationDeclaration | MethodTranslation | FunctionTypeTranslationDeclaration | QualifiedName | PackageVariableTranslationDeclaration | FieldOrVariantTranslation | TypeMemberTranslationList | TypeTranslationDeclaration | TextTranslationDeclaration | TextTranslationFunctionDeclaration | TranslationTextLiteral | TranslationTextTemplate | TranslationTextTemplateSpanList | TranslationTextTemplateSpan | TranslationTextTemplateParameter | VariantValueDeclaration | TypeParameterDeclaration | ParameterDeclaration | Argument | TagList | Tag | ModifierList | Modifier | ParameterClause | ParameterList | TypeArgumentClause | TypeArgumentList | TypeParameterClause | TypeParameterList | TypeAnnotation;
-type NodesWithChild<Child, Nodes = Node> = Nodes extends {
-    children: readonly (infer C)[];
-} ? Child extends C ? Nodes : never : never;
-export {};
+export type Node = Token | Keyword | SourceFile | PackageMemberDeclarationList | PackageImportDirectiveList | SinglePackageImportDirective | PackageGroupImportDirective | PackageImportList | PackageImport | PackageName | NamedTypeSpecifier | UnionTypeSpecifier | IntersectionTypeSpecifier | ParenthesizedTypeSpecifier | NullableTypeSpecifier | AnonymousTypeSpecifier | MissingTypeSpecifier | AnonymousFunctionTypeDeclaration | AnonymousStructuredTypeDeclaration | AnonymousVariantTypeDeclaration | PackageAliasTypeDeclaration | AliasTypeDeclarationBody | PackageReducedTypeDeclaration | ReducedTypeDeclarationBody | PackageMemberGroupDeclaration | PackageConstructorDeclaration | PackageEntryPointDeclaration | PackageFunctionDeclaration | PackageFunctionTypeDeclaration | FunctionTypeDeclarationBody | BaseTypeList | TypeMemberDeclarationList | TypeMemberDeclarationBlock | PackageStructuredTypeDeclaration | StructuredTypeDeclarationBody | PackageVariableDeclaration | PackageVariableGetterDeclaration | PackageVariableSetterDeclaration | PackageVariantTypeDeclaration | VariantTypeDeclarationBody | TypeExtensionDeclaration | ExtendedTypeClauseCommaList | ExtendedTypeClause | MissingPackageMemberDeclaration | TypeMemberGroupDeclaration | ConstructorDeclaration | DestructorDeclaration | IndexedElementGetterDeclaration | IndexedElementSetterDeclaration | IndexParameterClause | DereferencedVariableGetterDeclaration | DereferencedVariableSetterDeclaration | MethodDeclaration | OperatorDeclaration | FieldDeclaration | FieldGetterDeclaration | FieldSetterDeclaration | MissingTypeMemberDeclaration | NestedFunctionDeclaration | LocalVariableDeclaration | ForStatementVariableDeclaration | ArrayLiteral | ArrayLiteralElementList | AssertionExpression | AssumptionExpression | AsExpression | BinaryExpression | FunctionLiteral | FunctionBlockLiteral | ArgumentList | CallExpression | AutotypeCallExpression | IndexedAccessExpression | MissingExpression | IsExpression | ParenthesizedExpression | ConditionalExpression | PrefixUnaryExpression | MemberAccessExpression | ReferenceExpression | DereferenceExpression | TextTemplateLiteral | LocalizableTextTemplateLiteral | TextTemplateSpanList | TextTemplateSpan | TokenExpression | TextLiteral | LocalizableTextLiteral | KeywordExpression | ObjectExpression | BaseExpression | IdentifierExpression | GenericSpecializationExpression | DefaultMatchExpression | AssignmentStatement | StatementList | StatementBlock | FunctionBlock | BreakLoopStatement | ContinueLoopStatement | DisposeStatement | RunStatement | TryStatement | CatchClause | ErrorVariableDeclaration | FinallyClause | ErrorStatement | ImportantStatement | ExpressionStatement | ForStatement | IfStatement | ElseIfClauseList | ElseIfClause | ElseClause | MissingStatement | NestedFunctionDeclarationStatement | LocalVariableDeclarationStatement | LoopStatement | ReturnStatement | CaseClauseList | SwitchStatement | MatchExpressionList | CaseClause | WhileStatement | YieldStatement | TranslationsDeclaration | TopLevelTranslationList | TranslationParameterList | TranslationParameterClause | ConstructorTranslation | IndexParameterTranslationClause | IndexerTranslation | TranslationTypeParameterList | TranslationTypeParameterClause | PackageFunctionTranslationDeclaration | MethodTranslation | FunctionTypeTranslationDeclaration | QualifiedName | PackageVariableTranslationDeclaration | FieldOrVariantTranslation | TypeMemberTranslationList | TypeTranslationDeclaration | TextTranslationDeclaration | TextTranslationFunctionDeclaration | TranslationTextLiteral | TranslationTextTemplate | TranslationTextTemplateSpanList | TranslationTextTemplateSpan | TranslationTextTemplateParameter | VariantValueDeclaration | TypeParameterDeclaration | ParameterDeclaration | Argument | TagList | Tag | ModifierList | Modifier | ParameterClause | ParameterList | TypeArgumentClause | TypeArgumentList | TypeParameterClause | TypeParameterList | TypeAnnotation;

package/build/types/tree/NodesDebug.d.ts

@@ -0,0 +1,9 @@
+import { Node } from './Nodes.js';
+/**
+ * Проверяет, что тип узла совместим с типом родительского узла всех дочерних узлов.
+ */
+export type IsCorrectParent<Parent, Children> = Children extends readonly [infer FirstChild, ...infer RemainingChildren] ? (FirstChild extends Node ? (IsAssignableTo<Parent, FirstChild['parent']> extends true ? IsCorrectParent<Parent, RemainingChildren> : IsAssignableTo<Parent, FirstChild['parent']>) : FirstChild extends undefined ? true : 'Ожидалось, что типом FirstChild будет Node или undefined.') : Children extends readonly (infer ListElement)[] ? (ListElement extends Node ? IsAssignableTo<Parent, ListElement['parent']> : ListElement extends undefined ? true : 'Ожидалось, что типом ListElement будет Node или undefined.') : Children extends readonly [] ? true : 'Ожидался пустой кортеж.';
+export type IsAssignableTo<Source, Target> = Source extends Target ? true : ['Тип', Source, 'не совместим с типом', Target];
+export type NodesWithChild<Child, Nodes = Node> = Nodes extends {
+    children: readonly (infer C)[];
+} ? Child extends C ? Nodes : never : never;

package/build/types/tree/OperatorKind.d.ts

@@ -16,13 +16,16 @@ export declare enum OperatorKind {
     Xor = 13,
     BitwiseAnd = 14,
     BitwiseOr = 15,
-    BitwiseXor = 16
+    BitwiseXor = 16,
+    LeftShift = 17,
+    SignedRightShift = 18,
+    UnsignedRightShift = 19
 }
-export declare const operatorKinds: readonly [OperatorKind.Plus, OperatorKind.Minus, OperatorKind.Not, OperatorKind.Multiply, OperatorKind.Divide, OperatorKind.IntegerDivide, OperatorKind.Modulo, OperatorKind.LessThan, OperatorKind.GreaterThan, OperatorKind.LessThanOrEqual, OperatorKind.GreaterThanOrEqual, OperatorKind.Or, OperatorKind.And, OperatorKind.Xor, OperatorKind.BitwiseAnd, OperatorKind.BitwiseOr, OperatorKind.BitwiseXor];
+export declare const operatorKinds: readonly [OperatorKind.Plus, OperatorKind.Minus, OperatorKind.Not, OperatorKind.Multiply, OperatorKind.Divide, OperatorKind.IntegerDivide, OperatorKind.Modulo, OperatorKind.LessThan, OperatorKind.GreaterThan, OperatorKind.LessThanOrEqual, OperatorKind.GreaterThanOrEqual, OperatorKind.Or, OperatorKind.And, OperatorKind.Xor, OperatorKind.BitwiseAnd, OperatorKind.BitwiseOr, OperatorKind.BitwiseXor, OperatorKind.LeftShift, OperatorKind.SignedRightShift, OperatorKind.UnsignedRightShift];
 /**
  * Виды операторов, задаваемых токенами (`+`, `-`, `*=` и др.).
  */
-export type KindOfOperatorDefinedByToken = OperatorKind.Plus | OperatorKind.Minus | OperatorKind.Multiply | OperatorKind.Divide | OperatorKind.IntegerDivide | OperatorKind.Modulo | OperatorKind.LessThan | OperatorKind.GreaterThan | OperatorKind.LessThanOrEqual | OperatorKind.GreaterThanOrEqual | OperatorKind.BitwiseAnd | OperatorKind.BitwiseOr | OperatorKind.BitwiseXor;
+export type KindOfOperatorDefinedByToken = OperatorKind.Plus | OperatorKind.Minus | OperatorKind.Multiply | OperatorKind.Divide | OperatorKind.IntegerDivide | OperatorKind.Modulo | OperatorKind.LessThan | OperatorKind.GreaterThan | OperatorKind.LessThanOrEqual | OperatorKind.GreaterThanOrEqual | OperatorKind.BitwiseAnd | OperatorKind.BitwiseOr | OperatorKind.BitwiseXor | OperatorKind.LeftShift | OperatorKind.SignedRightShift | OperatorKind.UnsignedRightShift;
 export declare function isOperatorDefinedByToken(kind: OperatorKind): kind is KindOfOperatorDefinedByToken;
 /**
  * Виды операторов, задаваемых ключевыми словами (`и`, `или`, `не` и др.)