Class Aorai_visitors.change_formals

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