Module Dpds_gui.Zones

module Zones: sig .. end

type t_in = Cil_types.lval 
val clear : unit -> unit
val help : string
val get_info : ('a * Cil_types.stmt) option -> string
val compute : Cil_types.kernel_function -> Cil_types.stmt -> Cil_types.lval -> string
val tag_stmt : Cil_datatype.Stmt.Hptset.elt -> string * [> `BACKGROUND of string ] list