sig type elt val add : Computation.QUEUE.elt -> unit val iter : (Computation.QUEUE.elt -> unit) -> unit val is_empty : unit -> bool end