@firfi/quint-connect/dist/zod.d.ts

Model-based testing framework connecting Quint specifications to TypeScript implementations

export { ITFBigInt, ITFMap, ITFSet, TraceCodec } from "@firfi/itf-trace-parser/zod";
//# sourceMappingURL=zod.d.ts.map