Mappers (hax-engine.Hax_engine.Ast_utils.MakeWithNamePolicy.Mappers)

val regenerate_span_ids : 'a Visitors.map as 'a

val normalize_borrow_mut : 'a Visitors.map as 'a

val rename_generic_constraints : 'a Visitors.map as 'a

val drop_bodies : 'a Visitors.map as 'a

val replace_local_variables : 
  (Ast.local_ident, AST.expr, 'a) Hax_engine.Prelude.Map.t ->
  'b Visitors.map as 'b

val replace_local_variable : 
  Ast.local_ident ->
  AST.expr ->
  'a Visitors.map as 'a

val rename_local_idents : 
  (Ast.local_ident -> Ast.local_ident) ->
  'a Visitors.map as 'a

val rename_global_idents : 
  (visit_level -> Ast.global_ident -> Ast.global_ident) ->
  'a Visitors.map as 'a

val rename_concrete_idents : 
  (visit_level -> Concrete_ident.t -> Concrete_ident.t) ->
  'a Visitors.map as 'a

val rename_global_idents_item : 
  (visit_level -> Ast.global_ident -> Ast.global_ident) ->
  AST.item ->
  AST.item

val add_typ_ascription : 
  Hax_engine__Ast.Make(F).item ->
  Hax_engine__Ast.Make(F).item