Class Vaddr.address_taken_var


class address_taken_var : object .. end
Inherits
method vexpr : Cil_types.exp -> Cil_types.exp Cil.visitAction
method vterm : Cil_types.term -> Cil_types.term Cil.visitAction