let
translate_unions file =
let
visitor =
new
translateUnions
in
visitFramacFile visitor file