tds.ts

ayatkevich

esm

**TDS (Test-Driven State)** is a TypeScript library that allows you to model programs as a union of individual traces. It's based on the idea that every program can be hypothetically devised from such traces, facilitating state transitions and verificatio