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