sig   type t_in   val help : string   val get_info : (Kernel_function.t * Cil_types.stmt) option -> string   val compute :     Kernel_function.t -> Cil_types.stmt -> Dpds_gui.DpdCmdSig.t_in -> string   val tag_stmt : Cil_types.stmt -> string * GText.tag_property list   val clear : unit -> unit end