class generic_frama_c_visitor : Visitor_behavior.t -> frama_c_visitor
Visitor_behavior.t ->
frama_c_visitor
frama_c_inplace
frama_c_copy