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

IN: persistent.deques

TUPLE: deque { front read-only } { back read-only } ;