AltErgoLib.Uqueue
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.
Queue
Hashtbl
module type S = sig ... end
module Make (H : Stdlib.Hashtbl.HashedType) : S with type elt = H.t