@firfi/quint-connect/dist/cli/errors.d.ts

Model-based testing framework connecting Quint specifications to TypeScript implementations

import { Schema } from "effect";
declare const QuintError_base: Schema.Class<QuintError, Schema.TaggedStruct<"QuintError", {
    readonly message: Schema.String;
    readonly stderr: Schema.optional<Schema.String>;
    readonly exitCode: Schema.optional<Schema.Number>;
}>, import("effect/Cause").YieldableError>;
export declare class QuintError extends QuintError_base {
}
declare const QuintNotFoundError_base: Schema.Class<QuintNotFoundError, Schema.TaggedStruct<"QuintNotFoundError", {
    readonly message: Schema.String;
}>, import("effect/Cause").YieldableError>;
export declare class QuintNotFoundError extends QuintNotFoundError_base {
}
export {};
//# sourceMappingURL=errors.d.ts.map