performanc tuning: avoid exception overhead, potentially relevant for Sorts.class_less;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEb761c91c2447: performance tuning: prefer functor Set() over Table();
- Branches
- Unknown
- Tags