@firfi/quint-connect/dist/itf/schema.d.ts

Model-based testing framework connecting Quint specifications to TypeScript implementations

import { Schema } from "effect";
export { ITFBigInt, ITFList, ITFMap, ITFSet, ITFTuple, ITFUnserializable, ITFVariant, UntypedTraceSchema } from "@firfi/itf-trace-parser/effect";
export type { ITFValueRaw } from "@firfi/itf-trace-parser";
export declare const ItfOption: <S extends Schema.Codec<unknown, unknown, never, unknown>>(inner: S) => Schema.decodeTo<Schema.UndefinedOr<Schema.toType<S>>, Schema.Codec<{
    readonly tag: "Some";
    readonly value: S["Type"];
} | {
    readonly tag: "None";
    readonly value: unknown;
}, {
    readonly tag: "Some";
    readonly value: S["Encoded"];
} | {
    readonly tag: "None";
    readonly value: unknown;
}, (S | Schema.Unknown)["DecodingServices"], (S | Schema.Unknown)["EncodingServices"]>, never, never>;
export declare const MbtMeta: Schema.Struct<{
    readonly "mbt::actionTaken": Schema.String;
    readonly "mbt::nondetPicks": Schema.$Record<Schema.String, Schema.Unknown>;
}>;
export type MbtMeta = typeof MbtMeta.Type;
export declare const ItfTrace: Schema.Struct<{
    readonly vars: Schema.$Array<Schema.String>;
    readonly states: Schema.$Array<Schema.$Record<Schema.String, Schema.Unknown>>;
    readonly "#meta": Schema.optional<Schema.Struct<{
        readonly format: Schema.optional<Schema.String>;
        readonly "format-description": Schema.optional<Schema.String>;
        readonly description: Schema.optional<Schema.String>;
    }>>;
    readonly params: Schema.optional<Schema.$Array<Schema.NonEmptyString>>;
    readonly loop: Schema.optional<Schema.Number>;
}>;
export type ItfTrace = typeof ItfTrace.Type;
//# sourceMappingURL=schema.d.ts.map