Module type Dpds_gui.DpdCmdSig

module type DpdCmdSig = sig .. end

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 -> t_in -> string
val tag_stmt : Cil_types.stmt -> string * GText.tag_property list
val clear : unit -> unit