State_builder.Queue
module Data : Datatype.S
module Info : Info
type elt = Data.t
val self : State.t
val add : elt -> unit
val iter : ( elt -> unit ) -> unit
val fold : ( 'a -> elt -> 'a ) -> 'a -> 'a
val is_empty : unit -> bool
val length : unit -> int