pub fn real_time_queue_ty() -> Expr
RealTimeQueue α : Type 0 — Hood-Melville real-time O(1) worst-case queue.
RealTimeQueue α : Type 0