include sig ... end
val sexp_of_t : ('a ‑> Sexplib.Sexp.t) ‑> 'a t ‑> Sexplib.Sexp.t
val invariant : 'a priority_queue ‑> 'a Core_kernel__.Import.Invariant.t ‑> 'a t Core_kernel__.Import.Invariant.t
val key : 'a priority_queue ‑> 'a t ‑> Key.t
val value : 'a priority_queue ‑> 'a t ‑> 'a