Skip to main content

priority_queue_ty

oxilean_std::data_structures::functions

Function priority_queue_ty 

Source 
pub fn priority_queue_ty() -> Expr
Expand description

PriorityQueue α : Type 0 — priority queue (backed by heap).