tuned: concise combinators instead of bulky case-expressions;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEee9785abbcd6: provide ML antiquotation "if_none": non-strict version of "the_default";
- Branches
- Unknown
- Tags