Fully persistent data structure