class rewriteVoidPointer : object .. end
object
end
Visitor.generic_frama_c_visitor
method vtype : Cil_types.typ -> Cil_types.typ Cil.visitAction
Cil_types.typ -> Cil_types.typ Cil.visitAction