Module Dpds_gui.ShowDef

module ShowDef: 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.Map.key -> string * [> `BACKGROUND of string ] list