more compact data: approx. 0.85 .. 1.10 of plain list size;
fewer comparisons for Leaf2 / Leaf3: observe order;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE2225d3267f58: slightly more compact data;
- Branches
- Unknown
- Tags