class frama_c_copy :Project.t ->frama_c_visitor
Copying visitor. The 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.