Does the F# library include a priority queue? Else can someone point to me an implementation of priority queue in F#?
There's an implementation of a binomial heap here which is a common data structure for implementing priority queues.