3 ms·
Those are not really the same. Those are N=32 finger trees which have extra benefits (quick slices, for example, quicker insertions).
by bjoli 6mo ago
Those are not really the same. Those are N=32 finger trees which have extra benefits (quick slices, for example, quicker insertions).