@firfi/quint-connect/dist/runner/trace-state.d.ts

Model-based testing framework connecting Quint specifications to TypeScript implementations

export type TraceStateRecord = {
    readonly [key: string]: unknown;
};
/** @internal */
export declare const stripMetadata: (state: TraceStateRecord) => TraceStateRecord;
export declare const resolveNestedValue: (obj: TraceStateRecord, path: ReadonlyArray<string>) => unknown;
export declare const normalizeTraceState: (rawState: TraceStateRecord, statePath: ReadonlyArray<string>) => unknown;
//# sourceMappingURL=trace-state.d.ts.map