Module Visit

module Visit: sig .. end

val do_visit : ?prj:Project.t -> bool -> Visitor.frama_c_visitor