import { Effect } from "effect";
import { QuintError } from "./errors.js";
import type { RunOptions } from "./run-options.js";
interface PatchedCompiledInput {
    readonly input: string;
    readonly seedHex: string;
}
interface CompiledEvaluatorInput {
    readonly source: string;
    readonly runtime: {
        readonly nruns?: number | undefined;
        readonly nsteps?: number | undefined;
        readonly ntraces?: number | undefined;
        readonly nthreads?: number | undefined;
    };
}
export declare const decodeCompiledEvaluatorInput: (input: unknown) => Effect.Effect<CompiledEvaluatorInput, QuintError>;
export declare const makeRandomSeedHex: () => string;
export declare const patchCompiledEvaluatorInput: (compiledInput: CompiledEvaluatorInput, opts: RunOptions, cpuCount: number, randomSeedHex: string) => PatchedCompiledInput;
export {};
//# sourceMappingURL=compiled-evaluator-input.d.ts.map