import { Effect } from "effect";
import type { QuintError, QuintNotFoundError, RunOptions } from "../cli/quint.js";
import type { ActionMap, Config, Driver } from "../driver/types.js";
import type { ItfTrace } from "../itf/schema.js";
import { jsonReplacer, NoTracesError, StateMismatchError, TraceReplayError } from "./replay-errors.js";
import type { StateCheck } from "./state-check.js";
import { stripMetadata } from "./trace-state.js";
export { jsonReplacer, NoTracesError, StateMismatchError, stripMetadata, TraceReplayError };
export type { StateCheck } from "./state-check.js";
/** @internal */
export declare const replayTrace: <S, E, R, Actions extends ActionMap<E, R>>(trace: ItfTrace, traceIndex: number, driver: Driver<S, E, R, Actions>, config: Config, stateCheck: StateCheck<S> | undefined, seed: string) => Effect.Effect<void, E | StateMismatchError | TraceReplayError, R>;
export type QuintRunOptions<S, E, R, Actions extends ActionMap<E, R> = ActionMap<E, R>> = RunOptions & {
    readonly driverFactory: {
        readonly create: () => Effect.Effect<Driver<S, E, R, Actions>, E, R>;
    };
    readonly stateCheck?: StateCheck<S> | undefined;
    readonly concurrency?: number | undefined;
};
export declare const quintRun: <S, E, R, Actions extends ActionMap<E, R> = ActionMap<E, R>>(opts: QuintRunOptions<S, E, R, Actions>) => Effect.Effect<{
    readonly tracesReplayed: number;
    readonly seed: string;
}, E | QuintError | QuintNotFoundError | StateMismatchError | TraceReplayError | NoTracesError, R>;
//# sourceMappingURL=runner.d.ts.map