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

There's an implementation of a binomial heap here which is a common data structure for implementing priority queues.