class renameEntities :Inherits(Cil_types.varinfo -> unit) -> (Cil_types.logic_var -> unit) ->
object
..end
method vfunc : Cil_types.fundec -> Cil_types.fundec Cil.visitAction
method vglob_aux : Cil_types.global -> Cil_types.global list Cil.visitAction
method vlogic_var_decl : Cil_types.logic_var -> Cil_types.logic_var Cil.visitAction
method vlogic_var_use : Cil_types.logic_var -> Cil_types.logic_var Cil.visitAction