Queue
module Data : Datatype.S
module _ : 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
Frama-C