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: Computation.Ref(sig
include struct ... end
val default : unit -> 'a list
end)(sig
val name : string
val dependencies : Project.Computation.t list
end)
val clear : unit -> unit
val help : string
val get_info : 'a -> string
val compute : Db_types.kernel_function ->
Cil_types.stmt -> Cil_types.code_annotation -> string
val tag_stmt : Cilutil.StmtSet.elt -> string * [> `BACKGROUND of string ] list
val tag_annot : Cil_types.code_annotation -> string * [> `BACKGROUND of string ] list