import { LineInfo } from '../misc/utils';
import { Expression } from '../core/expression';
import { IExpression } from '../typings/expression';
import { MichelsonType } from '../core/enums/type';
/**
 * Access a property of a record value.
 *
 * ```typescript
 * GetProperty(ContractStorage(), "prop1")
 * ```
 *
 * @category | Variable Accessors
 *
 * @param recordExpression An expression that resolves to a record value
 * @param property Property name
 * @param {LineInfo} line Source code line information (Used in error messages)
 *
 * @returns {IExpression} An expression
 */
export declare const GetProperty: (recordExpression: IExpression, property: string, line?: LineInfo) => import("../misc/proxy").Proxied<Expression<any>>;
/**
 * Get variable value.
 *
 * ```typescript
 * GetVariable("some_variable")
 * ```
 *
 * @category | Variable Accessors
 *
 * @param name Variable name
 * @param {LineInfo} line Source code line information (Used in error messages)
 *
 * @returns {IExpression} An expression
 */
export declare const GetVariable: (name: string, line?: LineInfo) => import("../misc/proxy").Proxied<Expression<any>>;
/**
 * Get contract storage.
 *
 * ```typescript
 * ContractStorage()
 * ```
 *
 * @category | Variable Accessors
 *
 * @returns {IExpression} An expression
 */
export declare const ContractStorage: () => import("../misc/proxy").Proxied<Expression<any>>;
/**
 * Get iterator value. (Only used inside for loops)
 *
 * ```typescript
 * Iterator("some_iterator")
 * ```
 *
 * @category | Variable Accessors
 *
 * @param name iterator name
 * @param {LineInfo} line Source code line information (Used in error messages)
 *
 * @returns {IExpression} An expression
 */
export declare const Iterator: (name: string, line?: LineInfo) => import("../misc/proxy").Proxied<Expression<any>>;
/**
 * Get entrypoint/view argument.
 *
 * ```typescript
 * MethodArgument()
 * ```
 *
 * @category | Variable Accessors
 *
 * @param {LineInfo} line Source code line information (Used in error messages)
 *
 * @returns {IExpression} An expression
 */
export declare const MethodArgument: (line?: LineInfo) => import("../misc/proxy").Proxied<Expression<any>>;
/**
 * Get lambda argument.
 *
 * ```typescript
 * LambdaArgument()
 * ```
 *
 * @category | Variable Accessors
 *
 * @param name The name of the argument
 * @param {LineInfo} line Source code line information (Used in error messages)
 *
 * @returns {IExpression} An expression
 */
export declare const LambdaArgument: (name?: string, argumentType?: import("../typings/type").IType<import("../core/enums/type").TypeAtom>, id?: number, line?: LineInfo) => import("../misc/proxy").Proxied<Expression<any>>;
/**
 * Get the argument of a variant match case.
 *
 * ```typescript
 * VariantCaseArgument("action_1")
 * ```
 *
 * @category | Variable Accessors
 *
 * @param name The name of the argument
 * @param {LineInfo} line Source code line information (Used in error messages)
 *
 * @returns {IExpression} An expression
 */
export declare const VariantCaseArgument: (name: string, line?: LineInfo) => import("../misc/proxy").Proxied<Expression<any>>;
/**
 * Get operations list from the stack or an empty list otherwise.
 *
 * ```typescript
 *  // Get operations list from the stack or an empty list otherwise.
 *  GetOperations();
 * ```
 *
 * @category | Variable Accessors
 *
 * @param {LineInfo} line Source code line information (Used in error messages)
 *
 * @returns {IExpression} An expression
 */
export declare const GetOperations: (line?: LineInfo) => Expression<MichelsonType.list>;