package alt-ergo-lib

The type of elements in the unique queue.

The type of unique queues with elt elements.

Create a new empty unique queue. The int parameter is passed to the backing Hashtbl used to ensure uniqueness.

push q x adds x at the end of the queue q. Does nothing if x is already present in the queue.

Raised when pop or peek are applied to an empty queue.

pop q removes and returns the first element in queue q, or raises Empty if the queue is empty.

• raises Empty

  if the queue is empty.

peek q returns the first element in queue q without removing it, or raises Empty if the queue is empty.

• raises Empty

  if the queue is empty.

Returns true if the queue is empty, false otherwise.

Discard all elements from the queue.