Skip to main content

deque_ty

Function deque_ty 

Source
pub fn deque_ty() -> Expr
Expand description

Deque α : Type 0 — double-ended queue.

Supports push/pop at both ends in amortized O(1).