module Visit: sig .. end
sig
end
val do_visit : ?prj:Project.t -> bool -> Visitor.frama_c_visitor
?prj:Project.t -> bool -> Visitor.frama_c_visitor