import { MichelsonType } from '../core/enums/type';
import { Expression } from '../core/expression';
import { LineInfo } from '../misc/utils';
import { IExpression } from '../typings/expression';
/**
 * Creates a ticket with some content and an amount.
 * For a ticket with content of type `t`, the return type will be `TTicket(t)`.
 *
 * ```typescript
 * CreateTicket(String("TEST"), Nat(10));
 * ```
 *
 * @category | Ticket
 *
 * @param content The content to be wrapped in the ticket.
 * @param amount The ticket amount.
 * @param {LineInfo} line Source code line information (Used in error messages)
 *
 * @returns {IExpression} A value of type `ticket`.
 */
export declare const CreateTicket: (content: IExpression<any>, amount: IExpression<MichelsonType.nat>, line?: LineInfo) => Expression<MichelsonType>;
/**
 * Retrieve the information stored in a ticket. Also return the ticket.
 *
 * ```typescript
 * ReadTicket(some_ticket);
 * ```
 *
 * @category | Ticket
 *
 * @param ticket The ticket to be read.
 * @param {LineInfo} line Source code line information (Used in error messages)
 *
 * @returns {IExpression} A value of type `TPair(TPair(TAddress(), t, TNat()), TTicket(t))`.
 */
export declare const ReadTicket: (ticket: IExpression<MichelsonType.ticket>, line?: LineInfo) => Expression<MichelsonType>;
/**
 * Splits a ticket in two.
 *
 * ```typescript
 * SplitTicket(some_ticket, Nat(1), Nat(1));
 * ```
 *
 * @category | Ticket
 *
 * @param ticket The ticket to be split.
 * @param qty1 The quantity that the first new ticket will have.
 * @param qty2 The quantity that the second new ticket will have.
 * @param {LineInfo} line Source code line information (Used in error messages)
 *
 * @returns {IExpression} A value of type `TOption(TPair(TTicket(t), TTicket(t)))`.
 */
export declare const SplitTicket: (ticket: IExpression<MichelsonType.ticket>, qty1: IExpression<MichelsonType.nat>, qty2: IExpression<MichelsonType.nat>, line?: LineInfo) => Expression<MichelsonType>;
/**
 * Join two tickets into one.
 *
 * ```typescript
 * JoinTicket(some_ticket, some_other_ticket);
 * ```
 *
 * @category | Ticket
 *
 * @param ticket A ticket to be merged.
 * @param ticket Another ticket to be merged.
 * @param {LineInfo} line Source code line information (Used in error messages)
 *
 * @returns {IExpression} A value of type `TTicket(t)`.
 */
export declare const JoinTicket: (ticket1: IExpression<MichelsonType.ticket>, ticket2: IExpression<MichelsonType.ticket>, line?: LineInfo) => Expression<MichelsonType>;