module Pscope: sig
.. end
type
t_in = Cil_types.code_annotation
module Pscope: Dpds_gui.Make_StmtSetState
(
sig
end
)
module Pscope_warn: State_builder.List_ref
(
Cil_datatype.Code_annotation
)
(
sig
val name : string
val dependencies : State.t list
end
)
val clear : unit -> unit
val help : string
val get_info : 'a -> string
val compute : Cil_types.kernel_function ->
Cil_types.stmt -> Cil_types.code_annotation -> string
val tag_stmt : Cil_datatype.Stmt.Hptset.elt -> string * [> `BACKGROUND of string ] list
val tag_annot : Cil_types.code_annotation -> string * [> `BACKGROUND of string ] list