pub fn deque_ty() -> Expr
Deque α : Type 0 — double-ended queue.
Deque α : Type 0
Supports push/pop at both ends in amortized O(1).