|
|
|
|
|
|
by fc417fc802
169 days 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. |
|
|