Module Dpds_gui.DataScope

module DataScope: sig .. end

type t_in = Cil_types.lval 
val clear : unit -> unit
val help : string
val get_info : 'a -> string
val compute : Cil_types.kernel_function -> Cil_types.stmt -> Cil_types.lval -> string
val tag_stmt : Cil_datatype.Stmt.Hptset.elt -> string * [> `BACKGROUND of string ] list