class change_formals : Kernel_function.t -> Kernel_function.t -> object .. end
Kernel_function.t -> Kernel_function.t ->
object
end
Visitor.frama_c_inplace
method vlogic_var_use : Cil_types.logic_var -> Cil_types.logic_var Cil.visitAction
Cil_types.logic_var -> Cil_types.logic_var Cil.visitAction
method vvrbl : Cil_types.varinfo -> Cil_types.varinfo Cil.visitAction
Cil_types.varinfo -> Cil_types.varinfo Cil.visitAction