class frama_c_copy :Project.t ->
frama_c_visitor
Project.t
argument specifies in which project the
visitor creates the new values. (Technically, the method
fill_global_tables
is called inside this project.)
See File.init_project_from_visitor
and create_project_from_visitor
for possible uses.