U.Mappers
val rename_global_idents_item : (Hax_engine.Ast_utils.visit_level -> Hax_engine.Ast.global_ident -> Hax_engine.Ast.global_ident) -> AST.item -> AST.item