module Pscope: sig
.. end
type
t_in = Cil_types.code_annotation
module Pscope: Dpds_gui.Make_StmtSetState
(
sig
end
)
module Pscope_warn: Computation.Ref
(
sig
include struct ... end
val default : unit -> 'a list
end
)
(
sig
end
)
val clear : unit -> unit
val help : string
val get_info : 'a -> string
val compute : Db_types.kernel_function ->
Cil_types.stmt -> Cil_types.code_annotation -> string
val tag_stmt : Cilutil.StmtSet.elt -> string * [> `BACKGROUND of string ] list
val tag_annot : Cil_types.code_annotation -> string * [> `BACKGROUND of string ] list