Pqueue.S
type elt
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