Module Dpds_gui.Pscope.Pscope_warn

module Pscope_warn: State_builder.List_ref(Cil_datatype.Code_annotation)(sig

val name : string
val dependencies : State.t list
end)

type data_in_list 

include State_builder.Ref

val add : data_in_list -> unit

val iter : (data_in_list -> unit) -> unit

val fold_left : ('a -> data_in_list -> 'a) -> 'a -> 'a