Module queue

Source
Expand description

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.