/**
 * Numeric Proof Walk — Expression processing
 *
 * Handles walking IR expressions to attach numeric proofs.
 * This module processes all expression kinds, proving numeric narrowings
 * and annotating expressions with their proven types.
 *
 * CRITICAL: If this pass emits ANY errors, the emitter MUST NOT run.
 */
import { IrExpression } from "../types.js";
import { type ProofContext } from "./numeric-proof-analysis.js";
import type { StatementProcessor } from "./numeric-proof-statement-walk.js";
/**
 * Process an expression, proving numeric narrowings and returning
 * the expression with proofs attached.
 */
export declare const processExpression: (expr: IrExpression, ctx: ProofContext, processStmt: StatementProcessor) => IrExpression;
//# sourceMappingURL=numeric-proof-expression-walk.d.ts.map