The submodule Queue is a replacement for OCaml's standard Queue module, where a queue is implemented as an ephemeral sequence. Elements are enqueued at the back end of the sequence and dequeued at the front end.
type 'a t = 'a E.tval create : 'a -> 'a tval add : 'a -> 'a t -> unitval push : 'a -> 'a t -> unitval take : 'a t -> 'aval take_opt : 'a t -> 'a optionval pop : 'a t -> 'aval peek : 'a t -> 'aval peek_opt : 'a t -> 'a optionval top : 'a t -> 'aval clear : 'a t -> unitval is_empty : 'a t -> boolval length : 'a t -> intval iter : ('a -> unit) -> 'a t -> unitval fold : ('a -> 'b -> 'a) -> 'a -> 'b t -> 'a