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