module ShowDef:sig
..end
typet_in =
Cil_types.lval
val clear : unit -> unit
val help : string
val get_info : 'a -> string
val compute : Cil_types.kernel_function ->
Cil_datatype.Stmt.t -> Cil_datatype.Lval.t -> string
val tag_stmt : Cil_datatype.Stmt.Map.key -> string * [> `BACKGROUND of string ] list