method visit_F__block : 'env1 -> F.block -> 'acc1
method visit_F__break : 'env2 -> F.break -> 'acc2
method visit_F__continue : 'env4 -> F.continue -> 'acc4
method visit_F__dyn : 'env5 -> F.dyn -> 'acc5
method visit_F__for_loop : 'env8 -> F.for_loop -> 'acc8
method visit_F__lifetime : 'env9 -> F.lifetime -> 'acc9
method visit_F__loop : 'env10 -> F.loop -> 'acc10
method visit_F__macro : 'env11 -> F.macro -> 'acc11
method visit_F__reference : 'env21 -> F.reference -> 'acc21
method visit_F__slice : 'env22 -> F.slice -> 'acc22
method visit_F__unsafe : 'env25 -> F.unsafe -> 'acc25
method visit_F__while_loop : 'env26 -> F.while_loop -> 'acc26
method visit_bool : 'env29 -> Base.bool -> 'acc29
method visit_char : 'env30 -> Base.char -> 'acc30
method visit_quote : 'env36 -> {quote}47 -> 'acc36
method visit_string : 'env38 -> Base.string -> 'acc38
method visit_prim___tuple_2 : 't0 't1. ('env40 -> 't0 -> 'acc40) ->
('env40 -> 't1 -> 'acc40) ->
'env40 ->
('t0 * 't1) ->
'acc40
method visit_prim___tuple_3 : 't0 't1 't2. ('env41 -> 't0 -> 'acc41) ->
('env41 -> 't1 -> 'acc41) ->
('env41 -> 't2 -> 'acc41) ->
'env41 ->
('t0 * 't1 * 't2) ->
'acc41
method visit_prim___tuple_4 : 't0 't1 't2 't3. ('env42 -> 't0 -> 'acc42) ->
('env42 -> 't1 -> 'acc42) ->
('env42 -> 't2 -> 'acc42) ->
('env42 -> 't3 -> 'acc42) ->
'env42 ->
('t0 * 't1 * 't2 * 't3) ->
'acc42
method visit_option : 'a. ('env43 -> 'a -> 'acc43) ->
'env43 ->
'a Base.option ->
'acc43
method visit_mutability : 'mut_witness. ('env46 -> 'mut_witness -> 'acc46) ->
'env46 ->
'mut_witness Hax_engine.Ast.mutability ->
'acc46
method visit_safety_kind : 'env47 -> {safety_kind}1 -> 'acc47
method visit_borrow_kind : 'env48 -> {borrow_kind}12 -> 'acc48
method visit_binding_mode : 'env49 -> {binding_mode}23 -> 'acc49
method visit_ty : 'env50 -> {ty}34 -> 'acc50
method visit_generic_value : 'env51 -> {generic_value}35 -> 'acc51
method visit_impl_expr : 'env52 -> {impl_expr}36 -> 'acc52
method visit_impl_expr_kind : 'env53 -> {impl_expr_kind}37 -> 'acc53
method visit_trait_goal : 'env54 -> {trait_goal}38 -> 'acc54
method visit_dyn_trait_goal : 'env55 -> {dyn_trait_goal}39 -> 'acc55
method visit_impl_ident : 'env56 -> {impl_ident}40 -> 'acc56
method visit_projection_predicate : 'env57 ->
{projection_predicate}41 ->
'acc57
method visit_pat' : 'env58 -> {pat'}42 -> 'acc58
method visit_pat : 'env59 -> {pat}43 -> 'acc59
method visit_field_pat : 'env60 -> {field_pat}44 -> 'acc60
method visit_expr' : 'env61 -> {expr'}45 -> 'acc61
method visit_expr : 'env62 -> {expr}46 -> 'acc62
method visit_supported_monads : 'env63 -> {supported_monads}48 -> 'acc63
method visit_loop_kind : 'env64 -> {loop_kind}49 -> 'acc64
method visit_loop_state : 'env65 -> {loop_state}50 -> 'acc65
method visit_lhs : 'env66 -> {lhs}51 -> 'acc66
method visit_guard : 'env67 -> {guard}52 -> 'acc67
method visit_guard' : 'env68 -> {guard'}53 -> 'acc68
method visit_arm' : 'env69 -> {arm'}54 -> 'acc69
method visit_arm : 'env70 -> {arm}55 -> 'acc70
method visit_generic_param : 'env71 -> {generic_param}276 -> 'acc71
method visit_generic_param_kind : 'env72 -> {generic_param_kind}277 -> 'acc72
method visit_generic_constraint : 'env73 -> {generic_constraint}278 -> 'acc73
method visit_param : 'env74 -> {param}309 -> 'acc74
method visit_generics : 'env75 -> {generics}310 -> 'acc75
method visit_variant : 'env76 -> {variant}311 -> 'acc76
method visit_item' : 'env77 -> {item'}312 -> 'acc77
method visit_item : 'env78 -> {item}313 -> 'acc78
method visit_impl_item' : 'env79 -> {impl_item'}314 -> 'acc79
method visit_impl_item : 'env80 -> {impl_item}315 -> 'acc80
method visit_trait_item' : 'env81 -> {trait_item'}316 -> 'acc81
method visit_trait_item : 'env82 -> {trait_item}317 -> 'acc82
method visit_modul : 'env83 -> {modul}408 -> 'acc83
method visit_list : 'a. ('env84 -> 'a -> 'acc84) ->
'env84 ->
'a Base.list ->
'acc84