/**
 * Shared helpers for Declaration-Based Numeric Intent Recovery tests.
 */
import { runNumericProofPass } from "../../../../index.js";
import { IrModule, IrExpression, IrMemberExpression } from "../../../types.js";
/**
 * Helper to compile TypeScript code with globals and extract IR
 */
export declare const compileWithTypeRoots: (code: string, typeRoots: readonly string[], surface?: string) => {
    modules: readonly IrModule[];
    ok: boolean;
    error?: string;
};
export declare const compileWithGlobals: (code: string) => {
    modules: readonly IrModule[];
    ok: boolean;
    error?: string;
};
export declare const compileWithJsSurface: (code: string) => {
    modules: readonly IrModule[];
    ok: boolean;
    error?: string;
};
/**
 * Helper to find an expression in the IR by predicate
 */
export declare const findExpression: (modules: readonly IrModule[], predicate: (expr: IrExpression) => boolean) => IrExpression | undefined;
export declare const unwrapTransparentExpression: (expr: IrExpression) => IrExpression;
export { runNumericProofPass };
export type { IrMemberExpression };
//# sourceMappingURL=test-helpers.d.ts.map