RFC1951.Heap
type priority = int
type 'a queue =
| None
| Node of priority * 'a * 'a queue * 'a queue
val push : 'a queue -> priority -> 'a -> 'a queue
exception Empty
val remove : 'a queue -> 'a queue
val take : 'a queue -> priority * 'a * 'a queue