@artel/artc 0.6.25283 → 0.6.25284

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

@@ -5,60 +5,61 @@ export declare enum KeywordKind {
     Aspect = 3,
     Object = 4,
     PlainObject = 5,
-    Variant = 6,
-    Run = 7,
-    Try = 8,
-    From = 9,
-    Else = 10,
-    ElseIf = 11,
-    Function = 12,
-    If = 13,
-    Is = 14,
-    Return = 15,
-    Type = 16,
-    Basic = 17,
-    Import = 18,
-    Important = 19,
-    Error = 20,
-    Finally = 21,
-    And = 22,
-    Or = 23,
-    Xor = 24,
-    While = 25,
-    Loop = 26,
-    RepeatWhile = 27,
-    Yield = 28,
-    When = 29,
-    Cond = 30,
-    Creation = 31,
-    Catch = 32,
-    BreakLoop = 33,
-    ContinueLoop = 34,
-    For = 35,
-    Const = 36,
-    Hidden = 37,
-    Abstract = 38,
-    Override = 39,
-    Async = 40,
-    Static = 41,
-    As = 42,
-    Not = 43,
-    Switch = 44,
-    Case = 45,
-    Dispose = 46,
-    Destruction = 47,
-    InHierarchy = 48,
-    InFile = 49,
-    InPackage = 50,
-    InType = 51,
-    Yes = 52,
-    No = 53,
-    Reference = 54,
-    Translations = 55,
-    Base = 56,
-    Null = 57,
-    Get = 58,
-    Set = 59,
-    LoopWhile = 60,
-    Over = 61
+    ReducedObject = 6,
+    Variant = 7,
+    Run = 8,
+    Try = 9,
+    From = 10,
+    Else = 11,
+    ElseIf = 12,
+    Function = 13,
+    If = 14,
+    Is = 15,
+    Return = 16,
+    Type = 17,
+    Basic = 18,
+    Import = 19,
+    Important = 20,
+    Error = 21,
+    Finally = 22,
+    And = 23,
+    Or = 24,
+    Xor = 25,
+    While = 26,
+    Loop = 27,
+    RepeatWhile = 28,
+    Yield = 29,
+    When = 30,
+    Cond = 31,
+    Creation = 32,
+    Catch = 33,
+    BreakLoop = 34,
+    ContinueLoop = 35,
+    For = 36,
+    Const = 37,
+    Hidden = 38,
+    Abstract = 39,
+    Override = 40,
+    Async = 41,
+    Static = 42,
+    As = 43,
+    Not = 44,
+    Switch = 45,
+    Case = 46,
+    Dispose = 47,
+    Destruction = 48,
+    InHierarchy = 49,
+    InFile = 50,
+    InPackage = 51,
+    InType = 52,
+    Yes = 53,
+    No = 54,
+    Reference = 55,
+    Translations = 56,
+    Base = 57,
+    Null = 58,
+    Get = 59,
+    Set = 60,
+    LoopWhile = 61,
+    Over = 62
 }

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

