module SCQueue: State_builder.Queue(Kernel_function)(sig val name : string val dependencies : State.t listend)
State_builder.Queue
(
Kernel_function
)
sig
val name : string
string
val dependencies : State.t list
State.t list
end
type elt
val add : elt -> unit
elt -> unit
val iter : (elt -> unit) -> unit
(elt -> unit) -> unit
val is_empty : unit -> bool
unit -> bool