Priority search queues for OCaml
