@artel/artc 0.6.26039 → 0.9.26001

package/build/types/emitter/EmitterContext.d.ts

@@ -30,10 +30,10 @@ export declare class WellKnownDeclarationKeys {
     static readonly fieldProxyReadMethod = "\u0410\u0440\u0442\u0435\u043B\u044C.\u041F\u043E\u0441\u0440\u0435\u0434\u043D\u0438\u043A\u041F\u0435\u0440\u0435\u043C\u0435\u043D\u043D\u043E\u0439\u041E\u0431\u044A\u0435\u043A\u0442\u0430.\u043F\u0440\u043E\u0447\u0438\u0442\u0430\u0442\u044C";
     static readonly fieldProxyWriteMethod = "\u0410\u0440\u0442\u0435\u043B\u044C.\u041F\u043E\u0441\u0440\u0435\u0434\u043D\u0438\u043A\u041F\u0435\u0440\u0435\u043C\u0435\u043D\u043D\u043E\u0439\u041E\u0431\u044A\u0435\u043A\u0442\u0430.\u0437\u0430\u043F\u0438\u0441\u0430\u0442\u044C";
     static readonly referenceConstructor = "\u0410\u0440\u0442\u0435\u043B\u044C.\u0420\u0435\u0430\u043B\u0438\u0437\u0430\u0446\u0438\u044F.\u0414\u0436\u0430\u0432\u0430\u0421\u043A\u0440\u0438\u043F\u0442.\u0421\u0441\u044B\u043B\u043A\u0430";
-    static readonly textTemplateConstructor = "\u0410\u0440\u0442\u0435\u043B\u044C.\u0428\u0430\u0431\u043B\u043E\u043D\u0422\u0435\u043A\u0441\u0442\u0430(\u0444\u0440\u0430\u0433\u043C\u0435\u043D\u0442\u044B,\u0437\u043D\u0430\u0447\u0435\u043D\u0438\u044F)";
-    static readonly textTemplateToTextMethod = "\u0410\u0440\u0442\u0435\u043B\u044C.\u0428\u0430\u0431\u043B\u043E\u043D\u0422\u0435\u043A\u0441\u0442\u0430.\u0432-\u0442\u0435\u043A\u0441\u0442()";
-    static readonly localizableTextTemplateConstructor = "\u0410\u0440\u0442\u0435\u043B\u044C.\u0428\u0430\u0431\u043B\u043E\u043D\u0422\u0435\u043A\u0441\u0442\u0430\u041F\u0435\u0440\u0435\u0432\u043E\u0434\u0438\u043C\u044B\u0439(\u0444\u0440\u0430\u0433\u043C\u0435\u043D\u0442\u044B,\u0437\u043D\u0430\u0447\u0435\u043D\u0438\u044F,\u043A\u043B\u044E\u0447,\u043F\u0430\u043A\u0435\u0442)";
-    static readonly localizableTextTemplateTranslateMethod = "\u0410\u0440\u0442\u0435\u043B\u044C.\u0428\u0430\u0431\u043B\u043E\u043D\u0422\u0435\u043A\u0441\u0442\u0430\u041F\u0435\u0440\u0435\u0432\u043E\u0434\u0438\u043C\u044B\u0439.\u043F\u0435\u0440\u0435\u0432\u0435\u0441\u0442\u0438()";
+    static readonly textTemplateConstructor = "\u0410\u0440\u0442\u0435\u043B\u044C.\u0422\u0435\u043A\u0441\u0442\u0428\u0430\u0431\u043B\u043E\u043D\u043D\u044B\u0439(\u0444\u0440\u0430\u0433\u043C\u0435\u043D\u0442\u044B,\u0437\u043D\u0430\u0447\u0435\u043D\u0438\u044F)";
+    static readonly textTemplateToTextMethod = "\u0410\u0440\u0442\u0435\u043B\u044C.\u0422\u0435\u043A\u0441\u0442\u0428\u0430\u0431\u043B\u043E\u043D\u043D\u044B\u0439.\u0432-\u0442\u0435\u043A\u0441\u0442()";
+    static readonly localizableTextTemplateConstructor = "\u0410\u0440\u0442\u0435\u043B\u044C.\u0422\u0435\u043A\u0441\u0442\u041F\u0435\u0440\u0435\u0432\u043E\u0434\u0438\u043C\u044B\u0439(\u0444\u0440\u0430\u0433\u043C\u0435\u043D\u0442\u044B,\u0437\u043D\u0430\u0447\u0435\u043D\u0438\u044F,\u043A\u043B\u044E\u0447,\u043F\u0430\u043A\u0435\u0442)";
+    static readonly localizableTextTemplateTranslateMethod = "\u0410\u0440\u0442\u0435\u043B\u044C.\u0422\u0435\u043A\u0441\u0442\u041F\u0435\u0440\u0435\u0432\u043E\u0434\u0438\u043C\u044B\u0439.\u043F\u0435\u0440\u0435\u0432\u0435\u0441\u0442\u0438()";
     static readonly symbolIteratorField = "\u0432\u0441\u0435\u043E\u0431\u0449\u0435\u0435 Platform.JavaScript.Symbol.iterator";
     static readonly inlineJsFunction = "\u0410\u0440\u0442\u0435\u043B\u044C.\u0412\u0437\u0430\u0438\u043C\u043E\u0434\u0435\u0439\u0441\u0442\u0432\u0438\u0435.\u043F\u043E\u0434\u0441\u0442\u0430\u0432\u0438\u0442\u044C-\u0440\u043E\u0434\u043D\u043E\u0439-\u043A\u043E\u0434";
     static readonly numberIsIntegerFunction = "\u0410\u0440\u0442\u0435\u043B\u044C.\u0420\u0435\u0430\u043B\u0438\u0437\u0430\u0446\u0438\u044F.\u0414\u0436\u0430\u0432\u0430\u0421\u043A\u0440\u0438\u043F\u0442.\u0447\u0438\u0441\u043B\u043E-\u044F\u0432\u043B\u044F\u0435\u0442\u0441\u044F-\u0446\u0435\u043B\u044B\u043C";

package/build/types/emitter/Entities.d.ts

@@ -1,4 +1,4 @@
-import { PackageLocale } from '../common/index.js';
+import { PackageDialect, PackageLocale } from '../common/index.js';
 import { JavaScriptImplementationConfig } from '../project/SourcePackage.js';
 export interface FunctionEntity {
     readonly kind: 'method';
@@ -140,6 +140,7 @@ export type PackageMemberEntity = FunctionEntity | VariableEntity | TypeOrExtens
 export interface PackageEntity {
     readonly kind: 'package';
     name: string;
+    dialect: PackageDialect;
     locale: PackageLocale;
     members: readonly PackageMemberEntity[];
     details: PackageEntityDetails;
@@ -199,10 +200,11 @@ export declare class IntrinsicFunctionEntity implements FunctionEntity {
 }
 export declare class IntrinsicPackageEntity implements PackageEntity {
     name: string;
+    dialect: PackageDialect;
     locale: PackageLocale;
     readonly kind = "package";
     members: readonly PackageMemberEntity[];
     details: PackageEntityDetails;
-    constructor(name: string, locale: PackageLocale);
+    constructor(name: string, dialect: PackageDialect, locale: PackageLocale);
 }
 export {};

package/build/types/emitter/IrBuilderM.d.ts

@@ -0,0 +1,124 @@
+import { Analyzer } from '../analysis/m/Analyzer.js';
+import { DeclarationsUsageMap } from '../analysis/DeclarationsUsageMap.js';
+import { SourceFile, SourcePackageM } from '../project/index.js';
+import * as commonTree from '../tree/index.js';
+import { EmitterContext } from './EmitterContext.js';
+import { EntityMap } from './EntityMap.js';
+import * as ir from './ir/index.js';
+export declare class IrBuilderM {
+    private readonly ectx;
+    private readonly entityMap;
+    private readonly declarationUsageInfoOfAllPackages;
+    private readonly typesCreatedFromLocalTypes;
+    private readonly textTemplateToTextMethod_;
+    private sourceFile;
+    private declarationsUsageInfoOfSourceFile;
+    private declarationsUsageInfoOfPackageSourceFiles;
+    private id;
+    private currentLoopLabel;
+    private get analyzer();
+    private get textTemplateToTextMethod();
+    constructor(ectx: EmitterContext, entityMap: EntityMap, declarationUsageInfoOfAllPackages: ReadonlyMap<commonTree.SourceFile, DeclarationsUsageMap>);
+    build(pkg: SourcePackageM): ir.Package;
+    private buildPackageMemberDeclarationList;
+    private buildBackingPackageVariables;
+    private buildPackageConstructorDeclaration;
+    private buildFunctionBlock;
+    private buildStatementBlock;
+    private buildStatementList;
+    private buildStatement;
+    private buildAssignmentStatement;
+    private buildContinueLoopStatement;
+    private buildBreakLoopStatement;
+    private buildPackageFunctionDeclaration;
+    private buildPackageTypeDeclaration;
+    private buildPackageAliasTypeDeclaration;
+    private buildPackageVariableDeclaration;
+    private buildPackageVariableGetterDeclaration;
+    private buildPackageVariableSetterDeclaration;
+    private buildBackingPackageVariable;
+    private buildVariantValueDeclaration;
+    private buildTypeMemberList;
+    private createDefaultStructuredTypeConstructor;
+    private buildIndexedElementGetterDeclaration;
+    private buildIndexedElementSetterDeclaration;
+    private buildMethodDeclaration;
+    private buildFieldDeclaration;
+    private buildComputedFieldDeclaration;
+    private buildFieldGetterDeclaration;
+    private buildFieldSetterDeclaration;
+    private buildBackingField;
+    private buildDisposeStatement;
+    private buildRunStatement;
+    private buildTryStatement;
+    private buildErrorStatement;
+    private buildImportantStatement;
+    private buildExpressionStatement;
+    private buildForStatement;
+    private buildIfStatement;
+    private buildElseIfClausesRecursively;
+    private buildNestedFunctionDeclarationStatement;
+    private buildParameterList;
+    private buildLocalVariableDeclarationStatement;
+    private buildLoopStatement;
+    private buildReturnStatement;
+    private buildSwitchStatement;
+    private buildCaseClause;
+    private isDefaultSwitchStatementCaseClause;
+    private buildWhileStatement;
+    private buildYieldStatement;
+    private buildExpression;
+    private applyImplicitConversionIfRequired;
+    private convertTextTemplateToText;
+    private expressionCanBeImplicitlyConverted;
+    private buildArrayLiteral;
+    private buildAssumptionExpression;
+    private buildBinaryExpression;
+    private buildCallExpression;
+    private buildIndexedAccessExpression;
+    private buildFunctionLiteral;
+    private buildFunctionBlockLiteral;
+    private buildParenthesizedExpression;
+    private buildPrefixUnaryExpression;
+    private buildMemberAccessExpression;
+    private convertVariableAccess;
+    private convertComputedAccess;
+    private buildReferenceExpression;
+    private buildConditionalExpression;
+    private buildCharLiteral;
+    private buildTextLiteral;
+    private buildLocalizableTextLiteral;
+    private buildTextTemplateLiteral;
+    private buildLocalizableTextTemplateLiteral;
+    private buildTokenExpression;
+    private buildKeywordExpression;
+    private buildObjectExpression;
+    private buildBaseExpression;
+    private buildDereferenceExpression;
+    private buildGenericSpecializationExpression;
+    private buildDefaultMatchExpression;
+    private buildIdentifierExpression;
+    private createExplicitReceiver;
+    private getEntityFromType;
+    private buildArgumentList;
+    private buildDecorators;
+    private buildTagAsDecorator;
+    private buildAndSaveTypeIfIsLocalTypeSpecifier;
+    private buildAndSaveLocalTypeDeclaration;
+    private buildLocalStructuredTypeDeclaration;
+    private getUnderlyingTypeKind;
+    private createAccessedFunctionFromOperatorMethod;
+    private expressionIsCallee;
+    private generateLoopLabel;
+    private buildTextTranslationDeclarationList;
+    private buildTextTranslationDeclaration;
+    private buildTextTranslationFunctionDeclaration;
+    private getSourceLocation;
+}
+export interface IrBuilderParams {
+    analyzer: Analyzer;
+    sourceFile: SourceFile;
+    declarationsUsageCountResult: DeclarationsUsageMap;
+    declarationsOfPackageSourceFilesUsageCountResults: readonly DeclarationsUsageMap[];
+    entityMap: EntityMap;
+}

package/build/types/emitter/IrFactory.d.ts

@@ -1,4 +1,4 @@
-import { AccessKind, PackageLocale } from '../common/index.js';
+import { AccessKind, PackageDialect, PackageLocale } from '../common/index.js';
 import { EmitterContext } from './EmitterContext.js';
 import { ComputedNameInfo, FunctionEntity, FunctionEntityKind, NamedEntity, PackageEntity, Type, TypeOrExtensionEntity, VariableEntity } from './Entities.js';
 import * as ir from './ir/index.js';
@@ -132,4 +132,4 @@ export declare function packageVariableEntity(name: string, type: Type, containi
 export declare function typeMemberFunctionEntity(functionEntityKind: FunctionEntityKind, name: string, parameters: readonly VariableEntity[], returnType: Type, containingType: TypeOrExtensionEntity, isAsync: boolean, overriddenMembers: readonly FunctionEntity[], isBasic: boolean, isAbstract: boolean, isStatic: boolean, hasComputedName: ComputedNameInfo | undefined, hasObjectParameter: boolean): FunctionEntity;
 export declare function fieldAccessorEntity(name: string, field: VariableEntity, parameters: readonly VariableEntity[], returnType: Type, isSetter: boolean, overriddenMembers: readonly FunctionEntity[], isBasic: boolean, isAbstract: boolean, isStatic: boolean): FunctionEntity;
 export declare function packageFunctionEntity(name: string, parameters: readonly VariableEntity[], returnType: Type, containingPackage: PackageEntity, isAsync: boolean, isPackageConstructor: boolean, isPackageEntryPoint: boolean, isIntrinsic: boolean, hasObjectParameter: boolean): FunctionEntity;
-export declare function packageEntity(name: string, locale: PackageLocale, isPackageWithMainFunction: boolean, isMainPackage: boolean): PackageEntity;
+export declare function packageEntity(name: string, dialect: PackageDialect, locale: PackageLocale, isPackageWithMainFunction: boolean, isMainPackage: boolean): PackageEntity;

package/build/types/entities/Entity.d.ts

@@ -6,10 +6,10 @@ import { IndexerEntity } from './interfaces/IndexerEntity.js';
 import { PackageAliasEntity } from './interfaces/PackageAliasEntity.js';
 import { PackageEntity } from './interfaces/PackageEntity.js';
 import { ReducedTypeEntity } from './interfaces/ReducedTypeEntity.js';
-import { AnonymousStructuredTypeEntity, PackageStructuredTypeEntity, StructuredTypeEntity } from './interfaces/StructuredTypeEntity.js';
+import { AnonymousStructuredTypeEntity, LocalStructuredTypeEntity, PackageStructuredTypeEntity, StructuredTypeEntity } from './interfaces/StructuredTypeEntity.js';
 import { TextTranslationEntity } from './interfaces/TextTranslationEntity.js';
 import { TypeExtensionEntity } from './interfaces/TypeExtensionEntity.js';
-import { EntityContainingTypeParameter, TypeParameterEntity } from './interfaces/TypeParameterEntity.js';
+import { EntityContainingTypeParameter, EntityWithFictiveTypeParameters, TypeParameterEntity } from './interfaces/TypeParameterEntity.js';
 import { EntityContainingParameter, FieldEntity, PackageVariableEntity, ParameterEntity, VariableEntity } from './interfaces/VariableEntity.js';
 import { PackageVariantTypeEntity, VariantTypeEntity } from './interfaces/VariantTypeEntity.js';
 import { TypeEntity } from './TypeEntity.js';
@@ -21,9 +21,11 @@ export declare const enum DefinitionKind {
 export type Entity = PackageEntity | VariableEntity | VariantTypeEntity | FunctionEntity | TypeParameterEntity | IndexerEntity | DereferenceOperatorEntity | FunctionTypeEntity | StructuredTypeEntity | PackageAliasEntity | AliasTypeEntity | ReducedTypeEntity | TypeExtensionEntity | TextTranslationEntity;
 export type PackageTypeEntity = PackageStructuredTypeEntity | PackageVariantTypeEntity | AliasTypeEntity | ReducedTypeEntity;
 export declare function isPackageTypeEntity(entity: Entity): entity is PackageTypeEntity;
-export type NamedTypeEntity = PackageStructuredTypeEntity | PackageVariantTypeEntity | AliasTypeEntity | ReducedTypeEntity | TypeParameterEntity;
+export type NamedTypeEntity = PackageStructuredTypeEntity | PackageVariantTypeEntity | AliasTypeEntity | ReducedTypeEntity | TypeParameterEntity | LocalStructuredTypeEntity;
 export type AnonymousTypeEntity = AnonymousStructuredTypeEntity | AnonymousFunctionTypeEntity;
+export type LocalTypeEntity = LocalStructuredTypeEntity;
 export declare function isAnonymousTypeEntity(entity: Entity): entity is AnonymousTypeEntity;
+export declare function isLocalTypeEntity(entity: Entity): entity is LocalTypeEntity;
 export type TypeEntityWithMembers = FunctionTypeEntity | StructuredTypeEntity | VariantTypeEntity | AliasTypeEntity | ReducedTypeEntity;
 export declare function isTypeEntityWithMembers(entity: Entity): entity is TypeEntityWithMembers;
 export type TypeOrExtensionEntity = TypeEntity | TypeExtensionEntity;
@@ -40,10 +42,11 @@ export type NamedPackageMemberEntity = PackageVariableEntity | PackageFunctionEn
 export declare function isNamedPackageMemberEntity(entity: Entity): entity is NamedPackageMemberEntity;
 export type NamedTypeMemberEntity = FieldEntity | MethodEntity;
 export declare function isNamedTypeMemberEntity(entity: Entity): entity is NamedTypeMemberEntity;
-export type NamedEntity = VariableEntity | PackageVariantTypeEntity | NamedFunctionEntity | TypeParameterEntity | PackageStructuredTypeEntity | PackageAliasEntity | AliasTypeEntity | ReducedTypeEntity;
+export type NamedEntity = VariableEntity | PackageVariantTypeEntity | NamedFunctionEntity | TypeParameterEntity | PackageStructuredTypeEntity | PackageAliasEntity | AliasTypeEntity | ReducedTypeEntity | LocalStructuredTypeEntity;
 export type PackageOrNestedFunctionEntity = PackageFunctionEntity | NestedFunctionEntity;
-export type EntityWithTypeParameters = EntityContainingTypeParameter;
+export type EntityWithTypeParameters = Exclude<EntityContainingTypeParameter, EntityWithFictiveTypeParameters>;
 export declare function isEntityWithTypeParameters(entity: Entity): entity is EntityWithTypeParameters;
+export declare function isEntityWithFictiveTypeParameters(entity: Entity): entity is EntityWithFictiveTypeParameters;
 export type EntityWithParameters = EntityContainingParameter;
 export declare function isEntityWithParameters(entity: Entity): entity is EntityWithParameters;
 export type NamedFunctionEntity = PackageFunctionEntity | MethodEntity | NestedFunctionEntity;

package/build/types/entities/EntityLocalizationContext.d.ts

@@ -2,7 +2,7 @@ import { Analyzer } from '../analysis/Analyzer.js';
 import type * as types from '../types/index.js';
 import { Substitutions } from '../types/Substitutions.js';
 import { Entity, NamedTypeMemberEntity, PackageMemberEntity, PackageTypeEntity, TypeEntityWithMembers, TypeWithMembersOrExtensionEntity } from './Entity.js';
-import { AliasTypeEntity, AnonymousFunctionTypeEntity, AnonymousStructuredTypeEntity, DereferenceOperatorEntity, FieldEntity, FunctionTypeEntity, IndexerEntity, MethodEntity, NameTranslationPackageEntity, PackageEntity, PackageFunctionEntity, PackageStructuredTypeEntity, PackageVariableEntity, PackageVariantTypeEntity, ParameterEntity, ReducedTypeEntity, StructuredTypeEntity, TypeExtensionEntity, TypeParameterEntity, VariantTypeEntity } from './interfaces/index.js';
+import { AliasTypeEntity, AnonymousFunctionTypeEntity, AnonymousStructuredTypeEntity, DereferenceOperatorEntity, FieldEntity, FunctionTypeEntity, IndexerEntity, LocalStructuredTypeEntity, MethodEntity, NameTranslationPackageEntity, PackageEntity, PackageFunctionEntity, PackageStructuredTypeEntity, PackageVariableEntity, PackageVariantTypeEntity, ParameterEntity, ReducedTypeEntity, StructuredTypeEntity, TypeExtensionEntity, TypeParameterEntity, VariantTypeEntity } from './interfaces/index.js';
 import { TypeEntity } from './TypeEntity.js';
 import { TypeMemberEntity } from './TypeMemberEntity.js';
 export declare class EntityLocalizationContext {
@@ -22,6 +22,7 @@ export declare class EntityLocalizationContext {
     getLocalizedAnonymousFunctionTypeEntity(entity: AnonymousFunctionTypeEntity): AnonymousFunctionTypeEntity;
     getLocalizedPackageStructuredTypeEntity(entity: PackageStructuredTypeEntity): PackageStructuredTypeEntity;
     getLocalizedAnonymousStructuredTypeEntity(entity: AnonymousStructuredTypeEntity): AnonymousStructuredTypeEntity;
+    getLocalizedLocalStructuredTypeEntity(entity: LocalStructuredTypeEntity): LocalStructuredTypeEntity;
     getLocalizedAliasTypeEntity(entity: AliasTypeEntity): AliasTypeEntity;
     getLocalizedReducedTypeEntity(entity: ReducedTypeEntity): ReducedTypeEntity;
     getLocalizedTypeExtensionEntity(entity: TypeExtensionEntity): TypeExtensionEntity;
@@ -44,6 +45,6 @@ export declare class EntityLocalizationContext {
     private getOwnTranslatedTypeParameterEntity;
     private getOwnTranslatedParameterEntity;
 }
-export type LocalizableEntity = PackageEntity | PackageVariableEntity | FieldEntity | ParameterEntity | PackageVariantTypeEntity | PackageFunctionEntity | MethodEntity | TypeParameterEntity | IndexerEntity | DereferenceOperatorEntity | AnonymousFunctionTypeEntity | PackageStructuredTypeEntity | AnonymousStructuredTypeEntity | AliasTypeEntity | ReducedTypeEntity | TypeExtensionEntity;
+export type LocalizableEntity = PackageEntity | PackageVariableEntity | FieldEntity | ParameterEntity | PackageVariantTypeEntity | PackageFunctionEntity | MethodEntity | TypeParameterEntity | IndexerEntity | DereferenceOperatorEntity | AnonymousFunctionTypeEntity | PackageStructuredTypeEntity | AnonymousStructuredTypeEntity | AliasTypeEntity | ReducedTypeEntity | TypeExtensionEntity | LocalStructuredTypeEntity;
 export declare function isLocalizableEntity(entity: Entity): entity is LocalizableEntity;
 export type LocalizablePackageMemberEntity = PackageMemberEntity & LocalizableEntity;

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

@@ -1,5 +1,4 @@
-import { KeywordKind } from '../tree/a/KeywordKind.js';
-import { OperatorKind as SyntacticalOperatorKind } from '../tree/a/OperatorKind.js';
+import { PackageLocale } from '../common/PackageLocale.js';
 export declare enum OperatorKind {
     UnaryPlus = 0,
     UnaryMinus = 1,
@@ -26,33 +25,29 @@ export declare enum OperatorKind {
 /**
  * Виды операторов, задаваемых токенами (`+`, `-`, `*=` и др.).
  */
-export type KindOfOperatorDefinedByToken = OperatorKind.UnaryPlus | OperatorKind.UnaryMinus | OperatorKind.Add | OperatorKind.Subtract | OperatorKind.Multiply | OperatorKind.Divide | 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;
+type OperatorKindDefinedByToken = OperatorKind.UnaryPlus | OperatorKind.UnaryMinus | OperatorKind.Add | OperatorKind.Subtract | OperatorKind.Multiply | OperatorKind.Divide | 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 isOperatorKindDefinedByToken(kind: OperatorKind): kind is OperatorKindDefinedByToken;
 /**
  * Виды операторов, задаваемых ключевыми словами (`и`, `или`, `не` и др.)
  */
-export type KindOfOperatorDefinedByKeyword = OperatorKind.Not | OperatorKind.Or | OperatorKind.And | OperatorKind.Xor;
-export declare function isOperatorDefinedByKeyword(kind: OperatorKind): kind is KindOfOperatorDefinedByKeyword;
+type OperatorKindDefinedByKeyword = OperatorKind.Not | OperatorKind.Or | OperatorKind.And | OperatorKind.Xor;
+export declare function isOperatorKindDefinedByKeyword(kind: OperatorKind): kind is OperatorKindDefinedByKeyword;
 /**
  * Виды одноместных операторов. Объявление одноместного оператора не должно содержать ни одного параметра.
  */
 export type UnaryOperatorKind = OperatorKind.UnaryPlus | OperatorKind.UnaryMinus | OperatorKind.Not;
-export declare function isUnaryOperator(kind: OperatorKind): kind is UnaryOperatorKind;
+export declare function isUnaryOperatorKind(kind: OperatorKind): kind is UnaryOperatorKind;
 /**
 * Виды двухместных операторов. Объявление двухместного оператора должно содержать один параметр.
 */
 export type BinaryOperatorKind = OperatorKind.Add | OperatorKind.Subtract | OperatorKind.Multiply | OperatorKind.Divide | 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 declare function isBinaryOperator(kind: OperatorKind): kind is BinaryOperatorKind;
-export type KindOfUnaryOperatorDefinedByToken = UnaryOperatorKind & KindOfOperatorDefinedByToken;
-export type KindOfUnaryOperatorDefinedByKeyword = UnaryOperatorKind & KindOfOperatorDefinedByKeyword;
-export type KindOfBinaryOperatorDefinedByToken = BinaryOperatorKind & KindOfOperatorDefinedByToken;
-export type KindOfBinaryOperatorDefinedByKeyword = BinaryOperatorKind & KindOfOperatorDefinedByKeyword;
+export declare function isBinaryOperatorKind(kind: OperatorKind): kind is BinaryOperatorKind;
 export declare const tokenTextByOperatorKind: {
-    [T in KindOfOperatorDefinedByToken]: string;
+    [T in OperatorKindDefinedByToken]: string;
 };
-export declare const keywordKindByOperatorKind: {
-    [T in KindOfOperatorDefinedByKeyword]: KeywordKind;
-};
-export declare const operatorKindsBySyntacticalOperatorKind: {
-    [T in SyntacticalOperatorKind]: readonly OperatorKind[];
+export declare const keywordTextByOperatorKindByLocale: {
+    readonly [T in PackageLocale]: {
+        readonly [T in OperatorKindDefinedByKeyword]: string;
+    };
 };
+export {};

package/build/types/entities/Translation.d.ts

@@ -1,6 +1,7 @@
 import { PackageLocale } from '../common/index.js';
 import { TranslationPackage } from '../project/index.js';
 import * as treeA from '../tree/a/index.js';
+import * as treeM from '../tree/m/index.js';
 import { NameTranslationPackageEntity } from './index.js';
 export declare class Translation {
     readonly translationPackage: NameTranslationPackageEntity;
@@ -12,12 +13,12 @@ export declare class Translation {
 export type TranslationDefinition = SourceTranslationDefinition | IntrinsicTranslationDefinition;
 export declare class SourceTranslationDefinition {
     readonly nodeOrPackage: TranslationPackage | SourceTranslationDefinitionNode;
-    readonly translatedNameIdentifier: treeA.Identifier | undefined;
+    readonly translatedNameIdentifier: treeA.Identifier | treeM.Identifier | undefined;
     readonly kind = "source";
-    constructor(nodeOrPackage: TranslationPackage | SourceTranslationDefinitionNode, translatedNameIdentifier: treeA.Identifier | undefined);
+    constructor(nodeOrPackage: TranslationPackage | SourceTranslationDefinitionNode, translatedNameIdentifier: treeA.Identifier | treeM.Identifier | undefined);
     equals(other: TranslationDefinition): boolean;
 }
-export type SourceTranslationDefinitionNode = treeA.TranslationDeclaration | treeA.TypeMemberTranslation;
+export type SourceTranslationDefinitionNode = treeA.TranslationDeclaration | treeA.TypeMemberTranslation | treeM.TranslationDeclaration | treeM.TypeMemberTranslation;
 export declare class IntrinsicTranslationDefinition {
     readonly kind = "intrinsic";
     constructor();

package/build/types/entities/interfaces/AliasTypeEntity.d.ts

@@ -1,6 +1,7 @@
 import { Analyzer } from '../../analysis/Analyzer.js';
 import { Name } from '../../common/index.js';
 import * as treeA from '../../tree/a/index.js';
+import * as treeM from '../../tree/m/index.js';
 import * as types from '../../types/index.js';
 import { DefinitionKind, EntityHidingLevel, EntityKind, ITypeEntity, SubstitutionApplicationMode, TypeEntityKind, TypeEntityMembers, TypeParameterEntity } from '../index.js';
 export interface AliasTypeEntity extends ITypeEntity {
@@ -22,10 +23,11 @@ export interface AliasTypeEntity extends ITypeEntity {
 }
 export type AliasTypeEntityDefinition = {
     kind: DefinitionKind.Source;
-    node: treeA.PackageAliasTypeDeclaration;
+    node: AliasTypeEntityDefinitionNode;
 } | {
     kind: DefinitionKind.TypeScript;
 };
+type AliasTypeEntityDefinitionNode = treeA.PackageAliasTypeDeclaration | treeM.PackageAliasTypeDeclaration;
 /**
 * Класс позволяет работать с правой частью тождественного типа (с "aliased type"), исключая циклы.
 *
@@ -86,3 +88,4 @@ export declare class CycleFreeAliasedTypeResolutionResult {
     readonly causesCycle: boolean;
     constructor(type: types.Type, causesCycle: boolean);
 }
+export {};

package/build/types/entities/interfaces/DereferenceOperatorEntity.d.ts

@@ -66,7 +66,9 @@ export declare abstract class BaseDereferenceOperatorEntity implements Dereferen
 }
 export type DereferenceOperatorEntityDefinition = {
     kind: DefinitionKind.Source;
-    nodes: ReadonlyArray<treeA.DereferencedVariableGetterDeclaration | treeA.DereferencedVariableSetterDeclaration>;
+    nodes: readonly DereferenceOperatorEntityDefinitionNode[];
 } | {
     kind: DefinitionKind.Intrinsic;
 };
+type DereferenceOperatorEntityDefinitionNode = treeA.DereferencedVariableGetterDeclaration | treeA.DereferencedVariableSetterDeclaration;
+export {};

package/build/types/entities/interfaces/FunctionEntity.d.ts

@@ -1,6 +1,7 @@
 import { Analyzer } from '../../analysis/Analyzer.js';
 import { Name, PackageDialect, PackageLocale } from '../../common/index.js';
 import * as treeA from '../../tree/a/index.js';
+import * as treeM from '../../tree/m/index.js';
 import * as types from '../../types/index.js';
 import { DefinitionKind, TypeWithMembersOrExtensionEntity } from '../Entity.js';
 import { EntityHidingLevel } from '../EntityHiding.js';
@@ -163,10 +164,11 @@ export interface AnonymousFunctionEntity extends IFunctionEntity {
 }
 export type FunctionEntityDefinition = {
     kind: DefinitionKind.Source;
-    node: treeA.PackageFunctionDeclaration | treeA.MethodDeclaration | treeA.NestedFunctionDeclaration | treeA.FunctionLiteral | treeA.FunctionBlockLiteral | treeA.ConstructorDeclaration | treeA.DestructorDeclaration | treeA.GetterDeclaration | treeA.SetterDeclaration;
+    node: FunctionEntityDefinitionNode;
 } | {
     kind: DefinitionKind.Intrinsic;
 } | {
     kind: DefinitionKind.TypeScript;
 };
+type FunctionEntityDefinitionNode = treeA.PackageFunctionDeclaration | treeA.MethodDeclaration | treeA.NestedFunctionDeclaration | treeA.FunctionLiteral | treeA.FunctionBlockLiteral | treeA.ConstructorDeclaration | treeA.DestructorDeclaration | treeA.GetterDeclaration | treeA.SetterDeclaration | treeM.PackageFunctionDeclaration | treeM.MethodDeclaration | treeM.NestedFunctionDeclaration | treeM.FunctionLiteral | treeM.FunctionBlockLiteral | treeM.StaticMethodDeclaration | treeM.GetterDeclaration | treeM.SetterDeclaration;
 export {};

package/build/types/entities/interfaces/FunctionTypeEntity.d.ts

@@ -1,4 +1,5 @@
 import * as treeA from '../../tree/a/index.js';
+import * as treeM from '../../tree/m/index.js';
 import * as types from '../../types/index.js';
 import { BaseObjectType } from '../BaseObjectType.js';
 import { DefinitionKind, EntityHidingLevel, EntityKind, EntityNaming, ITypeEntity, ParameterEntity, SubstitutionApplicationMode, TypeEntityKind, TypeEntityMembers, TypeParameterEntity } from '../index.js';
@@ -28,10 +29,11 @@ export interface AnonymousFunctionTypeEntity extends IFunctionTypeEntity {
 }
 export type FunctionTypeEntityDefinition = {
     kind: DefinitionKind.Source;
-    node: treeA.AnonymousFunctionTypeDeclaration;
+    node: FunctionTypeEntityDefinitionNode;
 } | {
     kind: DefinitionKind.Intrinsic;
 } | {
     kind: DefinitionKind.TypeScript;
 };
+type FunctionTypeEntityDefinitionNode = treeA.AnonymousFunctionTypeDeclaration | treeM.LocalFunctionTypeDeclaration;
 export {};

package/build/types/entities/interfaces/IndexerEntity.d.ts

@@ -1,6 +1,7 @@
 import { Analyzer } from '../../analysis/Analyzer.js';
 import { PackageDialect, PackageLocale } from '../../common/index.js';
 import * as treeA from '../../tree/a/index.js';
+import * as treeM from '../../tree/m/index.js';
 import * as types from '../../types/index.js';
 import { DefinitionKind, TypeWithMembersOrExtensionEntity } from '../Entity.js';
 import { EntityHidingLevel } from '../EntityHiding.js';
@@ -69,9 +70,11 @@ export declare abstract class BaseIndexerEntity implements IndexerEntity {
 }
 export type IndexerEntityDefinition = {
     kind: DefinitionKind.Source;
-    nodes: ReadonlyArray<treeA.IndexedElementGetterDeclaration | treeA.IndexedElementSetterDeclaration>;
+    nodes: readonly IndexerEntityDefinitionNode[];
 } | {
     kind: DefinitionKind.Intrinsic;
 } | {
     kind: DefinitionKind.TypeScript;
 };
+type IndexerEntityDefinitionNode = treeA.IndexedElementGetterDeclaration | treeA.IndexedElementSetterDeclaration | treeM.IndexedElementGetterDeclaration | treeM.IndexedElementSetterDeclaration;
+export {};

package/build/types/entities/interfaces/PackageAliasEntity.d.ts

@@ -1,5 +1,6 @@
 import { Name } from '../../common/index.js';
 import * as treeA from '../../tree/a/index.js';
+import * as treeM from '../../tree/m/index.js';
 import { IEntity } from '../IEntity.js';
 import { DefinitionKind, EntityHidingLevel, EntityKind, PackageEntity } from '../index.js';
 export interface PackageAliasEntity extends IEntity {
@@ -12,5 +13,7 @@ export interface PackageAliasEntity extends IEntity {
 }
 export type PackageAliasEntityDefinition = {
     kind: DefinitionKind.Source;
-    node: treeA.PackageImport;
+    node: PackageAliasEntityDefinitionNode;
 };
+type PackageAliasEntityDefinitionNode = treeA.PackageImport | treeM.PackageImport;
+export {};

package/build/types/entities/interfaces/PackageEntity.d.ts

@@ -1,7 +1,7 @@
 import { PackageLocale } from '../../common/PackageLocale.js';
 import { JavaScriptImplementationConfig, PackageName, PlatformKind, SourcePackage } from '../../project/index.js';
 import { IEntity } from '../IEntity.js';
-import { AnonymousTypeEntity, DefinitionKind, EntityKind, EntityLocalizationContext, LocalizablePackageMemberEntity, PackageEntityMembers, TypeMemberEntity } from '../index.js';
+import { AnonymousTypeEntity, DefinitionKind, EntityKind, EntityLocalizationContext, LocalizablePackageMemberEntity, PackageEntityMembers, TypeMemberEntity, LocalTypeEntity } from '../index.js';
 export type PackageEntity = ProgramPackageEntity | NameTranslationPackageEntity | TextTranslationPackageEntity;
 export interface IPackageEntity extends IEntity {
     readonly kind: EntityKind.Package;
@@ -28,6 +28,7 @@ export interface NameTranslationPackageEntity extends IPackageEntity {
     getTranslatedPackageMember(entity: LocalizablePackageMemberEntity): LocalizablePackageMemberEntity;
     getTranslatedTypeMember(entity: TypeMemberEntity): TypeMemberEntity;
     getTranslatedAnonymousTypeEntity(entity: AnonymousTypeEntity): AnonymousTypeEntity;
+    getTranslatedLocalTypeEntity(entity: LocalTypeEntity): LocalTypeEntity;
 }
 export interface TextTranslationPackageEntity extends IPackageEntity {
     readonly subkind: 'text-translation';

package/build/types/entities/interfaces/ReducedTypeEntity.d.ts

@@ -32,8 +32,9 @@ export interface ReducedTypeEntity extends ITypeEntity {
 }
 export type ReducedTypeEntityDefinition = {
     kind: DefinitionKind.Source;
-    node: treeA.PackageReducedTypeDeclaration;
+    node: ReducedTypeEntityDefinitionNode;
 };
+type ReducedTypeEntityDefinitionNode = treeA.PackageReducedTypeDeclaration;
 export declare class PreservedReducedTypeEntityMemberInfo<T extends types.TypeMember = types.TypeMember> {
     readonly reductionSourceMember: T | undefined;
     constructor(reductionSourceMember: T | undefined);
@@ -98,3 +99,4 @@ export declare class CycleFreeReductionSourceResolutionResult {
     readonly causesCycle: boolean;
     constructor(type: types.Type, causesCycle: boolean);
 }
+export {};

package/build/types/entities/interfaces/StructuredTypeEntity.d.ts

@@ -1,9 +1,11 @@
 import { Name } from '../../common/index.js';
 import * as treeA from '../../tree/a/index.js';
+import * as treeM from '../../tree/m/index.js';
 import { BaseAspectTypes } from '../BaseAspectTypes.js';
 import { BaseObjectType } from '../BaseObjectType.js';
 import { DefinitionKind, EntityHidingLevel, EntityKind, EntityNaming, ITypeEntity, SubstitutionApplicationMode, TypeEntityKind, TypeEntityMembers, TypeParameterEntity } from '../index.js';
-export type StructuredTypeEntity = PackageStructuredTypeEntity | AnonymousStructuredTypeEntity;
+export type NamedStructuredTypeEntity = PackageStructuredTypeEntity | LocalStructuredTypeEntity;
+export type StructuredTypeEntity = NamedStructuredTypeEntity | AnonymousStructuredTypeEntity;
 interface IStructuredTypeEntity extends ITypeEntity {
     readonly kind: EntityKind.Type;
     readonly typeEntityKind: TypeEntityKind.Structured;
@@ -32,6 +34,11 @@ export interface PackageStructuredTypeEntity extends IStructuredTypeEntity {
     getName(): Name;
     getOriginalEntity(): PackageStructuredTypeEntity;
 }
+export interface LocalStructuredTypeEntity extends IStructuredTypeEntity {
+    readonly subkind: 'local';
+    getName(): Name;
+    getOriginalEntity(): LocalStructuredTypeEntity;
+}
 export interface AnonymousStructuredTypeEntity extends IStructuredTypeEntity {
     readonly subkind: 'anonymous';
     getOriginalEntity(): AnonymousStructuredTypeEntity;
@@ -49,5 +56,5 @@ export type StructuredTypeEntityDefinition = {
 } | {
     kind: DefinitionKind.TypeScript;
 };
-type StructuredTypeEntityDefinitionNode = treeA.PackageStructuredTypeDeclaration | treeA.AnonymousStructuredTypeDeclaration;
+type StructuredTypeEntityDefinitionNode = treeA.PackageStructuredTypeDeclaration | treeA.AnonymousStructuredTypeDeclaration | treeM.LocalStructuredTypeDeclaration | treeM.PackageTypeDeclaration | treeM.LocalStructuredTypeDeclaration;
 export {};

package/build/types/entities/interfaces/TextTranslationEntity.d.ts

@@ -1,4 +1,5 @@
 import * as treeA from '../../tree/a/index.js';
+import * as treeM from '../../tree/m/index.js';
 import { IEntity } from '../IEntity.js';
 import { DefinitionKind, EntityHidingLevel, EntityKind, ParameterEntity } from '../index.js';
 export interface TextTranslationEntity extends IEntity {
@@ -15,5 +16,7 @@ export interface TextTranslationEntity extends IEntity {
 }
 export type TextTranslationEntityDefinition = {
     kind: DefinitionKind.Source;
-    node: treeA.TextTranslationSource;
+    node: TextTranslationEntityDefinitionNode;
 };
+type TextTranslationEntityDefinitionNode = treeA.TextTranslationSource | treeM.TextTranslationSource;
+export {};

package/build/types/entities/interfaces/TypeExtensionEntity.d.ts

@@ -1,4 +1,5 @@
 import * as treeA from '../../tree/a/index.js';
+import * as treeM from '../../tree/m/index.js';
 import { IEntity } from '../IEntity.js';
 import { DefinitionKind, EntityHidingLevel, EntityKind, NamedTypeEntity, TypeEntityMembers } from '../index.js';
 export interface TypeExtensionEntity extends IEntity {
@@ -12,5 +13,7 @@ export interface TypeExtensionEntity extends IEntity {
 }
 export type TypeExtensionEntityDefinition = {
     kind: DefinitionKind.Source;
-    node: treeA.TypeExtensionDeclaration;
+    node: TypeExtensionEntityDefinitionNode;
 };
+type TypeExtensionEntityDefinitionNode = treeA.TypeExtensionDeclaration | treeM.PackageTypeDeclaration;
+export {};

package/build/types/entities/interfaces/TypeParameterEntity.d.ts

@@ -1,7 +1,8 @@
 import { Name } from '../../common/index.js';
 import * as treeA from '../../tree/a/index.js';
+import * as treeM from '../../tree/m/index.js';
 import * as types from '../../types/index.js';
-import { AliasTypeEntity, DefinitionKind, EntityHidingLevel, EntityKind, FunctionTypeEntity, ITypeEntity, NamedFunctionEntity, ReducedTypeEntity, StructuredTypeEntity, TypeEntityKind, VariantTypeEntity } from '../index.js';
+import { AliasTypeEntity, DefinitionKind, EntityHidingLevel, EntityKind, FunctionTypeEntity, ITypeEntity, NamedFunctionEntity, ReducedTypeEntity, StructuredTypeEntity, TypeEntityKind, TypeExtensionEntity, VariantTypeEntity } from '../index.js';
 export interface TypeParameterEntity extends ITypeEntity {
     readonly kind: EntityKind.Type;
     readonly typeEntityKind: TypeEntityKind.Parameter;
@@ -20,13 +21,15 @@ export interface TypeParameterEntity extends ITypeEntity {
 }
 export type TypeParameterEntityDefinition = {
     kind: DefinitionKind.Source;
-    node: treeA.TypeParameterDeclaration;
+    node: TypeParameterEntityDefinitionNode;
 } | {
     kind: DefinitionKind.Intrinsic;
 } | {
     kind: DefinitionKind.TypeScript;
 };
-export type EntityContainingTypeParameter = VariantTypeEntity | NamedFunctionEntity | FunctionTypeEntity | StructuredTypeEntity | AliasTypeEntity | ReducedTypeEntity;
+type TypeParameterEntityDefinitionNode = treeA.TypeParameterDeclaration | treeM.TypeParameterDeclaration;
+export type EntityContainingTypeParameter = VariantTypeEntity | NamedFunctionEntity | FunctionTypeEntity | StructuredTypeEntity | AliasTypeEntity | ReducedTypeEntity | EntityWithFictiveTypeParameters;
+export type EntityWithFictiveTypeParameters = TypeExtensionEntity;
 /**
  * Класс позволяет работать с ограничением параметра шаблона, исключая циклы.
  *
@@ -70,3 +73,4 @@ export declare class CycleFreeConstraintResolutionResult {
     constructor(type: types.Type | undefined, causesCycle: boolean);
 }
 export declare const emptyTypeParameterEntities: readonly TypeParameterEntity[];
+export {};

package/build/types/entities/interfaces/VariableEntity.d.ts

@@ -1,6 +1,7 @@
 import { Analyzer } from '../../analysis/Analyzer.js';
 import { Name, PackageDialect, PackageLocale } from '../../common/index.js';
 import * as treeA from '../../tree/a/index.js';
+import * as treeM from '../../tree/m/index.js';
 import * as types from '../../types/index.js';
 import { AccessorEntity } from '../AccessorEntity.js';
 import { DefinitionKind, TypeWithMembersOrExtensionEntity } from '../Entity.js';
@@ -127,11 +128,11 @@ export type VariableEntityDefinition = {
 export type SourceVariableEntityDefinition = SingleSourceVariableEntityDefinition | MultiSourceVariableEntityDefinition;
 export type SingleSourceVariableEntityDefinition = {
     kind: 'single';
-    node: treeA.PackageVariableDeclaration | treeA.FieldDeclaration | treeA.LocalVariableDeclaration | treeA.ForStatementVariableDeclaration | treeA.ErrorVariableDeclaration | treeA.ParameterDeclaration | treeA.VariantValueDeclaration | treeA.TranslationTextTemplateParameter;
+    node: treeA.PackageVariableDeclaration | treeA.FieldDeclaration | treeA.LocalVariableDeclaration | treeA.ForStatementVariableDeclaration | treeA.ErrorVariableDeclaration | treeA.ParameterDeclaration | treeA.VariantValueDeclaration | treeA.TranslationTextTemplateParameter | treeM.PackageVariableDeclaration | treeM.FieldDeclaration | treeM.LocalVariableDeclaration | treeM.ForStatementVariableDeclaration | treeM.ErrorVariableDeclaration | treeM.ParameterDeclaration | treeM.VariantValueDeclaration | treeM.TranslationTextTemplateParameter | treeM.StaticFieldDeclaration;
 };
 export type MultiSourceVariableEntityDefinition = {
     kind: 'multi';
-    nodes: ReadonlyArray<treeA.PackageVariableGetterDeclaration | treeA.PackageVariableSetterDeclaration | treeA.FieldGetterDeclaration | treeA.FieldSetterDeclaration | treeA.ParameterDeclaration>;
+    nodes: ReadonlyArray<treeA.PackageVariableGetterDeclaration | treeA.PackageVariableSetterDeclaration | treeA.FieldGetterDeclaration | treeA.FieldSetterDeclaration | treeA.ParameterDeclaration | treeM.PackageVariableGetterDeclaration | treeM.PackageVariableSetterDeclaration | treeM.FieldGetterDeclaration | treeM.FieldSetterDeclaration | treeM.ParameterDeclaration | treeM.StaticFieldGetterDeclaration | treeM.StaticFieldSetterDeclaration>;
 };
 export type SpecialVariableEntityInfo = ResultSpecialVariableEntityInfo | ValueSpecialVariableEntityInfo | BackingSpecialVariableEntityInfo | ImplicitFunctionBlockParameterSpecialVariableEntityInfo;
 export declare class ResultSpecialVariableEntityInfo {

package/build/types/entities/interfaces/VariantTypeEntity.d.ts

@@ -1,5 +1,6 @@
 import { Name } from '../../common/index.js';
 import * as treeA from '../../tree/a/index.js';
+import * as treeM from '../../tree/m/index.js';
 import * as types from '../../types/index.js';
 import { BaseObjectType } from '../BaseObjectType.js';
 import { DefinitionKind, EntityHidingLevel, EntityKind, EntityNaming, ITypeEntity, SubstitutionApplicationMode, TypeEntityKind, TypeEntityMembers, TypeParameterEntity } from '../index.js';
@@ -28,8 +29,9 @@ export interface PackageVariantTypeEntity extends IVariantTypeEntity {
 }
 export type VariantTypeEntityDefinition = {
     kind: DefinitionKind.Source;
-    node: treeA.PackageVariantDeclaration;
+    node: VariantTypeEntityDefinitionNode;
 } | {
     kind: DefinitionKind.TypeScript;
 };
+type VariantTypeEntityDefinitionNode = treeA.PackageVariantDeclaration | treeM.PackageTypeDeclaration;
 export {};