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