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