class generic_frama_c_visitor : Cil.visitor_behavior -> frama_c_visitor
Cil.visitor_behavior ->
frama_c_visitor
frama_c_inplace
frama_c_copy