/**
 * Arrow Return Finalization — Statement & Block Walkers
 *
 * Recursive statement and block walkers for the arrow return finalization pass.
 * Processes module bodies, class members, and all statement kinds.
 */
import { IrModule, IrStatement, IrBlockStatement } from "../types.js";
/**
 * Result of arrow return finalization pass
 */
export type ArrowReturnFinalizationResult = {
    readonly ok: true;
    readonly modules: readonly IrModule[];
};
/**
 * Run arrow return finalization pass on modules
 */
export declare const runArrowReturnFinalizationPass: (modules: readonly IrModule[]) => ArrowReturnFinalizationResult;
/**
 * Process a statement, recursively handling nested expressions
 */
export declare const processStatement: (stmt: IrStatement) => IrStatement;
/**
 * Process a block statement
 */
export declare const processBlockStatement: (block: IrBlockStatement) => IrBlockStatement;
//# sourceMappingURL=arrow-return-statement-walk.d.ts.map