3 ms·
As long as the verifier can be satisfied by wrapping the different results in a common type you should be fine. There has to be some way to appease it in that s
by fc417fc802 10mo ago
As long as the verifier can be satisfied by wrapping the different results in a common type you should be fine. There has to be some way to appease it in that scenario as otherwise even trivial programs wouldn't be able to pass.