class change_var : Cil_datatype.Logic_var.t -> Cil_types.logic_var -> object .. end
Cil_datatype.Logic_var.t -> Cil_types.logic_var ->
object
end
Visitor.frama_c_copy
method vlogic_var_use : Cil_datatype.Logic_var.t -> Cil_types.logic_var Cil.visitAction
Cil_datatype.Logic_var.t -> Cil_types.logic_var Cil.visitAction