module Unset_orig:Unset
Unset_orig.ast_element vis e
with e
of type ast_element
removes the
original representative of e
in the ast_element
table of vis
. For
example, for Cil_types.varinfo
: Unset_orig.varinfo vis vi
.
Since 20.0-Calcium
val varinfo : Visitor_behavior.t -> Cil_types.varinfo -> unit
val compinfo : Visitor_behavior.t -> Cil_types.compinfo -> unit
val enuminfo : Visitor_behavior.t -> Cil_types.enuminfo -> unit
val enumitem : Visitor_behavior.t -> Cil_types.enumitem -> unit
val typeinfo : Visitor_behavior.t -> Cil_types.typeinfo -> unit
val stmt : Visitor_behavior.t -> Cil_types.stmt -> unit
val logic_info : Visitor_behavior.t -> Cil_types.logic_info -> unit
val logic_type_info : Visitor_behavior.t -> Cil_types.logic_type_info -> unit
val fieldinfo : Visitor_behavior.t -> Cil_types.fieldinfo -> unit
val model_info : Visitor_behavior.t -> Cil_types.model_info -> unit
val logic_var : Visitor_behavior.t -> Cil_types.logic_var -> unit
val kernel_function : Visitor_behavior.t -> Cil_types.kernel_function -> unit
val fundec : Visitor_behavior.t -> Cil_types.fundec -> unit