@artel/artc 0.6.25210 → 0.6.25212

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

@@ -1,7 +1,7 @@
 import { Query } from '../../common/index.js';
 import { ParserDiagnostic } from '../../parser/ParserDiagnostic.js';
 import * as green from '../green/index.js';
-import { KeywordKind, NodeKind, TokenKind } from '../index.js';
+import { KeywordKind, NodeKind, OperatorKind, TokenKind } from '../index.js';
 import { BaseNode } from './BaseNode.js';
 import { Token } from './Token.js';
 export declare class SourceFile extends BaseNode {
@@ -32,7 +32,7 @@ export declare class PackageMemberDeclarationList extends BaseNode {
     constructor(green: green.PackageMemberDeclarationList, rangeStart: number, parent: PackageMemberDeclarationListParent);
     private createChildren;
 }
-export type IdentifierParent = PackageImport | PackagePath | PackageAliasTypeDeclaration | PackageMethodDeclaration | PackageMethodTypeDeclaration | PackageStructuredTypeDeclaration | PackageVariableDeclaration | PackageVariableGetterDeclaration | PackageVariableSetterDeclaration | PackageVariantTypeDeclaration | TypeMethodDeclaration | TypeVariableDeclaration | TypeVariableGetterDeclaration | TypeVariableSetterDeclaration | NestedMethodDeclaration | LocalVariableDeclaration | EnumerationVariableDeclaration | ErrorVariableDeclaration | PropertyAccessExpression | IdentifierExpression | TranslationParameterList | TranslationTypeParameterList | PackageMethodTranslation | TypeMethodTranslation | MethodTypeTranslation | QualifiedName | PackageVariableTranslation | TypeVariableOrVariantTranslation | TypeTranslation | VariantDeclaration | TypeParameterDeclaration | ParameterDeclaration | SetterParameterDeclaration | CallArgument | Keyword;
+export type IdentifierParent = PackageImport | PackagePath | PackageAliasTypeDeclaration | PackageMethodDeclaration | PackageMethodTypeDeclaration | PackageStructuredTypeDeclaration | PackageVariableDeclaration | PackageVariableGetterDeclaration | PackageVariableSetterDeclaration | PackageVariantTypeDeclaration | TypeMethodDeclaration | OperatorDeclaration | TypeVariableDeclaration | TypeVariableGetterDeclaration | TypeVariableSetterDeclaration | NestedMethodDeclaration | LocalVariableDeclaration | EnumerationVariableDeclaration | ErrorVariableDeclaration | PropertyAccessExpression | IdentifierExpression | TranslationParameterList | TranslationTypeParameterList | PackageMethodTranslation | TypeMethodTranslation | MethodTypeTranslation | QualifiedName | PackageVariableTranslation | TypeVariableOrVariantTranslation | TypeTranslation | VariantDeclaration | TypeParameterDeclaration | ParameterDeclaration | SetterParameterDeclaration | CallArgument | Keyword;
 export type Identifier = Token<TokenKind.Identifier>;
 export type Comma = Token<TokenKind.Comma>;
 export type Semicolon = Token<TokenKind.Semicolon>;
@@ -362,10 +362,10 @@ export declare class PackageMethodDeclaration extends BaseNode {
     readonly green: green.PackageMethodDeclaration;
     readonly parent: PackageMemberDeclarationParent;
     private _children;
-    get children(): readonly [TagList, ModifierList, Keyword<green.KeywordKind.Operation>, Identifier, TypeParameterClause | undefined, ParameterClause, TypeAnnotation | undefined, StatementBlock | undefined];
+    get children(): readonly [TagList, ModifierList, Keyword<green.KeywordKind.Function>, Identifier, TypeParameterClause | undefined, ParameterClause, TypeAnnotation | undefined, StatementBlock | undefined];
     get tagList(): TagList;
     get modifierList(): ModifierList;
-    get operationKeyword(): Keyword<KeywordKind.Operation>;
+    get functionKeyword(): Keyword<KeywordKind.Function>;
     get name(): Identifier;
     get typeParameterClause(): TypeParameterClause | undefined;
     get parameterClause(): ParameterClause;
@@ -398,9 +398,9 @@ export declare class MethodTypeDeclarationBody extends BaseNode {
     readonly green: green.MethodTypeDeclarationBody;
     readonly parent: MethodTypeDeclarationBodyParent;
     private _children;
-    get children(): readonly [Keyword<green.KeywordKind.Async> | undefined, Keyword<green.KeywordKind.Operation>, ParameterClause, TypeAnnotation | undefined];
+    get children(): readonly [Keyword<green.KeywordKind.Async> | undefined, Keyword<green.KeywordKind.Function>, ParameterClause, TypeAnnotation | undefined];
     get asyncKeyword(): Keyword<KeywordKind.Async> | undefined;
-    get operationKeyword(): Keyword<KeywordKind.Operation>;
+    get functionKeyword(): Keyword<KeywordKind.Function>;
     get parameterClause(): ParameterClause;
     get returnTypeAnnotation(): TypeAnnotation | undefined;
     protected get thisAsNode(): Node;
@@ -616,7 +616,7 @@ export declare class InvalidPackageMemberDeclaration extends BaseNode {
     constructor(green: green.InvalidPackageMemberDeclaration, rangeStart: number, parent: InvalidPackageMemberDeclarationParent);
     private createChildren;
 }
-export type TypeMemberDeclaration = TypeVariableDeclaration | TypeVariableGetterDeclaration | TypeVariableSetterDeclaration | VariantDeclaration | TypeMethodDeclaration | TypeConstructorDeclaration | TypeDestructorDeclaration | TypeIndexedGetterDeclaration | TypeIndexedSetterDeclaration | TypeDereferencedVariableGetterDeclaration | TypeDereferencedVariableSetterDeclaration | TypeMemberGroupDeclaration | InvalidTypeMemberDeclaration;
+export type TypeMemberDeclaration = TypeVariableDeclaration | TypeVariableGetterDeclaration | TypeVariableSetterDeclaration | VariantDeclaration | TypeMethodDeclaration | OperatorDeclaration | TypeConstructorDeclaration | TypeDestructorDeclaration | TypeIndexedGetterDeclaration | TypeIndexedSetterDeclaration | TypeDereferencedVariableGetterDeclaration | TypeDereferencedVariableSetterDeclaration | TypeMemberGroupDeclaration | InvalidTypeMemberDeclaration;
 export type TypeMemberDeclarationParent = TypeMemberDeclarationList;
 export declare class TypeMemberGroupDeclaration extends BaseNode {
     readonly kind = NodeKind.TypeMemberGroupDeclaration;
@@ -744,10 +744,10 @@ export declare class TypeMethodDeclaration extends BaseNode {
     readonly green: green.TypeMethodDeclaration;
     readonly parent: TypeMemberDeclarationParent;
     private _children;
-    get children(): readonly [TagList, ModifierList, Keyword<green.KeywordKind.Operation>, Identifier, TypeParameterClause | undefined, ParameterClause, TypeAnnotation | undefined, StatementBlock | undefined];
+    get children(): readonly [TagList, ModifierList, Keyword<green.KeywordKind.Function>, Identifier, TypeParameterClause | undefined, ParameterClause, TypeAnnotation | undefined, StatementBlock | undefined];
     get tagList(): TagList;
     get modifierList(): ModifierList;
-    get operationKeyword(): Keyword<KeywordKind.Operation>;
+    get functionKeyword(): Keyword<KeywordKind.Function>;
     get name(): Identifier;
     get typeParameterClause(): TypeParameterClause | undefined;
     get parameterClause(): ParameterClause;
@@ -757,6 +757,24 @@ export declare class TypeMethodDeclaration extends BaseNode {
     constructor(green: green.TypeMethodDeclaration, rangeStart: number, parent: TypeMemberDeclarationParent);
     private createChildren;
 }
+export declare class OperatorDeclaration extends BaseNode {
+    readonly kind = NodeKind.OperatorDeclaration;
+    readonly green: green.OperatorDeclaration;
+    readonly parent: TypeMemberDeclarationParent;
+    private _children;
+    get children(): readonly [TagList, ModifierList, Keyword<green.KeywordKind.Function>, Identifier, ParameterClause, TypeAnnotation | undefined, StatementBlock | undefined];
+    get tagList(): TagList;
+    get modifierList(): ModifierList;
+    get functionKeyword(): Keyword<KeywordKind.Function>;
+    get name(): Identifier;
+    get parameterClause(): ParameterClause;
+    get returnTypeAnnotation(): TypeAnnotation | undefined;
+    get body(): StatementBlock | undefined;
+    get operatorKind(): OperatorKind;
+    protected get thisAsNode(): Node;
+    constructor(green: green.OperatorDeclaration, rangeStart: number, parent: TypeMemberDeclarationParent);
+    private createChildren;
+}
 export declare class TypeVariableDeclaration extends BaseNode {
     readonly kind = NodeKind.TypeVariableDeclaration;
     readonly green: green.TypeVariableDeclaration;
@@ -823,9 +841,9 @@ export declare class NestedMethodDeclaration extends BaseNode {
     readonly green: green.NestedMethodDeclaration;
     readonly parent: NestedMethodDeclarationParent;
     private _children;
-    get children(): readonly [Keyword<green.KeywordKind.Async> | undefined, Keyword<green.KeywordKind.Operation>, Identifier, TypeParameterClause | undefined, ParameterClause, TypeAnnotation | undefined, StatementBlock];
+    get children(): readonly [Keyword<green.KeywordKind.Async> | undefined, Keyword<green.KeywordKind.Function>, Identifier, TypeParameterClause | undefined, ParameterClause, TypeAnnotation | undefined, StatementBlock];
     get asyncKeyword(): Keyword<KeywordKind.Async> | undefined;
-    get operationKeyword(): Keyword<KeywordKind.Operation>;
+    get functionKeyword(): Keyword<KeywordKind.Function>;
     get name(): Identifier;
     get typeParameterClause(): TypeParameterClause | undefined;
     get parameterClause(): ParameterClause;
@@ -863,8 +881,8 @@ export declare class EnumerationVariableDeclaration extends BaseNode {
     constructor(green: green.EnumerationVariableDeclaration, rangeStart: number, parent: EnumerationVariableDeclarationParent);
     private createChildren;
 }
-export type Expression = ArrayLiteral | AsExpression | AssertionExpression | AssumptionExpression | BinaryExpression | MethodBlockLiteral | CallExpression | IdentifierExpression | AutotypeCallExpression | IndexedAccessExpression | InvalidExpression | IsExpression | UnobservableExpression | NotExpression | MethodLiteral | ParenthesizedExpression | WhenTernaryExpression | PrefixUnaryExpression | PropertyAccessExpression | ReferenceExpression | DereferenceExpression | TextTemplateLiteral | TransactionalExpression | GenericSpecializationExpression | DefaultMatchExpression | TokenExpression | KeywordExpression | ObjectExpression | BaseExpression;
-export type ExpressionParent = ArrayLiteralElementList | AsExpression | AssertionExpression | AssumptionExpression | AssignmentStatement | BinaryExpression | CallArgument | CallExpression | DisposeStatement | ErrorStatement | ExpressionStatement | ForStatement | PackageVariableDeclaration | IfStatement | IndexedAccessArgumentList | IndexedAccessExpression | IsExpression | LocalVariableDeclaration | MatchExpressionList | UnobservableExpression | NotExpression | ParameterDeclaration | ParenthesizedExpression | WhenTernaryExpression | PrefixUnaryExpression | PropertyAccessExpression | ReferenceExpression | DereferenceExpression | LoopStatement | ReturnStatement | TextTemplateSpan | TypeVariableDeclaration | SwitchStatement | TransactionalExpression | VariantDeclaration | WhileStatement | YieldStatement | GenericSpecializationExpression | ElseIfClause | TextTemplateLiteralTranslation;
+export type Expression = ArrayLiteral | AsExpression | AssertionExpression | AssumptionExpression | BinaryExpression | MethodBlockLiteral | CallExpression | IdentifierExpression | AutotypeCallExpression | IndexedAccessExpression | InvalidExpression | IsExpression | NotExpression | MethodLiteral | ParenthesizedExpression | WhenTernaryExpression | PrefixUnaryExpression | PropertyAccessExpression | ReferenceExpression | DereferenceExpression | TextTemplateLiteral | GenericSpecializationExpression | DefaultMatchExpression | TokenExpression | KeywordExpression | ObjectExpression | BaseExpression;
+export type ExpressionParent = ArrayLiteralElementList | AsExpression | AssertionExpression | AssumptionExpression | AssignmentStatement | BinaryExpression | CallArgument | CallExpression | DisposeStatement | ErrorStatement | ExpressionStatement | ForStatement | PackageVariableDeclaration | IfStatement | IndexedAccessArgumentList | IndexedAccessExpression | IsExpression | LocalVariableDeclaration | MatchExpressionList | NotExpression | ParameterDeclaration | ParenthesizedExpression | WhenTernaryExpression | PrefixUnaryExpression | PropertyAccessExpression | ReferenceExpression | DereferenceExpression | LoopStatement | ReturnStatement | TextTemplateSpan | TypeVariableDeclaration | SwitchStatement | VariantDeclaration | WhileStatement | YieldStatement | GenericSpecializationExpression | ElseIfClause | TextTemplateLiteralTranslation;
 export declare class ArrayLiteral extends BaseNode {
     readonly kind = NodeKind.ArrayLiteral;
     readonly green: green.ArrayLiteral;
@@ -942,7 +960,7 @@ export declare class BinaryExpression extends BaseNode {
     constructor(green: green.BinaryExpression, rangeStart: number, parent: ExpressionParent);
     private createChildren;
 }
-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.LessThanEquals> | Token<TokenKind.GreaterThanEquals> | Token<TokenKind.QuestionQuestion> | Keyword<KeywordKind.Or> | Keyword<KeywordKind.And> | Keyword<KeywordKind.Xor>;
+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.LessThanEquals> | Token<TokenKind.GreaterThanEquals> | Token<TokenKind.QuestionQuestion> | Keyword<KeywordKind.Or> | Keyword<KeywordKind.And> | Keyword<KeywordKind.Xor> | Token<TokenKind.Ampersand> | Token<TokenKind.Bar> | Token<TokenKind.BarBar>;
 export declare class MethodBlockLiteral extends BaseNode {
     readonly kind = NodeKind.MethodBlockLiteral;
     readonly green: green.MethodBlockLiteral;
@@ -1045,20 +1063,6 @@ export declare class IsExpression extends BaseNode {
     constructor(green: green.IsExpression, rangeStart: number, parent: ExpressionParent);
     private createChildren;
 }
-export declare class UnobservableExpression extends BaseNode {
-    readonly kind = NodeKind.UnobservableExpression;
-    readonly green: green.UnobservableExpression;
-    readonly parent: ExpressionParent;
-    private _children;
-    get children(): readonly [Keyword<green.KeywordKind.Unobservable>, Token<green.TokenKind.OpenParenthesis>, Expression, Token<green.TokenKind.CloseParenthesis>];
-    get unobservableKeyword(): Keyword<KeywordKind.Unobservable>;
-    get openParenthesisToken(): Token<TokenKind.OpenParenthesis>;
-    get expression(): Expression;
-    get closeParenthesisToken(): Token<TokenKind.CloseParenthesis>;
-    protected get thisAsNode(): Node;
-    constructor(green: green.UnobservableExpression, rangeStart: number, parent: ExpressionParent);
-    private createChildren;
-}
 export declare class NotExpression extends BaseNode {
     readonly kind = NodeKind.NotExpression;
     readonly green: green.NotExpression;
@@ -1078,9 +1082,9 @@ export declare class MethodLiteral extends BaseNode {
     readonly green: green.MethodLiteral;
     readonly parent: ExpressionParent;
     private _children;
-    get children(): readonly [Keyword<green.KeywordKind.Async> | undefined, Keyword<green.KeywordKind.Operation>, ParameterClause, TypeAnnotation | undefined, StatementBlock];
+    get children(): readonly [Keyword<green.KeywordKind.Async> | undefined, Keyword<green.KeywordKind.Function>, ParameterClause, TypeAnnotation | undefined, StatementBlock];
     get asyncKeyword(): Keyword<KeywordKind.Async> | undefined;
-    get operationKeyword(): Keyword<KeywordKind.Operation>;
+    get functionKeyword(): Keyword<KeywordKind.Function>;
     get parameterClause(): ParameterClause;
     get returnTypeAnnotation(): TypeAnnotation | undefined;
     get body(): StatementBlock;
@@ -1266,20 +1270,6 @@ export declare class IdentifierExpression extends BaseNode {
     constructor(green: green.IdentifierExpression, rangeStart: number, parent: ExpressionParent);
     private createChildren;
 }
-export declare class TransactionalExpression extends BaseNode {
-    readonly kind = NodeKind.TransactionalExpression;
-    readonly green: green.TransactionalExpression;
-    readonly parent: ExpressionParent;
-    private _children;
-    get children(): readonly [Keyword<green.KeywordKind.Transactional>, Token<green.TokenKind.OpenParenthesis>, Expression, Token<green.TokenKind.CloseParenthesis>];
-    get transactionalKeyword(): Keyword<KeywordKind.Transactional>;
-    get openParenthesisToken(): Token<TokenKind.OpenParenthesis>;
-    get expression(): Expression;
-    get closeParenthesisToken(): Token<TokenKind.CloseParenthesis>;
-    protected get thisAsNode(): Node;
-    constructor(green: green.TransactionalExpression, rangeStart: number, parent: ExpressionParent);
-    private createChildren;
-}
 export declare class GenericSpecializationExpression extends BaseNode {
     readonly kind = NodeKind.GenericSpecializationExpression;
     readonly green: green.GenericSpecializationExpression;
@@ -1303,7 +1293,7 @@ export declare class DefaultMatchExpression extends BaseNode {
     constructor(green: green.DefaultMatchExpression, rangeStart: number, parent: ExpressionParent);
     private createChildren;
 }
-export type Statement = RunStatement | EmptyStatement | IfStatement | ForStatement | WhileStatement | LoopStatement | ReturnStatement | ErrorStatement | LocalVariableDeclarationStatement | AssignmentStatement | YieldStatement | InvalidStatement | ExpressionStatement | SwitchStatement | BreakLoopStatement | ContinueLoopStatement | NestedMethodDeclarationStatement | TransactionalStatement | UnobservableStatement | DisposeStatement;
+export type Statement = RunStatement | EmptyStatement | IfStatement | ForStatement | WhileStatement | LoopStatement | ReturnStatement | ErrorStatement | LocalVariableDeclarationStatement | AssignmentStatement | YieldStatement | InvalidStatement | ExpressionStatement | SwitchStatement | BreakLoopStatement | ContinueLoopStatement | NestedMethodDeclarationStatement | DisposeStatement;
 export type StatementParent = StatementList;
 export declare class AssignmentStatement extends BaseNode {
     readonly kind = NodeKind.AssignmentStatement;
@@ -1333,7 +1323,7 @@ export declare class StatementList extends BaseNode {
     constructor(green: green.StatementList, rangeStart: number, parent: StatementListParent);
     private createChildren;
 }
-export type StatementBlockParent = PackageVariableGetterDeclaration | PackageVariableSetterDeclaration | PackageMethodDeclaration | TypeVariableGetterDeclaration | TypeVariableSetterDeclaration | TypeIndexedGetterDeclaration | TypeIndexedSetterDeclaration | TypeDereferencedVariableGetterDeclaration | TypeDereferencedVariableSetterDeclaration | TypeMethodDeclaration | NestedMethodDeclaration | MethodLiteral | MethodBlockLiteral | PackageConstructorDeclaration | PackageEntryPointDeclaration | TypeConstructorDeclaration | TypeDestructorDeclaration | IfStatement | ElseIfClause | RunStatement | OnErrorClause | FinallyClause | ForStatement | LoopStatement | SwitchStatementCaseClause | WhileStatement | TransactionalStatement | UnobservableStatement;
+export type StatementBlockParent = PackageVariableGetterDeclaration | PackageVariableSetterDeclaration | PackageMethodDeclaration | TypeVariableGetterDeclaration | TypeVariableSetterDeclaration | TypeIndexedGetterDeclaration | TypeIndexedSetterDeclaration | TypeDereferencedVariableGetterDeclaration | TypeDereferencedVariableSetterDeclaration | TypeMethodDeclaration | OperatorDeclaration | NestedMethodDeclaration | MethodLiteral | MethodBlockLiteral | PackageConstructorDeclaration | PackageEntryPointDeclaration | TypeConstructorDeclaration | TypeDestructorDeclaration | IfStatement | ElseIfClause | RunStatement | OnErrorClause | FinallyClause | ForStatement | LoopStatement | SwitchStatementCaseClause | WhileStatement;
 export declare class StatementBlock extends BaseNode {
     readonly kind = NodeKind.StatementBlock;
     readonly green: green.StatementBlock;
@@ -1586,18 +1576,6 @@ export declare class LocalVariableDeclarationStatement extends BaseNode {
     constructor(green: green.LocalVariableDeclarationStatement, rangeStart: number, parent: StatementParent);
     private createChildren;
 }
-export declare class UnobservableStatement extends BaseNode {
-    readonly kind = NodeKind.UnobservableStatement;
-    readonly green: green.UnobservableStatement;
-    readonly parent: StatementParent;
-    private _children;
-    get children(): readonly [Keyword<green.KeywordKind.Unobservable>, StatementBlock];
-    get unobservableKeyword(): Keyword<KeywordKind.Unobservable>;
-    get body(): StatementBlock;
-    protected get thisAsNode(): Node;
-    constructor(green: green.UnobservableStatement, rangeStart: number, parent: StatementParent);
-    private createChildren;
-}
 export declare class LoopStatement extends BaseNode {
     readonly kind = NodeKind.LoopStatement;
     readonly green: green.LoopStatement;
@@ -1678,18 +1656,6 @@ export declare class SwitchStatementCaseClause extends BaseNode {
     constructor(green: green.SwitchStatementCaseClause, rangeStart: number, parent: SwitchStatementCaseClauseParent);
     private createChildren;
 }
-export declare class TransactionalStatement extends BaseNode {
-    readonly kind = NodeKind.TransactionalStatement;
-    readonly green: green.TransactionalStatement;
-    readonly parent: StatementParent;
-    private _children;
-    get children(): readonly [Keyword<green.KeywordKind.Transactional>, StatementBlock];
-    get transactionalKeyword(): Keyword<KeywordKind.Transactional>;
-    get body(): StatementBlock;
-    protected get thisAsNode(): Node;
-    constructor(green: green.TransactionalStatement, rangeStart: number, parent: StatementParent);
-    private createChildren;
-}
 export declare class WhileStatement extends BaseNode {
     readonly kind = NodeKind.WhileStatement;
     readonly green: green.WhileStatement;
@@ -1819,8 +1785,8 @@ export declare class PackageMethodTranslation extends BaseNode {
     readonly green: green.PackageMethodTranslation;
     readonly parent: PackageMethodTranslationParent;
     private _children;
-    get children(): readonly [Keyword<green.KeywordKind.Operation>, Identifier, TranslationTypeParameterClause | undefined, TranslationParameterClause, Token<green.TokenKind.MinusGreaterThan>, Identifier, TranslationTypeParameterClause | undefined, TranslationParameterClause];
-    get operationKeyword(): Keyword<KeywordKind.Operation>;
+    get children(): readonly [Keyword<green.KeywordKind.Function>, Identifier, TranslationTypeParameterClause | undefined, TranslationParameterClause, Token<green.TokenKind.MinusGreaterThan>, Identifier, TranslationTypeParameterClause | undefined, TranslationParameterClause];
+    get functionKeyword(): Keyword<KeywordKind.Function>;
     get sourceName(): Identifier;
     get sourceTypeParameterClause(): TranslationTypeParameterClause | undefined;
     get sourceParameterClause(): TranslationParameterClause;
@@ -1838,8 +1804,8 @@ export declare class TypeMethodTranslation extends BaseNode {
     readonly green: green.TypeMethodTranslation;
     readonly parent: TypeMethodTranslationParent;
     private _children;
-    get children(): readonly [Keyword<green.KeywordKind.Operation>, Identifier, TranslationTypeParameterClause | undefined, TranslationParameterClause, Token<green.TokenKind.MinusGreaterThan>, Identifier, TranslationTypeParameterClause | undefined, TranslationParameterClause];
-    get operationKeyword(): Keyword<KeywordKind.Operation>;
+    get children(): readonly [Keyword<green.KeywordKind.Function>, Identifier, TranslationTypeParameterClause | undefined, TranslationParameterClause, Token<green.TokenKind.MinusGreaterThan>, Identifier, TranslationTypeParameterClause | undefined, TranslationParameterClause];
+    get functionKeyword(): Keyword<KeywordKind.Function>;
     get sourceName(): Identifier;
     get sourceTypeParameterClause(): TranslationTypeParameterClause | undefined;
     get sourceParameterClause(): TranslationParameterClause;
@@ -2108,9 +2074,9 @@ export declare class Modifier extends BaseNode {
     private createChildren;
 }
 export type ModifierKeyword = Keyword<ModifierKeywordKind>;
-export type ModifierKeywordKind = KeywordKind.Const | KeywordKind.Hidden | KeywordKind.Abstract | KeywordKind.Static | KeywordKind.Redefinable | KeywordKind.Redefined | KeywordKind.Async | KeywordKind.Observable | KeywordKind.Consistent;
+export type ModifierKeywordKind = KeywordKind.Hidden | KeywordKind.Basic | KeywordKind.Static | KeywordKind.Redefinable | KeywordKind.Abstract | KeywordKind.Redefined | KeywordKind.Async | KeywordKind.Const;
 export type ModifierLevelKeyword = Keyword<KeywordKind.InType> | Keyword<KeywordKind.InHierarchy> | Keyword<KeywordKind.InFile> | Keyword<KeywordKind.InPackage>;
-export type ParameterClauseParent = PackageMethodDeclaration | NestedMethodDeclaration | MethodLiteral | TypeConstructorDeclaration | TypeDestructorDeclaration | TypeMethodDeclaration | MethodTypeDeclarationBody;
+export type ParameterClauseParent = PackageMethodDeclaration | NestedMethodDeclaration | MethodLiteral | TypeConstructorDeclaration | TypeDestructorDeclaration | TypeMethodDeclaration | OperatorDeclaration | MethodTypeDeclarationBody;
 export declare class ParameterClause extends BaseNode {
     readonly kind = NodeKind.ParameterClause;
     readonly green: green.ParameterClause;
@@ -2221,7 +2187,7 @@ export declare class TypeParameterList extends BaseNode {
     constructor(green: green.TypeParameterList, rangeStart: number, parent: TypeParameterListParent);
     private createChildren;
 }
-export type TypeAnnotationParent = PackageMethodDeclaration | MethodTypeDeclarationBody | PackageVariableDeclaration | PackageVariableGetterDeclaration | PackageVariableSetterDeclaration | NestedMethodDeclaration | LocalVariableDeclaration | MethodLiteral | ParameterDeclaration | TypeIndexedGetterDeclaration | TypeIndexedSetterDeclaration | TypeDereferencedVariableGetterDeclaration | TypeDereferencedVariableSetterDeclaration | TypeMethodDeclaration | TypeVariableDeclaration | TypeVariableGetterDeclaration | TypeVariableSetterDeclaration | ErrorVariableDeclaration | SetterParameterDeclaration;
+export type TypeAnnotationParent = PackageMethodDeclaration | MethodTypeDeclarationBody | PackageVariableDeclaration | PackageVariableGetterDeclaration | PackageVariableSetterDeclaration | NestedMethodDeclaration | LocalVariableDeclaration | MethodLiteral | ParameterDeclaration | TypeIndexedGetterDeclaration | TypeIndexedSetterDeclaration | TypeDereferencedVariableGetterDeclaration | TypeDereferencedVariableSetterDeclaration | TypeMethodDeclaration | OperatorDeclaration | TypeVariableDeclaration | TypeVariableGetterDeclaration | TypeVariableSetterDeclaration | ErrorVariableDeclaration | SetterParameterDeclaration;
 export declare class TypeAnnotation extends BaseNode {
     readonly kind = NodeKind.TypeAnnotation;
     readonly green: green.TypeAnnotation;
@@ -2234,4 +2200,4 @@ export declare class TypeAnnotation extends BaseNode {
     constructor(green: green.TypeAnnotation, rangeStart: number, parent: TypeAnnotationParent);
     private createChildren;
 }
-export type Node = SourceFile | PackageMemberDeclarationList | Keyword | PackageImportDirectiveList | SinglePackageImportDirective | PackageGroupImportDirective | PackageImportList | PackageImport | PackagePath | NamedTypeSpecifier | UnionTypeSpecifier | UnionTypeSpecifierTypeList | ParenthesizedTypeSpecifier | NullableTypeSpecifier | AnonymousTypeSpecifier | InvalidTypeSpecifier | AnonymousMethodTypeDeclaration | AnonymousStructuredTypeDeclaration | AnonymousVariantTypeDeclaration | TopLevelTranslationList | TranslationsDeclaration | PackageAliasTypeDeclaration | AliasTypeDeclarationBody | PackageMemberGroupDeclaration | PackageConstructorDeclaration | PackageEntryPointDeclaration | PackageMethodDeclaration | PackageMethodTypeDeclaration | MethodTypeDeclarationBody | BaseTypeList | TypeMemberDeclarationList | TypeMemberDeclarationBlock | PackageStructuredTypeDeclaration | StructuredTypeDeclarationBody | PackageVariableDeclaration | PackageVariableGetterDeclaration | PackageVariableSetterDeclaration | PackageVariantTypeDeclaration | VariantTypeDeclarationBody | TypeExtensionDeclaration | ExtendedTypeClauseCommaList | ExtendedTypeClause | InvalidPackageMemberDeclaration | TypeMemberGroupDeclaration | TypeConstructorDeclaration | TypeDestructorDeclaration | TypeIndexedGetterDeclaration | TypeIndexedSetterDeclaration | TypeIndexerParameterClause | TypeDereferencedVariableGetterDeclaration | TypeDereferencedVariableSetterDeclaration | TypeMethodDeclaration | TypeVariableDeclaration | TypeVariableGetterDeclaration | TypeVariableSetterDeclaration | InvalidTypeMemberDeclaration | NestedMethodDeclaration | LocalVariableDeclaration | EnumerationVariableDeclaration | ArrayLiteral | ArrayLiteralElementList | AssertionExpression | AssumptionExpression | AsExpression | BinaryExpression | MethodBlockLiteral | CallArgumentList | CallExpression | AutotypeCallExpression | IndexedAccessArgumentList | IndexedAccessExpression | InvalidExpression | IsExpression | UnobservableExpression | NotExpression | MethodLiteral | ParenthesizedExpression | WhenTernaryExpression | PrefixUnaryExpression | PropertyAccessExpression | ReferenceExpression | DereferenceExpression | TextTemplateLiteral | TextTemplateSpanList | TextTemplateSpan | TokenExpression | KeywordExpression | ObjectExpression | BaseExpression | IdentifierExpression | TransactionalExpression | GenericSpecializationExpression | DefaultMatchExpression | AssignmentStatement | StatementList | StatementBlock | BreakLoopStatement | ContinueLoopStatement | DisposeStatement | RunStatementClauseList | RunStatement | OnErrorClause | ErrorVariableDeclaration | FinallyClause | EmptyStatement | ErrorStatement | ExpressionStatement | EnumerationVariableList | ForStatement | IfStatement | ElseIfClauseList | ElseIfClause | InvalidStatement | NestedMethodDeclarationStatement | LocalVariableDeclarationStatement | UnobservableStatement | LoopStatement | ReturnStatement | CaseClauseList | SwitchStatement | MatchExpressionList | SwitchStatementCaseClause | TransactionalStatement | WhileStatement | YieldStatement | TranslationParameterList | TranslationParameterClause | ConstructorTranslation | IndexerTranslationParameterClause | IndexerTranslation | TranslationTypeParameterList | TranslationTypeParameterClause | PackageMethodTranslation | TypeMethodTranslation | MethodTypeTranslation | PackageImportTranslation | QualifiedName | PackageVariableTranslation | TypeVariableOrVariantTranslation | TypeMemberTranslationList | TypeTranslation | TextLiteralTranslation | TextTemplateLiteralTranslation | VariantDeclaration | TypeParameterDeclaration | ParameterDeclaration | CallArgument | TagList | Tag | ModifierList | Modifier | ParameterClause | ParameterList | SetterParameterClause | SetterParameterDeclaration | TypeArgumentClause | TypeArgumentList | TypeParameterClause | TypeParameterList | TypeAnnotation | Token;
+export type Node = SourceFile | PackageMemberDeclarationList | Keyword | PackageImportDirectiveList | SinglePackageImportDirective | PackageGroupImportDirective | PackageImportList | PackageImport | PackagePath | NamedTypeSpecifier | UnionTypeSpecifier | UnionTypeSpecifierTypeList | ParenthesizedTypeSpecifier | NullableTypeSpecifier | AnonymousTypeSpecifier | InvalidTypeSpecifier | AnonymousMethodTypeDeclaration | AnonymousStructuredTypeDeclaration | AnonymousVariantTypeDeclaration | TopLevelTranslationList | TranslationsDeclaration | PackageAliasTypeDeclaration | AliasTypeDeclarationBody | PackageMemberGroupDeclaration | PackageConstructorDeclaration | PackageEntryPointDeclaration | PackageMethodDeclaration | PackageMethodTypeDeclaration | MethodTypeDeclarationBody | BaseTypeList | TypeMemberDeclarationList | TypeMemberDeclarationBlock | PackageStructuredTypeDeclaration | StructuredTypeDeclarationBody | PackageVariableDeclaration | PackageVariableGetterDeclaration | PackageVariableSetterDeclaration | PackageVariantTypeDeclaration | VariantTypeDeclarationBody | TypeExtensionDeclaration | ExtendedTypeClauseCommaList | ExtendedTypeClause | InvalidPackageMemberDeclaration | TypeMemberGroupDeclaration | TypeConstructorDeclaration | TypeDestructorDeclaration | TypeIndexedGetterDeclaration | TypeIndexedSetterDeclaration | TypeIndexerParameterClause | TypeDereferencedVariableGetterDeclaration | TypeDereferencedVariableSetterDeclaration | TypeMethodDeclaration | OperatorDeclaration | TypeVariableDeclaration | TypeVariableGetterDeclaration | TypeVariableSetterDeclaration | InvalidTypeMemberDeclaration | NestedMethodDeclaration | LocalVariableDeclaration | EnumerationVariableDeclaration | ArrayLiteral | ArrayLiteralElementList | AssertionExpression | AssumptionExpression | AsExpression | BinaryExpression | MethodBlockLiteral | CallArgumentList | CallExpression | AutotypeCallExpression | IndexedAccessArgumentList | IndexedAccessExpression | InvalidExpression | IsExpression | NotExpression | MethodLiteral | ParenthesizedExpression | WhenTernaryExpression | PrefixUnaryExpression | PropertyAccessExpression | ReferenceExpression | DereferenceExpression | TextTemplateLiteral | TextTemplateSpanList | TextTemplateSpan | TokenExpression | KeywordExpression | ObjectExpression | BaseExpression | IdentifierExpression | GenericSpecializationExpression | DefaultMatchExpression | AssignmentStatement | StatementList | StatementBlock | BreakLoopStatement | ContinueLoopStatement | DisposeStatement | RunStatementClauseList | RunStatement | OnErrorClause | ErrorVariableDeclaration | FinallyClause | EmptyStatement | ErrorStatement | ExpressionStatement | EnumerationVariableList | ForStatement | IfStatement | ElseIfClauseList | ElseIfClause | InvalidStatement | NestedMethodDeclarationStatement | LocalVariableDeclarationStatement | LoopStatement | ReturnStatement | CaseClauseList | SwitchStatement | MatchExpressionList | SwitchStatementCaseClause | WhileStatement | YieldStatement | TranslationParameterList | TranslationParameterClause | ConstructorTranslation | IndexerTranslationParameterClause | IndexerTranslation | TranslationTypeParameterList | TranslationTypeParameterClause | PackageMethodTranslation | TypeMethodTranslation | MethodTypeTranslation | PackageImportTranslation | QualifiedName | PackageVariableTranslation | TypeVariableOrVariantTranslation | TypeMemberTranslationList | TypeTranslation | TextLiteralTranslation | TextTemplateLiteralTranslation | VariantDeclaration | TypeParameterDeclaration | ParameterDeclaration | CallArgument | TagList | Tag | ModifierList | Modifier | ParameterClause | ParameterList | SetterParameterClause | SetterParameterDeclaration | TypeArgumentClause | TypeArgumentList | TypeParameterClause | TypeParameterList | TypeAnnotation | Token;

package/build/types/tree/red/Token.d.ts

@@ -1,8 +1,8 @@
-import { Node, NodeKind, TokenFlags } from './index.js';
-import { TokenKind, TriviaKind } from '../index.js';
 import { Range } from '../../common/index.js';
 import * as green from '../green/index.js';
+import { TokenKind, TriviaKind } from '../index.js';
 import { BaseNode } from './BaseNode.js';
+import { Node, NodeKind, OperatorKind, TokenFlags } from './index.js';
 export type TokenParent = Node;
 export declare class Token<TKind extends TokenKind = TokenKind> extends BaseNode {
     readonly kind = NodeKind.Token;
@@ -13,6 +13,7 @@ export declare class Token<TKind extends TokenKind = TokenKind> extends BaseNode
     get value(): string;
     get flags(): TokenFlags;
     get isMissing(): boolean;
+    get ifOperatorNameThenKind(): OperatorKind | undefined;
     get rangeWithoutTrivia(): Range;
     protected get thisAsNode(): Node;
     constructor(green: green.Token<TKind>, rangeStart: number, parent: TokenParent);

package/build/types/tree/red/index.d.ts

@@ -1,5 +1,9 @@
 export { TokenFlags } from '../green/index.js';
+export * from '../KeywordKind.js';
 export * from '../NodeKind.js';
+export * from '../OperatorKind.js';
+export * from '../TokenKind.js';
+export * from '../TriviaKind.js';
 export * from './NodePath.js';
 export * from './Nodes.js';
 export * from './Token.js';

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

@@ -299,8 +299,6 @@ export declare class TsPropertyEntity implements TypeVariableEntity {
     isRedefinable(): boolean;
     isRedefined(): boolean;
     isAbstract(): boolean;
-    isConsistent(): boolean;
-    isObservable(): boolean;
 }
 export declare class TsAccessorEntity implements TypeVariableEntity {
     private readonly _tsctx;
@@ -328,8 +326,6 @@ export declare class TsAccessorEntity implements TypeVariableEntity {
     isRedefinable(): boolean;
     isRedefined(): boolean;
     isAbstract(): boolean;
-    isConsistent(): boolean;
-    isObservable(): boolean;
 }
 export declare class TsGetAccessorEntity implements GetterEntity {
     private readonly _tsctx;

package/build/types/types/TypeMembers.d.ts

@@ -1,10 +1,10 @@
 import { Analyzer } from '../analysis/index.js';
 import { Name } from '../common/index.js';
-import { BinaryOperatorEntity, BinaryOperatorKind, ConstructorEntity, DestructorEntity, EntityHidingLevel, IndexerEntity, ParameterVariableEntity, DereferenceOperatorEntity, TypeMethodEntity, TypeParameterEntity, TypeVariableEntity, UnaryOperatorEntity, UnaryOperatorKind } from '../entities/index.js';
+import { ConstructorEntity, DereferenceOperatorEntity, DestructorEntity, EntityHidingLevel, IndexerEntity, OperatorEntity, OperatorKind, ParameterVariableEntity, TypeMethodEntity, TypeParameterEntity, TypeVariableEntity } from '../entities/index.js';
 import { MethodType } from './MethodType.js';
 import { Substitutions } from './Substitutions.js';
 import { Type } from './Type.js';
-export type TypeMember = Variable | Method | Constructor | Destructor | Indexer | DereferenceOperator | BinaryOperator | UnaryOperator;
+export type TypeMember = Variable | Method | Operator | Constructor | Destructor | Indexer | DereferenceOperator;
 export type NamedTypeMember = Variable | Method;
 export declare class Method implements ITypeMember {
     private readonly _analyzer;
@@ -52,6 +52,24 @@ export declare class Variable implements ITypeMember {
     isStatic(): boolean;
     applySubstitutions(substitutions: Substitutions): Variable;
 }
+export declare class Operator implements ITypeMember {
+    private readonly _analyzer;
+    private readonly _entity;
+    private readonly _substitutions;
+    readonly kind = "operator";
+    private readonly _valueParameters;
+    private readonly _signatureEntity;
+    constructor(_analyzer: Analyzer, _entity: OperatorEntity, _substitutions: Substitutions);
+    getOperatorKind(): OperatorKind;
+    getValueParameters(): readonly ValueParameter[];
+    getReturnType(): Type;
+    getEntity(): OperatorEntity;
+    getSubstitutions(): Substitutions;
+    getSignatureType(): MethodType;
+    isHidden(): EntityHidingLevel | undefined;
+    isStatic(): boolean;
+    applySubstitutions(substitutions: Substitutions): Operator;
+}
 export declare class Constructor implements ITypeMember {
     private readonly _entity;
     private readonly _substitutions;
@@ -101,33 +119,6 @@ export declare class DereferenceOperator implements ITypeMember {
     isHidden(): EntityHidingLevel | undefined;
     applySubstitutions(substitutions: Substitutions): DereferenceOperator;
 }
-export declare class BinaryOperator implements ITypeMember {
-    private readonly _entity;
-    private readonly _substitutions;
-    readonly kind = "binary-operator";
-    constructor(_entity: BinaryOperatorEntity, _substitutions: Substitutions);
-    getEntity(): BinaryOperatorEntity;
-    getSubstitutions(): Substitutions;
-    getOperatorKind(): BinaryOperatorKind;
-    getLeftOperandType(): Type;
-    getRightOperandType(): Type;
-    getResultType(): Type;
-    applySubstitutions(substitutions: Substitutions): BinaryOperator;
-    isHidden(): EntityHidingLevel | undefined;
-}
-export declare class UnaryOperator implements ITypeMember {
-    private readonly _entity;
-    private readonly _substitutions;
-    readonly kind = "unary-operator";
-    constructor(_entity: UnaryOperatorEntity, _substitutions: Substitutions);
-    getEntity(): UnaryOperatorEntity;
-    getSubstitutions(): Substitutions;
-    getOperatorKind(): UnaryOperatorKind;
-    getOperandType(): Type;
-    getResultType(): Type;
-    applySubstitutions(substitutions: Substitutions): UnaryOperator;
-    isHidden(): EntityHidingLevel | undefined;
-}
 export interface ITypeMember {
     isHidden(): EntityHidingLevel | undefined;
     getSubstitutions(): Substitutions;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@artel/artc",
-  "version": "0.6.25210",
+  "version": "0.6.25212",
   "description": "Артель Компилятор | Artel Compiler",
   "author": "Nezaboodka Team <contact@nezaboodka.com>",
   "license": "LGPL-3.0-or-later",
@@ -42,14 +42,14 @@
     "@vscode/l10n": "0.0.18",
     "jsonc-parser": "3.3.1",
     "reactronic": "^0.92.25013",
-    "typescript": "5.5.4",
+    "typescript": "5.8.2",
     "vscode-json-languageservice": "5.4.2",
     "vscode-languageserver": "9.0.1",
     "vscode-languageserver-textdocument": "1.0.11",
     "vscode-uri": "3.0.8"
   },
   "devDependencies": {
-    "@vscode/l10n-dev": "0.0.31",
+    "@vscode/l10n-dev": "0.0.35",
     "ts-json-schema-generator": "2.3.0"
   },
   "scripts": {
@@ -60,13 +60,13 @@
     "generate-files": "",
     "generate-files:force": "",
     "compile": "npm run generate-files && tsc --build .",
-    "bundle:debug": "npm run compile && node ./scripts/bundle.js --debug && npm run copy-global-storage",
-    "bundle:release": "npm run compile && node ./scripts/bundle.js && npm run copy-global-storage",
+    "bundle:debug": "npm run compile && node ./scripts/bundle.js --debug",
+    "bundle:release": "npm run compile && node ./scripts/bundle.js",
     "prepare-for-publish": "npm run bundle:release && node ./scripts/copy-compiler-dts.js",
     "export-l10n-text": "npx @vscode/l10n-dev export -o l10n source",
     "copy-global-storage": "node ../vscode-extension/scripts/copy-global-storage.js projects/compiler/СистемныеПакеты",
     "install-global": "npm run prepare-for-publish && npm i -g .",
-    "generate-tree": "npm run bundle:debug && node build/Cli.js build ../tree-generator/ ../tree-generator/build --workspace ../.. --standard-packages ../СтандартныеПакеты && node ../tree-generator/build/launch.mjs ../compiler/source/tree",
+    "generate-tree": "npm run bundle:debug && node build/Cli.js build ../tree-generator/ ../tree-generator/build --workspace ../.. --standard-packages ../СтандартныеПакеты --no-warnings && node ../tree-generator/build/launch.mjs ../compiler/source/tree",
     "generate-configuration-json-schemas": "node ./scripts/generateConfigurationJsonSchemas.mjs",
     "create-minimal-required-standard-package-contents-json": "esbuild ./scripts/createMinimalStandardPackageContentsJson.ts --bundle --outfile=../../build/scripts/createMinimalStandardPackageContentsJson.mjs --format=esm --platform=node --packages=external --supported:async-await=false && node ../../build/scripts/createMinimalStandardPackageContentsJson.mjs"
   }

package/build/types/analysis/BuiltInOperators.d.ts

@@ -1,14 +0,0 @@
-import { BinaryOperatorEntity, TypeEntity, UnaryOperatorEntity } from '../entities/index.js';
-import { Analyzer } from './index.js';
-export declare class BuiltInOperators {
-    private readonly _analyzer;
-    private readonly _unaryOperators;
-    private readonly _binaryOperators;
-    private get unaryOperators();
-    private get binaryOperators();
-    constructor(_analyzer: Analyzer);
-    getUnaryOperators(entity: TypeEntity): readonly UnaryOperatorEntity[];
-    getBinaryOperators(entity: TypeEntity): readonly BinaryOperatorEntity[];
-    private createBuiltInUnaryOperators;
-    private createBuiltInBinaryOperators;
-}

package/build/types/common/UriTree.d.ts

@@ -1,41 +0,0 @@
-import { Uri } from './Uri.js';
-export declare class UriTree<T> {
-    private readonly _roots;
-    add(uri: Uri, data: T): void;
-    /**
-     * @returns элемент если он существовал, иначе `undefined`.
-     */
-    delete(uri: Uri): T | undefined;
-    getItem(uri: Uri): T | undefined;
-    enumerateRoots(): Iterable<{
-        uri: Uri;
-        value: T;
-    }>;
-    enumerateChildren(uri: Uri): Iterable<{
-        uri: Uri;
-        value: T;
-    }>;
-    traverse(uri: Uri, f: (node: Node<T>) => void): readonly string[];
-    forEachItem(f: (item: T) => void): void;
-    enumerateItems(rootUri?: Uri): Iterable<{
-        uri: Uri;
-        value: T;
-    }>;
-    private getNode;
-    private getOrCreateRootNode;
-    private getRootNode;
-}
-declare class Node<T> {
-    readonly uri: Uri;
-    private _data;
-    private readonly _children;
-    constructor(uri: Uri, _data: T | undefined);
-    get item(): T | undefined;
-    getChild(segment: string): Node<T> | undefined;
-    getOrAddChild(segment: string, factory: () => Node<T>): Node<T>;
-    addChild(segment: string, node: Node<T>): void;
-    deleteChild(segment: string): void;
-    setData(data: T): void;
-    getChildren(): Iterable<Node<T>>;
-}
-export {};