Modules

A functional priority queue based on skew binomial trees