pub fn persistent_queue_ty() -> Expr
PersistentQueue α : Type 0 — persistent queue (Hood-Melville or banker).
PersistentQueue α : Type 0