sig
  type elt
  val self : State.t
  val add : State_builder.Queue.elt -> unit
  val iter : (State_builder.Queue.elt -> unit) -> unit
  val is_empty : unit -> bool
end