Vocabulary
persistent.deques

Class description
This is the class of persistent (functional) double-ended queues. All deque operations can be done in O(1) amortized time for single-threaded access while maintaining the old version. For more information, see Persistent deques.

Definition