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<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