@firfi/quint-connect/dist/cli/trace-generation.d.ts

Model-based testing framework connecting Quint specifications to TypeScript implementations

import { Context, Layer } from "effect";
import type { Effect } from "effect";
import type { ItfTrace } from "../itf/schema.js";
import type { QuintError, QuintNotFoundError } from "./errors.js";
import type { TraceGenerationOptions } from "./run-options.js";
export interface TraceGenerationService {
    readonly generate: (opts: TraceGenerationOptions) => Effect.Effect<ReadonlyArray<ItfTrace>, QuintError | QuintNotFoundError>;
}
declare const TraceGeneration_base: Context.TagClass<TraceGeneration, "@firfi/quint-connect/TraceGeneration", TraceGenerationService>;
export declare class TraceGeneration extends TraceGeneration_base {
}
export declare const traceGenerationLayer: Layer.Layer<TraceGeneration, never, never>;
export {};
//# sourceMappingURL=trace-generation.d.ts.map