On Thu, Jun 30, 2011 at 1:34 PM, Andrew <[email protected]> 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 -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
