Functor Computation.Queue


module Queue: 
functor (Data : Project.Datatype.S) ->
functor (Info : Signature.NAME_DPDS) -> QUEUE with type elt = Data.t
Parameters:
Data : Project.Datatype.S
Info : Signature.NAME_DPDS

type elt 
val add : elt -> unit
val iter : (elt -> unit) -> unit
val is_empty : unit -> bool