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