package alt-ergo-lib

First-in first-out *unique* queues.

This module implements queues (FIFOs) without duplicates, with in-place modifications. Implemented as a wrapper around the Queue and Hashtbl (to ensure uniqueness) modules from the stdlib.