import type { IExpression } from '../typings/expression';
import type { IType } from '../typings/type';
import { LineInfo } from '../misc/utils';
/**
 * Annotate an expression with type.
 *
 * ```typescript
 * AsType(GetVariable("some_variable"), TNat());
 * ```
 *
 * @param expression
 * @param type
 * @param {LineInfo} line Source code line information (Used in error messages)
 *
 * @category | Type Handling
 *
 * @returns {IExpression} An expression
 */
export declare const AsType: (expression: IExpression, type: IType, line?: LineInfo) => IExpression<any>;