theorem
Theorem 11.1
Kaplan–Tarjan [6, Theorem 5.1, p. 592]
Theorem 11.1 (Kaplan–Tarjan [6, Theorem 5.1, p. 592]). There is a purely functional regular catenable steque whose push, pop, inject, and catenation operations take worst-case constant time and preserve the representation.