Pqueue.Make
module Ord : OrderedType
type elt = Ord.t
type t
val empty : t
val is_empty : t -> bool
val add : elt -> t -> t
val union : t -> t -> t
val find_min : t -> elt
val remove_min : t -> t