tuned, centralizing case distinction at one place at the cost of modest duplication
Description
Description
Details
Details
- Provenance
florian.haftmann Authored on - Parents
- rISABELLE45641af13418: clarified formatting, for the sake of scala3;
- Branches
- Unknown
- Tags