import { LineInfo } from '../misc/utils';
import { IExpression } from '../typings/expression';
import { Expression } from '../core/expression';
import { MichelsonType } from '../core/enums/type';
/**
 * Checks if two expressions resolve to equal values
 *
 * ```typescript
 * Equal(Nat(1), Nat(1)); // Bool(true)
 * ```
 *
 * @category Equality
 *
 * @param left An expression
 * @param right An expression
 * @param {LineInfo} line Source code line information (Used in error messages)
 *
 * @returns {IExpression} An expression
 */
export declare const Equal: (left: IExpression, right: IExpression, line?: LineInfo) => Expression<MichelsonType.bool>;
/**
 * Checks if two expressions resolve to a different values
 *
 * ```typescript
 * NotEqual(Nat(1), Nat(1)); // Bool(false)
 * ```
 *
 * @category Equality
 *
 * @param left An expression
 * @param right An expression
 * @param {LineInfo} line Source code line information (Used in error messages)
 *
 * @returns {IExpression} An expression
 */
export declare const NotEqual: (left: IExpression, right: IExpression, line?: LineInfo) => Expression<MichelsonType.bool>;
export declare const Equality: {
    Equal: (left: IExpression, right: IExpression, line?: LineInfo) => Expression<MichelsonType.bool>;
    NotEqual: (left: IExpression, right: IExpression, line?: LineInfo) => Expression<MichelsonType.bool>;
};