Module type Bwd.PriorityNodeQueue

module type PriorityNodeQueue = sig .. end

type t 
val create : unit -> t
val pop : t -> Node.t
val push : Node.t -> t -> unit
val push_list : Node.t list -> t -> unit
val clear : t -> unit
val length : t -> int
val is_empty : t -> bool