A priority queue written in OCaml