package rfc1951

  1. Overview
  2. Docs
type priority = int
type 'a queue =
  1. | None
  2. | Node of priority * 'a * 'a queue * 'a queue
val push : 'a queue -> priority -> 'b -> 'c queue
exception Empty
val remove : 'a queue -> 'b queue
val take : 'a queue -> priority * 'b * 'c queue