import { SymbolicStackSlot } from './symbolicStack';
/**
 * Opcode metadata including stack effects
 */
type OpcodeInfo = {
    name: string;
    in: number;
    out: number;
};
/**
 * Retrieves opcode metadata (stack effects) from opcode name
 *
 * @param opcodeName - Name of the opcode (e.g., 'ADD', 'PUSH1', 'DUP1')
 * @returns Opcode information including pops and pushes
 */
export declare function getOpcodeInfo(opcodeName: string): OpcodeInfo;
/**
 * Updates the symbolic stack based on an opcode execution
 * Main entry point for stack manipulation
 *
 * @param previousStack - Symbolic stack state before this step
 * @param opcode - Opcode being executed
 * @param step - Current VM trace step index
 * @returns Updated symbolic stack after opcode execution
 */
export declare function updateSymbolicStack(previousStack: SymbolicStackSlot[], opcode: string, step: number): SymbolicStackSlot[];
export {};