import { AST, ASTNode } from "../ast/types.js";
import { ICompileError } from "../errors/IError.js";
import { Bindings } from "../reducer/Stack.js";
import { result } from "../utility/result.js";
import { AnalysisContext } from "./context.js";
import { AnyTypedExpressionNode, AnyTypedStatementNode, AnyTypedUnitTypeNode, KindTypedNode, TypedAST, TypedASTNode } from "./types.js";
export declare function analyzeKind<Kind extends TypedASTNode["kind"]>(node: ASTNode, kind: Kind, context: AnalysisContext): KindTypedNode<Kind>;
export declare function analyzeOneOfKinds<Kind extends TypedASTNode["kind"]>(node: ASTNode, kinds: Kind[], context: AnalysisContext): KindTypedNode<Kind>;
export declare function analyzeExpression(node: ASTNode, context: AnalysisContext): AnyTypedExpressionNode;
export declare function analyzeUnitType(node: ASTNode, context: AnalysisContext): AnyTypedUnitTypeNode;
export declare function analyzeStatement(node: ASTNode, symbols: AnalysisContext): AnyTypedStatementNode;
export type TypedASTResult = result<TypedAST, ICompileError[]>;
export declare function analyzeAst(ast: AST, builtins?: Bindings): result<TypedAST, ICompileError[]>;
//# sourceMappingURL=index.d.ts.map