An implementation of a balanced 2,3-tree that allows accessing next/previous elements in O(1) at all times.