Does the F# library include a priority queue? Else can someone point to me an implementation of priority queue in F#?
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.