We present the first learned index that supports predecessor, range queries and updates within provably efficient time and space bounds in the worst case. In the (static)...