New implementation of index trees. Smaller, slightly faster, simpler.
Authored by: dwarren 2018-04-16
Parent: [r9249]
Child: [r9251]
