F# priority queue

Question

Does the F# library include a priority queue? Else can someone point to me an implementation of priority queue in F#?

Answer 1

Take a look at http://lepensemoi.free.fr/index.php/tag/data-structure for a whole bunch of F# implementations of various data structures.