On Thu, Jun 30, 2011 at 1:34 PM, Andrew <newsgroups.fr@gmail.com> wrote:
Wojciech Meyer wrote:

> Yes it does:
>
> http://caml.inria.fr/pub/docs/manual-ocaml/libref/Set.Make.html
>
> Please see min_elt function.
>

This is not an actual priority queue though: it doesn't allow for multiple copies of the same element to be added :/

Yes but you could simulate it with a list and map.

Cheers;
Wojciech