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.
With F# you can use any .NET library so if you are ok with using an implementation which is not written in F# I Wintellect Power Collection Library.