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