import { Effect, Schema } from "effect"; import type { ActionMap } from "../driver/types.js"; import type { ReplayStepContext, TraceReplayError } from "./replay-errors.js"; import type { TraceStateRecord } from "./trace-state.js"; interface ReplayAction { readonly action: string; readonly nondetPicks: ReadonlyMap; } export declare const extractReplayAction: (state: TraceStateRecord, nondetPath: ReadonlyArray, context: ReplayStepContext) => Effect.Effect; export declare const buildPicksDecoder: (picksShape: Schema.Struct>>>) => (rawPicks: unknown) => Effect.Effect<{}, import("effect/ParseResult").ParseError, never>; export type PicksDecoder = ReturnType; export declare const buildPicksDecoders: (actions: ActionMap) => ReadonlyMap; export {}; //# sourceMappingURL=replay-actions.d.ts.map