import { LineInfo } from '../misc/utils';
import { IExpression } from '../typings/expression';
import { Expression } from '../core/expression';
import { MichelsonType } from '../core/enums/type';
/**
 * Boolean OR. (The result is true if at least one of the expressions is true)
 *
 * ```typescript
 * Or(Bool(true), Bool(false)); // Bool(true)
 * ```
 *
 * @category Logic
 *
 * @param left Boolean expression
 * @param right Boolean expression
 * @param {LineInfo} line Source code line information (Used in error messages)
 *
 * @returns {IExpression} An expression
 */
export declare const Or: <T extends MichelsonType.nat | MichelsonType.bool>(left: IExpression<T>, right: IExpression<T>, line?: LineInfo) => Expression<T>;
/**
 * Boolean AND. (The result is true only if both expressions are true)
 *
 * ```typescript
 * And(Bool(true), Bool(false)); // Bool(false)
 * ```
 *
 * @category Logic
 *
 * @param left Boolean expression
 * @param right Boolean expression
 * @param {LineInfo} line Source code line information (Used in error messages)
 *
 * @returns {IExpression} An expression
 */
export declare const And: <T extends MichelsonType.nat | MichelsonType.int | MichelsonType.bool>(left: IExpression<T>, right: IExpression<T>, line?: LineInfo) => Expression<MichelsonType.nat | MichelsonType.bool>;
/**
 * Boolean XOR.
 *
 * ```typescript
 * Xor(Bool(true), Bool(false)); // Bool(true)
 * ```
 *
 * @category Logic
 *
 * @param left Boolean expression
 * @param right Boolean expression
 * @param {LineInfo} line Source code line information (Used in error messages)
 *
 * @returns {IExpression} An expression
 */
export declare const Xor: <T extends MichelsonType.nat | MichelsonType.bool>(left: IExpression<T>, right: IExpression<T>, line?: LineInfo) => Expression<T>;