@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.TaggedErrorClass<QuintError, "QuintError", {
    readonly _tag: Schema.tag<"QuintError">;
} & {
    message: typeof Schema.String;
    stderr: Schema.optional<typeof Schema.String>;
    exitCode: Schema.optional<typeof Schema.Number>;
}>;
export declare class QuintError extends QuintError_base {
}
declare const QuintNotFoundError_base: Schema.TaggedErrorClass<QuintNotFoundError, "QuintNotFoundError", {
    readonly _tag: Schema.tag<"QuintNotFoundError">;
} & {
    message: typeof Schema.String;
}>;
export declare class QuintNotFoundError extends QuintNotFoundError_base {
}
export {};
//# sourceMappingURL=errors.d.ts.map