Module Dpds_gui.Pscope

module Pscope: sig .. end

type t_in = Cil_types.code_annotation 
module Pscope: Dpds_gui.Make_StmtSetState(sig
val name : string
end)
module Pscope_warn: State_builder.List_ref(Cil_datatype.Code_annotation)(sig
val name : string
val dependencies : State.t list
end)
val clear : unit -> unit
val help : string
val get_info : 'a -> string
val compute : Cil_types.kernel_function ->
Cil_types.stmt -> Cil_types.code_annotation -> string
val tag_stmt : Cil_datatype.Stmt.Hptset.elt -> string * [> `BACKGROUND of string ] list
val tag_annot : Cil_types.code_annotation -> string * [> `BACKGROUND of string ] list