import type { AuthenticationProgramStateError, AuthenticationProgramStateStack } from '../../../lib.js';
export declare const op1Add: <State extends AuthenticationProgramStateError & AuthenticationProgramStateStack>(state: State) => State;
export declare const op1Sub: <State extends AuthenticationProgramStateError & AuthenticationProgramStateStack>(state: State) => State;
export declare const opNegate: <State extends AuthenticationProgramStateError & AuthenticationProgramStateStack>(state: State) => State;
export declare const opAbs: <State extends AuthenticationProgramStateError & AuthenticationProgramStateStack>(state: State) => State;
export declare const opNot: <State extends AuthenticationProgramStateError & AuthenticationProgramStateStack>(state: State) => State;
export declare const op0NotEqual: <State extends AuthenticationProgramStateError & AuthenticationProgramStateStack>(state: State) => State;
export declare const opAdd: <State extends AuthenticationProgramStateError & AuthenticationProgramStateStack>(state: State) => State;
export declare const opSub: <State extends AuthenticationProgramStateError & AuthenticationProgramStateStack>(state: State) => State;
export declare const opBoolAnd: <State extends AuthenticationProgramStateError & AuthenticationProgramStateStack>(state: State) => State;
export declare const opBoolOr: <State extends AuthenticationProgramStateError & AuthenticationProgramStateStack>(state: State) => State;
export declare const opNumEqual: <State extends AuthenticationProgramStateError & AuthenticationProgramStateStack>(state: State) => State;
export declare const opNumEqualVerify: <State extends AuthenticationProgramStateError & AuthenticationProgramStateStack>(state: State) => State;
export declare const opNumNotEqual: <State extends AuthenticationProgramStateError & AuthenticationProgramStateStack>(state: State) => State;
export declare const opLessThan: <State extends AuthenticationProgramStateError & AuthenticationProgramStateStack>(state: State) => State;
export declare const opLessThanOrEqual: <State extends AuthenticationProgramStateError & AuthenticationProgramStateStack>(state: State) => State;
export declare const opGreaterThan: <State extends AuthenticationProgramStateError & AuthenticationProgramStateStack>(state: State) => State;
export declare const opGreaterThanOrEqual: <State extends AuthenticationProgramStateError & AuthenticationProgramStateStack>(state: State) => State;
export declare const opMin: <State extends AuthenticationProgramStateError & AuthenticationProgramStateStack>(state: State) => State;
export declare const opMax: <State extends AuthenticationProgramStateError & AuthenticationProgramStateStack>(state: State) => State;
export declare const opWithin: <State extends AuthenticationProgramStateError & AuthenticationProgramStateStack>(state: State) => State;
export declare const opMul: <State extends AuthenticationProgramStateError & AuthenticationProgramStateStack>(state: State) => State;
export declare const opDiv: <State extends AuthenticationProgramStateError & AuthenticationProgramStateStack>(state: State) => State;
export declare const opMod: <State extends AuthenticationProgramStateError & AuthenticationProgramStateStack>(state: State) => State;
//# sourceMappingURL=arithmetic.d.ts.map