import { Expression } from '../core/expression';
import { LineInfo } from '../misc/utils';
import { IExpression } from '../typings/expression';
/**
 * Boolean negation and bitwise complement.
 *
 * ```ts
 * Not(Bool(true)); // Bool(false)
 * ```
 *
 * @see https://tezos.gitlab.io/michelson-reference/#instr-NOT
 *
 * @param expression An expression that evaluates to either `TBool()`, `TInt()` or `TNat()`.
 * @param {LineInfo} line Source code line information (Used in error messages)
 *
 * @category | Unary
 *
 * @returns {IExpression} An expression
 */
export declare const Not: (expression: IExpression, line?: LineInfo) => Expression<import("../core/enums/type").MichelsonType>;
/**
 * Negate a numerical value.
 *
 * ```ts
 * Negate(Int(1)); // Int(-1)
 * ```
 *
 * @see https://tezos.gitlab.io/michelson-reference/#instr-NEG
 *
 * @param expression An expression that evaluates to either `TInt()`, `TNat()`, `TBls12_381_g2()`, `TBls12_381_g1()` or `TBls12_381_fr()`.
 * @param {LineInfo} line Source code line information (Used in error messages)
 *
 * @category | Unary
 *
 * @returns {IExpression} An expression
 */
export declare const Negate: (expression: IExpression, line?: LineInfo) => Expression<import("../core/enums/type").MichelsonType>;
export declare const Unary: {
    Not: (expression: IExpression, line?: LineInfo) => Expression<import("../core/enums/type").MichelsonType>;
    Negate: (expression: IExpression, line?: LineInfo) => Expression<import("../core/enums/type").MichelsonType>;
};