let
retype_type_tags file =
let
visitor =
new
retypeTypeTags
in
visitFramacFile visitor file