Class Visitor.frama_c_copy


class frama_c_copy : Project.t -> frama_c_visitor
Copying visitor