avoid Scala if-expressions and thus make it work both for -new-syntax or -old-syntax;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rAFP40bffd87d285: added missing file; simplified proofs
- Branches
- Unknown
- Tags
avoid Scala if-expressions and thus make it work both for -new-syntax or -old… Tags None Subscribers None
Description
Details
|