Class Make.map

constraint 'c map = 'c map
method visit_F__arbitrary_lhs : 'env -> F.arbitrary_lhs -> F.arbitrary_lhs
method visit_F__as_pattern : 'env0 -> F.as_pattern -> F.as_pattern
method visit_F__block : 'env1 -> F.block -> F.block
method visit_F__break : 'env2 -> F.break -> F.break
method visit_F__construct_base : 'env3 -> F.construct_base -> F.construct_base
method visit_F__continue : 'env4 -> F.continue -> F.continue
method visit_F__dyn : 'env5 -> F.dyn -> F.dyn
method visit_F__early_exit : 'env6 -> F.early_exit -> F.early_exit
method visit_F__for_index_loop : 'env7 -> F.for_index_loop -> F.for_index_loop
method visit_F__for_loop : 'env8 -> F.for_loop -> F.for_loop
method visit_F__lifetime : 'env9 -> F.lifetime -> F.lifetime
method visit_F__loop : 'env10 -> F.loop -> F.loop
method visit_F__macro : 'env11 -> F.macro -> F.macro
method visit_F__match_guard : 'env12 -> F.match_guard -> F.match_guard
method visit_F__monadic_action : 'env13 -> F.monadic_action -> F.monadic_action
method visit_F__monadic_binding : 'env14 -> F.monadic_binding -> F.monadic_binding
method visit_F__mutable_pointer : 'env15 -> F.mutable_pointer -> F.mutable_pointer
method visit_F__mutable_reference : 'env16 -> F.mutable_reference -> F.mutable_reference
method visit_F__mutable_variable : 'env17 -> F.mutable_variable -> F.mutable_variable
method visit_F__nontrivial_lhs : 'env18 -> F.nontrivial_lhs -> F.nontrivial_lhs
method visit_F__question_mark : 'env19 -> F.question_mark -> F.question_mark
method visit_F__raw_pointer : 'env20 -> F.raw_pointer -> F.raw_pointer
method visit_F__reference : 'env21 -> F.reference -> F.reference
method visit_F__slice : 'env22 -> F.slice -> F.slice
method visit_F__state_passing_loop : 'env23 -> F.state_passing_loop -> F.state_passing_loop
method visit_F__trait_item_default : 'env24 -> F.trait_item_default -> F.trait_item_default
method visit_F__unsafe : 'env25 -> F.unsafe -> F.unsafe
method visit_F__while_loop : 'env26 -> F.while_loop -> F.while_loop
method visit_Local_ident__t : 'env27 -> Hax_engine.Local_ident.t -> Hax_engine.Local_ident.t
method visit_attr : 'env28 -> Hax_engine.Ast.attr -> Hax_engine.Ast.attr
method visit_bool : 'env29 -> Base.bool -> Base.bool
method visit_char : 'env30 -> Base.char -> Base.char
method visit_concrete_ident : 'env31 -> Hax_engine.Ast.concrete_ident -> Hax_engine.Ast.concrete_ident
method visit_float_kind : 'env32 -> Hax_engine.Ast.float_kind -> Hax_engine.Ast.float_kind
method visit_global_ident : 'env33 -> Hax_engine.Ast.global_ident -> Hax_engine.Ast.global_ident
method visit_int_kind : 'env34 -> Hax_engine.Ast.int_kind -> Hax_engine.Ast.int_kind
method visit_local_ident : 'env35 -> Hax_engine.Ast.local_ident -> Hax_engine.Ast.local_ident
method visit_quote : 'env36 -> {quote}47 -> {quote}47
method visit_span : 'env37 -> Hax_engine.Ast.span -> Hax_engine.Ast.span
method visit_string : 'env38 -> Base.string -> Base.string
method visit_todo : 'env39 -> Hax_engine.Ast.todo -> Hax_engine.Ast.todo
method visit_prim___tuple_2 : 't0 't1. ('env40 -> 't0 -> 't0) -> ('env40 -> 't1 -> 't1) -> 'env40 -> ('t0 * 't1) -> 't0 * 't1
method visit_prim___tuple_3 : 't0 't1 't2. ('env41 -> 't0 -> 't0) -> ('env41 -> 't1 -> 't1) -> ('env41 -> 't2 -> 't2) -> 'env41 -> ('t0 * 't1 * 't2) -> 't0 * 't1 * 't2
method visit_prim___tuple_4 : 't0 't1 't2 't3. ('env42 -> 't0 -> 't0) -> ('env42 -> 't1 -> 't1) -> ('env42 -> 't2 -> 't2) -> ('env42 -> 't3 -> 't3) -> 'env42 -> ('t0 * 't1 * 't2 * 't3) -> 't0 * 't1 * 't2 * 't3
method visit_option : 'a. ('env43 -> 'a -> 'a) -> 'env43 -> 'a Base.option -> 'a Base.option
method visit_attrs : 'env44 -> Hax_engine.Ast.attrs -> Hax_engine.Ast.attrs
method visit_literal : 'env45 -> Hax_engine.Ast.literal -> Hax_engine.Ast.literal
method visit_mutability : 'mut_witness. ('env46 -> 'mut_witness -> 'mut_witness) -> 'env46 -> 'mut_witness Hax_engine.Ast.mutability -> 'mut_witness Hax_engine.Ast.mutability
method visit_safety_kind : 'env47 -> {safety_kind}1 -> {safety_kind}1
method visit_borrow_kind : 'env48 -> {borrow_kind}12 -> {borrow_kind}12
method visit_binding_mode : 'env49 -> {binding_mode}23 -> {binding_mode}23
method visit_ty : 'env50 -> {ty}34 -> {ty}34
method visit_generic_value : 'env51 -> {generic_value}35 -> {generic_value}35
method visit_impl_expr : 'env52 -> {impl_expr}36 -> {impl_expr}36
method visit_impl_expr_kind : 'env53 -> {impl_expr_kind}37 -> {impl_expr_kind}37
method visit_trait_goal : 'env54 -> {trait_goal}38 -> {trait_goal}38
method visit_dyn_trait_goal : 'env55 -> {dyn_trait_goal}39 -> {dyn_trait_goal}39
method visit_impl_ident : 'env56 -> {impl_ident}40 -> {impl_ident}40
method visit_projection_predicate : 'env57 -> {projection_predicate}41 -> {projection_predicate}41
method visit_pat' : 'env58 -> {pat'}42 -> {pat'}42
method visit_pat : 'env59 -> {pat}43 -> {pat}43
method visit_field_pat : 'env60 -> {field_pat}44 -> {field_pat}44
method visit_expr' : 'env61 -> {expr'}45 -> {expr'}45
method visit_expr : 'env62 -> {expr}46 -> {expr}46
method visit_supported_monads : 'env63 -> {supported_monads}48 -> {supported_monads}48
method visit_loop_kind : 'env64 -> {loop_kind}49 -> {loop_kind}49
method visit_loop_state : 'env65 -> {loop_state}50 -> {loop_state}50
method visit_lhs : 'env66 -> {lhs}51 -> {lhs}51
method visit_guard : 'env67 -> {guard}52 -> {guard}52
method visit_guard' : 'env68 -> {guard'}53 -> {guard'}53
method visit_arm' : 'env69 -> {arm'}54 -> {arm'}54
method visit_arm : 'env70 -> {arm}55 -> {arm}55
method visit_generic_param : 'env71 -> {generic_param}276 -> {generic_param}276
method visit_generic_param_kind : 'env72 -> {generic_param_kind}277 -> {generic_param_kind}277
method visit_generic_constraint : 'env73 -> {generic_constraint}278 -> {generic_constraint}278
method visit_param : 'env74 -> {param}309 -> {param}309
method visit_generics : 'env75 -> {generics}310 -> {generics}310
method visit_variant : 'env76 -> {variant}311 -> {variant}311
method visit_item' : 'env77 -> {item'}312 -> {item'}312
method visit_item : 'env78 -> {item}313 -> {item}313
method visit_impl_item' : 'env79 -> {impl_item'}314 -> {impl_item'}314
method visit_impl_item : 'env80 -> {impl_item}315 -> {impl_item}315
method visit_trait_item' : 'env81 -> {trait_item'}316 -> {trait_item'}316
method visit_trait_item : 'env82 -> {trait_item}317 -> {trait_item}317
method visit_modul : 'env83 -> {modul}408 -> {modul}408
method visit_list : 'a. ('env84 -> 'a -> 'a) -> 'env84 -> 'a Base.list -> 'a Base.list