@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: <A, I, R>(inner: Schema.Schema<A, I, R>) => Schema.transform<Schema.Schema<{
    readonly tag: "Some";
    readonly value: A;
} | {
    readonly tag: "None";
    readonly value: unknown;
}, {
    readonly tag: "Some";
    readonly value: I;
} | {
    readonly tag: "None";
    readonly value: unknown;
}, R>, Schema.UndefinedOr<Schema.SchemaClass<A, A, never>>>;
export declare const MbtMeta: Schema.Struct<{
    "mbt::actionTaken": typeof Schema.String;
    "mbt::nondetPicks": Schema.Record$<typeof Schema.String, typeof Schema.Unknown>;
}>;
export type MbtMeta = typeof MbtMeta.Type;
export declare const ItfTrace: Schema.Struct<{
    vars: Schema.Array$<typeof Schema.String>;
    states: Schema.Array$<Schema.Record$<typeof Schema.String, typeof Schema.Unknown>>;
    "#meta": Schema.optional<Schema.Struct<{
        format: Schema.optional<typeof Schema.String>;
        "format-description": Schema.optional<typeof Schema.String>;
        description: Schema.optional<typeof Schema.String>;
    }>>;
    params: Schema.optional<Schema.Array$<typeof Schema.NonEmptyString>>;
    loop: Schema.optional<Schema.filter<Schema.filter<typeof Schema.Number>>>;
}>;
export type ItfTrace = typeof ItfTrace.Type;
//# sourceMappingURL=schema.d.ts.map