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