import { Expression } from '../core/expression';
import { LineInfo } from '../misc/utils';
import { IExpression } from '../typings/expression';
import { MichelsonType } from '../core/enums/type';
/**
 * Concatenate a list with values of type `TString()` or `TBytes()`.
 *
 * ```typescript
 * Concat([ String("Hello"), String(" "), String("World") ]);
 * ```
 *
 * @category | Concatenation
 *
 * @param values
 * @param {LineInfo} line Source code line information (Used in error messages)
 *
 * @returns {IExpression} An expression.
 */
export declare const Concat: (list: IExpression<MichelsonType.list>, line?: LineInfo) => Expression<MichelsonType>;
/**
 * Slice a value of type `TBytes()` from offset for length characters.
 *
 * ```typescript
 * Slice(Bytes("0x0a1111"), Nat(1), Nat(2)); // 0x1111
 * ```
 *
 * @category | Slicing
 *
 * @param bytes
 * @param offset
 * @param length
 * @param {LineInfo} line Source code line information (Used in error messages)
 *
 * @returns {IExpression} An expression of type `TOption(TBytes())`.
 */
export declare const Slice: (bytes: IExpression<MichelsonType.string | MichelsonType.bytes>, offset: IExpression<MichelsonType.nat>, length: IExpression<MichelsonType.nat>, line?: LineInfo) => Expression<MichelsonType.option>;
/**
 * Obtain size of values with type `TString()`, `TBytes()`, `TList(...)`, `TSet(...)` and `TMap()`.
 *
 * ```typescript
 * SizeOf(String("Hello")); // Nat(5)
 * ```
 *
 * @category | Size
 *
 * @param value
 * @param {LineInfo} line Source code line information (Used in error messages)
 *
 * @returns {IExpression} An expression.
 */
export declare const SizeOf: (value: IExpression<MichelsonType.bytes | MichelsonType.string | MichelsonType.list | MichelsonType.set | MichelsonType.map>, line?: LineInfo) => import("../misc/proxy").Proxied<Expression<MichelsonType.nat>>;