Closed yannbolliger closed 3 years ago
As discussed and to allow mutation of tuples in Rust in the future (which is impossible in Scala/Stainless), we extract tuples as ADTs that are synthesized on-demand at extraction.
As discussed and to allow mutation of tuples in Rust in the future (which is impossible in Scala/Stainless), we extract tuples as ADTs that are synthesized on-demand at extraction.