Module Private.Removable_queueSource

Sourcetype 'a t

Like a queue, but allows O(1) removal at any position

Sourcetype 'a node
Sourceval remove : _ node -> unit
Sourceval is_empty : _ t -> bool
Sourceval create : unit -> 'a t
Sourceval push : 'a t -> 'a -> 'a node
Sourceval pop : 'a t -> 'a option