FSchramka

Results 2 issues of FSchramka

This is currently not working with stainless: ``` something match { case A | B => FooBar(a,b) } ``` instead you have to write: ``` something match { case A...

feature

### Windows Build Number Microsoft Windows [Version 10.0.19043.1083] ### WSL Version - [X] WSL 2 - [ ] WSL 1 ### Kernel Version _No response_ ### Distro Version Ubuntu 20.04...