@firfi/quint-connect
Version:
Model-based testing framework connecting Quint specifications to TypeScript implementations
8 lines • 622 B
TypeScript
import { Effect } from "effect";
import type { ActionMap } from "../driver/types.js";
import type { PicksDecoder } from "./replay-actions.js";
import type { ReplayActionContext, TraceReplayError } from "./replay-errors.js";
type DispatchReplayResult = "dispatched" | "skipped";
export declare const dispatchReplayAction: <E, R>(actions: ActionMap<E, R>, action: string, nondetPicks: ReadonlyMap<string, unknown>, context: ReplayActionContext, picksDecoders: ReadonlyMap<string, PicksDecoder> | undefined) => Effect.Effect<DispatchReplayResult, TraceReplayError, R>;
export {};
//# sourceMappingURL=replay-dispatch.d.ts.map