let
retype_fields file =
let
visitor =
new
retypeFields
in
visitFramacFile visitor file