splay-tree.h   [plain text]