It apparently compiles, but it really shows me how much I can't trust the compiler without us removing any altogether. I wanted to go further and start getting types for JSON codecs and other states, but that's really outside the scope that I wanted for this which was to get some types in and remove jsverify in favor of fast-check.
It apparently compiles, but it really shows me how much I can't trust the compiler without us removing
any
altogether. I wanted to go further and start getting types for JSON codecs and other states, but that's really outside the scope that I wanted for this which was to get some types in and remove jsverify in favor of fast-check.