import { Expression } from '../core/expression';
import { LineInfo } from '../misc/utils';
import { IExpression } from '../typings/expression';
/**
 * Access the left part of a pair
 *
 * ```typescript
 * FirstElement(Pair(Nat(1), String("A String"))); // Nat(1)
 * ```
 *
 * @category | Pair expressions
 *
 * @param expression An expression that resolves to a value of type TPair(...);
 * @param {LineInfo} line Source code line information (Used in error messages)
 *
 * @returns {IExpression} An expression.
 */
export declare const FirstElement: (expression: IExpression, line?: LineInfo) => import("../misc/proxy").Proxied<Expression<import("../core/enums/type").MichelsonType>>;
/**
 * Access the right part of a pair
 *
 * ```typescript
 * SecondElement(Pair(Nat(1), String("A String"))); // String("A String")
 * ```
 *
 * @category | Pair expressions
 *
 * @param expression An expression that resolves to a value of type TPair(...);
 * @param {LineInfo} line Source code line information (Used in error messages)
 *
 * @returns {IExpression} An expression.
 */
export declare const SecondElement: (expression: IExpression, line?: LineInfo) => import("../misc/proxy").Proxied<Expression<import("../core/enums/type").MichelsonType>>;