@@ -117,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;
@@ -225,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 [
@@ -260,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 [
@@ -374,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[];
@@ -394,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 [
@@ -1124,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;
@@ -1537,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;
@@ -2260,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 [
@@ -2298,4 +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;
+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/SyntaxFactory.d.ts

@@ -5,6 +5,8 @@ export declare class SyntaxFactory {
     static packageName(segments: readonly (tree.Identifier | string)[]): tree.PackageName;
     static packageAliasTypeDeclaration(tags: readonly tree.Tag[], modifiers: readonly tree.Modifier[], name: tree.Identifier | string, typeParameters: readonly tree.TypeParameterDeclaration[] | undefined, body: tree.AliasTypeDeclarationBody): tree.PackageAliasTypeDeclaration;
     static aliasTypeDeclarationBody(aliasedTypeSpecifier: tree.TypeSpecifier, members: readonly tree.TypeMemberDeclaration[] | undefined): tree.AliasTypeDeclarationBody;
+    static packageReducedTypeDeclaration(tags: readonly tree.Tag[], modifiers: readonly tree.Modifier[], name: tree.Identifier | string, typeParameters: readonly tree.TypeParameterDeclaration[] | undefined, body: tree.ReducedTypeDeclarationBody): tree.PackageReducedTypeDeclaration;
+    static reducedTypeDeclarationBody(reductionSourceSpecifier: tree.NamedTypeSpecifier, preservedTypes: readonly tree.NamedTypeSpecifier[] | undefined, members: readonly tree.TypeMemberDeclaration[]): tree.ReducedTypeDeclarationBody;
     static packageMemberGroupDeclaration(tags: readonly tree.Tag[], modifiers: readonly tree.Modifier[], declarations: readonly tree.PackageMemberDeclaration[]): tree.PackageMemberGroupDeclaration;
     static packageFunctionDeclaration(tags: readonly tree.Tag[], modifiers: readonly tree.Modifier[], name: tree.Identifier | string, typeParameters: readonly tree.TypeParameterDeclaration[] | undefined, parameters: readonly tree.ParameterDeclaration[], returnTypeSpecifier: tree.TypeSpecifier | undefined, body: tree.FunctionBlock | undefined): tree.PackageFunctionDeclaration;
     static packageFunctionTypeDeclaration(tags: readonly tree.Tag[], modifiers: readonly tree.Modifier[], name: tree.Identifier | string, typeParameters: readonly tree.TypeParameterDeclaration[] | undefined, body: tree.FunctionTypeDeclarationBody): tree.PackageFunctionTypeDeclaration;

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

@@ -28,6 +28,7 @@ export declare class SyntaxToCode {
     private writePackageFunctionDeclaration;
     private writePackageStructuredTypeDeclaration;
     private writePackageAliasTypeDeclaration;
+    private writePackageReducedTypeDeclaration;
     private writePackageVariantTypeDeclaration;
     private writePackageFunctionTypeDeclaration;
     private writePackageMemberGroupDeclaration;

package/build/types/ts-interop/Entities.d.ts

@@ -3,7 +3,7 @@ import { Tag } from '../analysis/Tag.js';
 import { Translation } from '../analysis/Translation.js';
 import { Lazy, Name, PackageDialect, PackageLocale } from '../common/index.js';
 import { TypeEntityMembers } from '../entities/TypeEntityMembers.js';
-import type { EntityContainingParameter, EntityContainingTypeParameter, EntityOwningGetter, PackageEntity, TextTranslationPackageEntityInfo, TypeEntityWithMembers, VariantTypeEntity } from '../entities/index.js';
+import type { EntityContainingParameter, EntityContainingTypeParameter, EntityOwningGetter, PackageEntity, PreservedReducedTypeEntityMemberInfo, ReducedTypeEntity, TextTranslationPackageEntityInfo, TypeEntityWithMembers, VariantTypeEntity } from '../entities/index.js';
 import { AliasTypeEntity, AliasTypeEntityDefinition, AliasedType, AnonymousFunctionTypeEntity, AnonymousStructuredTypeEntity, BaseAspectTypes, BaseObjectType, ConstructorEntity, ConstructorEntityDefinition, DefaultConstructorEntityInfo, EntityHidingLevel, EntityKind, EntityNaming, EntityOwningSetter, FieldEntity, FunctionEntityDefinition, FunctionTypeEntityDefinition, GetterEntity, GetterEntityDefinition, IndexerEntity, IndexerEntityDefinition, InterfacePackageEntityInfo, MethodEntity, PackageEntityDefinition, PackageEntityMembers, PackageFunctionEntity, PackageFunctionTypeEntity, PackageStructuredTypeEntity, PackageVariableEntity, PackageVariantTypeEntity, ParameterEntity, SetterEntity, SetterEntityDefinition, SpecialVariableEntityInfo, StructuredTypeEntityDefinition, StructuredTypeKind, SubstitutionApplicationMode, TypeEntityKind, TypeParameterConstraint, TypeParameterEntity, TypeParameterEntityDefinition, TypeWithMembersOrExtensionEntity, VariableEntityDefinition, VariantTypeEntityDefinition } from '../entities/index.js';
 import { JavaScriptImplementationConfig, PackageName, PlatformKind, ProgramPackage } from '../project/index.js';
 import * as tree from '../tree/index.js';
@@ -46,6 +46,7 @@ export declare class SourcePackageLoadedFromDtsEntity implements PackageEntity {
     getImplementedInterfacePackage(): PackageEntity | undefined;
     getSupportedPlatforms(): readonly PlatformKind[];
     getPackageAliasTypeDeclarationEntity(node: tree.PackageAliasTypeDeclaration): AliasTypeEntity;
+    getPackageReducedTypeDeclarationEntity(node: tree.PackageReducedTypeDeclaration): ReducedTypeEntity;
     getPackageFunctionDeclarationEntity(node: tree.PackageFunctionDeclaration): PackageFunctionEntity;
     getPackageFunctionTypeDeclarationEntity(node: tree.PackageFunctionTypeDeclaration): PackageFunctionTypeEntity;
     getPackageStructuredTypeDeclarationEntity(node: tree.PackageStructuredTypeDeclaration): PackageStructuredTypeEntity;
@@ -354,6 +355,7 @@ export declare class TsPropertyEntity implements FieldEntity {
     isOverride(): boolean;
     markedAbstract(): boolean;
     getOverriddenMembers(): readonly types.Field[];
+    isPreservedReducedTypeMember(): PreservedReducedTypeEntityMemberInfo<types.Field> | undefined;
     isVariant(): boolean;
     getTranslation(): Translation | undefined;
     getLocale(): PackageLocale;
@@ -390,6 +392,7 @@ export declare class TsAccessorEntity implements FieldEntity {
     isOverride(): boolean;
     markedAbstract(): boolean;
     getOverriddenMembers(): readonly types.Field[];
+    isPreservedReducedTypeMember(): PreservedReducedTypeEntityMemberInfo<types.Field> | undefined;
     isVariant(): boolean;
     getTranslation(): Translation | undefined;
     getLocale(): PackageLocale;
@@ -472,6 +475,7 @@ export declare class TsMethodEntity implements MethodEntity {
     isFunctionTypeInvokeMethod(): boolean;
     getSubstitutionApplicationMode(): SubstitutionApplicationMode;
     getOverriddenMembers(): readonly types.Method[];
+    isPreservedReducedTypeMember(): PreservedReducedTypeEntityMemberInfo<types.Method> | undefined;
     getTranslation(): Translation | undefined;
     getLocale(): PackageLocale;
     getDialect(): PackageDialect;
@@ -506,6 +510,7 @@ export declare class TsIteratorFunctionEntity implements MethodEntity {
     isFunctionTypeInvokeMethod(): boolean;
     getSubstitutionApplicationMode(): SubstitutionApplicationMode;
     getOverriddenMembers(): readonly types.Method[];
+    isPreservedReducedTypeMember(): PreservedReducedTypeEntityMemberInfo<types.Method> | undefined;
     getTranslation(): Translation | undefined;
     getLocale(): PackageLocale;
     getDialect(): PackageDialect;
@@ -594,6 +599,7 @@ export declare class TsIndexSignatureEntity implements IndexerEntity {
     markedAbstract(): boolean;
     getTags(): readonly Tag[];
     getOverriddenMembers(): readonly types.Indexer[];
+    isPreservedReducedTypeMember(): PreservedReducedTypeEntityMemberInfo<types.Indexer> | undefined;
     getTranslation(): Translation | undefined;
     getLocale(): PackageLocale;
     getDialect(): PackageDialect;
@@ -616,6 +622,7 @@ export declare class TsConstructorEntity implements ConstructorEntity {
     isHidden(): EntityHidingLevel | undefined;
     markedAbstract(): boolean;
     getTags(): readonly Tag[];
+    isPreservedReducedTypeMember(): PreservedReducedTypeEntityMemberInfo<types.Constructor> | undefined;
     getTranslation(): Translation | undefined;
     getLocale(): PackageLocale;
     getDialect(): PackageDialect;
@@ -636,6 +643,7 @@ export declare class TsSignatureBasedDefaultConstructorEntity implements Constru
     isHidden(): EntityHidingLevel | undefined;
     markedAbstract(): boolean;
     getTags(): readonly Tag[];
+    isPreservedReducedTypeMember(): PreservedReducedTypeEntityMemberInfo<types.Constructor> | undefined;
     getTranslation(): Translation | undefined;
     getLocale(): PackageLocale;
     getDialect(): PackageDialect;
@@ -687,6 +695,7 @@ export declare class TsEnumMemberEntity implements FieldEntity {
     isOverride(): boolean;
     markedAbstract(): boolean;
     getOverriddenMembers(): readonly types.Field[];
+    isPreservedReducedTypeMember(): PreservedReducedTypeEntityMemberInfo<types.Field> | undefined;
     isVariant(): boolean;
     getType(): types.Type;
     getGetter(): GetterEntity | undefined;