Update pqueue.ml