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_types.stmt -> Cil_types.lval -> string
val tag_stmt : Cil_datatype.Stmt.Map.key -> string * [> `BACKGROUND of string ] list