import { Effect } from "effect";
import type { ItfTrace } from "../itf/schema.js";
import type { QuintNotFoundError } from "./errors.js";
import { QuintError } from "./errors.js";
import type { RunOptions } from "./run-options.js";
export { QuintError, QuintNotFoundError } from "./errors.js";
export type { RunOptions } from "./run-options.js";
export declare const generateTraces: (opts: RunOptions) => Effect.Effect<ReadonlyArray<ItfTrace>, QuintError | QuintNotFoundError>;
//# sourceMappingURL=quint.d.ts.map