import type { IExpression } from '../typings/expression';
import { LineInfo } from '../misc/utils';
import { MichelsonType } from '../core/enums/type';
/**
 * Open a variant
 *
 * ```typescript
 * OpenVariant(Left(Nat(1)), "Left", String("COULD NOT OPEN VARIANT"))
 * ```
 *
 * @category | Variant
 *
 * @param variant Variant expression
 * @param branch The branch name of the variant
 * @param errorMsg The value to be included in the error trace.
 * @param {LineInfo} line Source code line information (Used in error messages)
 *
 * @returns {IExpression} An expression
 */
export declare const OpenVariant: (variant: IExpression<MichelsonType.option | MichelsonType.or>, branch?: string, errorMsg?: IExpression<MichelsonType> | undefined, line?: LineInfo) => IExpression<any>;
/**
 * Unwrap a option value
 *
 * ```typescript
 * GetSome(Some(Nat(1)), String("COULD NOT UNWRAP OPTION"))
 * ```
 *
 * @category | Variant
 *
 * @param variant Variant expression
 * @param errorMsg The value to be included in the error trace.
 * @param {LineInfo} line Source code line information (Used in error messages)
 *
 * @returns {IExpression} An expression
 */
export declare const GetSome: (variant: IExpression<MichelsonType.option>, errorMsg?: IExpression<MichelsonType> | undefined, line?: LineInfo) => IExpression<any>;
/**
 * Checks if option variant is Some.
 *
 * ```typescript
 * isSome(Some(Nat(1)))
 * ```
 *
 * @category | Variant
 *
 * @param variant Option expression
 * @param {LineInfo} line Source code line information (Used in error messages)
 *
 * @returns {IExpression} An expression of type bool.
 */
export declare const isSome: (variant: IExpression<MichelsonType.option>, line?: LineInfo) => IExpression<MichelsonType.bool>;
/**
 * Checks if option variant is None.
 *
 * ```typescript
 * isNone(None())
 * ```
 *
 * @category | Variant
 *
 * @param variant Option expression
 * @param {LineInfo} line Source code line information (Used in error messages)
 *
 * @returns {IExpression} An expression of type bool.
 */
export declare const isNone: (variant: IExpression<MichelsonType.option>, line?: LineInfo) => IExpression<MichelsonType.bool>;
/**
 * Check if a variant literal matches a given branch.
 *
 * ```typescript
 * IsVariant(Left(Nat(1)), "Left") // true
 * IsVariant(Right(Nat(1)), "Left") // false
 * ```
 *
 * @category | Variant
 *
 * @param variant Variant expression
 * @param branch The branch name of the variant
 * @param {LineInfo} line Source code line information (Used in error messages)
 *
 * @returns {IExpression} An expression
 */
export declare const IsVariant: (variant: IExpression<MichelsonType.option | MichelsonType.or>, branch: string, line?: LineInfo) => IExpression<MichelsonType.bool>;
declare const Variant: {
    OpenVariant: (variant: IExpression<MichelsonType.option | MichelsonType.or>, branch?: string, errorMsg?: IExpression<MichelsonType> | undefined, line?: LineInfo) => IExpression<any>;
    IsVariant: (variant: IExpression<MichelsonType.option | MichelsonType.or>, branch: string, line?: LineInfo) => IExpression<MichelsonType.bool>;
    GetSome: (variant: IExpression<MichelsonType.option>, errorMsg?: IExpression<MichelsonType> | undefined, line?: LineInfo) => IExpression<any>;
};
export default Variant;