Class File.check_file


class check_file : string -> Visitor.frama_c_visitor