Module queue

This module implements oblivious queues

Structs

ShortQueue

Implements a queue with a fixed maximum size. The queue access pattern and size are oblivious.

ShortQueueElement

An element in a short queue. See ShortQueue for more details.