@firfi/quint-connect/dist/cli/errors.js

Model-based testing framework connecting Quint specifications to TypeScript implementations

import { Schema } from "effect";
export class QuintError extends Schema.TaggedError()("QuintError", {
    message: Schema.String,
    stderr: Schema.optional(Schema.String),
    exitCode: Schema.optional(Schema.Number)
}) {
}
export class QuintNotFoundError extends Schema.TaggedError()("QuintNotFoundError", {
    message: Schema.String
}) {
}
//# sourceMappingURL=errors.js.map