Wojciech Meyer wrote:This is not an actual priority queue though: it doesn't allow for multiple copies of the same element to be added :/
> Yes it does:
>
> http://caml.inria.fr/pub/docs/manual-ocaml/libref/Set.Make.html
>
> Please see min_elt function.
>