method visit_arm : 'env -> Hax_engine__Ast.Make(InputLanguage).arm -> 'acc
method visit_arm' : 'env -> Hax_engine__Ast.Make(InputLanguage).arm' -> 'acc
method visit_binding_mode : 'env ->
Hax_engine__Ast.Make(InputLanguage).binding_mode ->
'acc
method visit_bool : 'env -> Base.bool -> 'acc
method visit_borrow_kind : 'env ->
Hax_engine__Ast.Make(InputLanguage).borrow_kind ->
'acc
method visit_cf_kind : 'env ->
Hax_engine__Ast.Make(InputLanguage).cf_kind ->
'acc
method visit_char : 'env -> Base.char -> 'acc
method visit_dyn_trait_goal : 'env ->
Hax_engine__Ast.Make(InputLanguage).dyn_trait_goal ->
'acc
method visit_expr : 'env -> Hax_engine__Ast.Make(InputLanguage).expr -> 'acc
method visit_expr' : 'env -> Hax_engine__Ast.Make(InputLanguage).expr' -> 'acc
method visit_field_pat : 'env ->
Hax_engine__Ast.Make(InputLanguage).field_pat ->
'acc
method visit_generic_constraint : 'env ->
Hax_engine__Ast.Make(InputLanguage).generic_constraint ->
'acc
method visit_generic_param : 'env ->
Hax_engine__Ast.Make(InputLanguage).generic_param ->
'acc
method visit_generic_param_kind : 'env ->
Hax_engine__Ast.Make(InputLanguage).generic_param_kind ->
'acc
method visit_generic_value : 'env ->
Hax_engine__Ast.Make(InputLanguage).generic_value ->
'acc
method visit_generics : 'env ->
Hax_engine__Ast.Make(InputLanguage).generics ->
'acc
method visit_guard : 'env -> Hax_engine__Ast.Make(InputLanguage).guard -> 'acc
method visit_guard' : 'env ->
Hax_engine__Ast.Make(InputLanguage).guard' ->
'acc
method visit_impl_expr : 'env ->
Hax_engine__Ast.Make(InputLanguage).impl_expr ->
'acc
method visit_impl_expr_kind : 'env ->
Hax_engine__Ast.Make(InputLanguage).impl_expr_kind ->
'acc
method visit_impl_ident : 'env ->
Hax_engine__Ast.Make(InputLanguage).impl_ident ->
'acc
method visit_impl_item : 'env ->
Hax_engine__Ast.Make(InputLanguage).impl_item ->
'acc
method visit_impl_item' : 'env ->
Hax_engine__Ast.Make(InputLanguage).impl_item' ->
'acc
method visit_item : 'env -> Hax_engine__Ast.Make(InputLanguage).item -> 'acc
method visit_item' : 'env -> Hax_engine__Ast.Make(InputLanguage).item' -> 'acc
method visit_lhs : 'env -> Hax_engine__Ast.Make(InputLanguage).lhs -> 'acc
method visit_list : 'a. ('env -> 'a -> 'acc) -> 'env -> 'a Base.list -> 'acc
method visit_loop_kind : 'env ->
Hax_engine__Ast.Make(InputLanguage).loop_kind ->
'acc
method visit_loop_state : 'env ->
Hax_engine__Ast.Make(InputLanguage).loop_state ->
'acc
method visit_mutability : 'mut_witness. ('env -> 'mut_witness -> 'acc) ->
'env ->
'mut_witness Hax_engine.Ast.mutability ->
'acc
method visit_option : 'a. ('env -> 'a -> 'acc) ->
'env ->
'a Base.option ->
'acc
method visit_param : 'env -> Hax_engine__Ast.Make(InputLanguage).param -> 'acc
method visit_pat : 'env -> Hax_engine__Ast.Make(InputLanguage).pat -> 'acc
method visit_pat' : 'env -> Hax_engine__Ast.Make(InputLanguage).pat' -> 'acc
method visit_prim___tuple_2 : 't0 't1. ('env -> 't0 -> 'acc) ->
('env -> 't1 -> 'acc) ->
'env ->
('t0 * 't1) ->
'acc
method visit_prim___tuple_3 : 't0 't1 't2. ('env -> 't0 -> 'acc) ->
('env -> 't1 -> 'acc) ->
('env -> 't2 -> 'acc) ->
'env ->
('t0 * 't1 * 't2) ->
'acc
method visit_prim___tuple_4 : 't0 't1 't2 't3. ('env -> 't0 -> 'acc) ->
('env -> 't1 -> 'acc) ->
('env -> 't2 -> 'acc) ->
('env -> 't3 -> 'acc) ->
'env ->
('t0 * 't1 * 't2 * 't3) ->
'acc
method visit_projection_predicate : 'env ->
Hax_engine__Ast.Make(InputLanguage).projection_predicate ->
'acc
method visit_quote : 'env -> Hax_engine__Ast.Make(InputLanguage).quote -> 'acc
method visit_safety_kind : 'env ->
Hax_engine__Ast.Make(InputLanguage).safety_kind ->
'acc
method visit_string : 'env -> Base.string -> 'acc
method visit_supported_monads : 'env ->
Hax_engine__Ast.Make(InputLanguage).supported_monads ->
'acc
method visit_trait_goal : 'env ->
Hax_engine__Ast.Make(InputLanguage).trait_goal ->
'acc
method visit_trait_item : 'env ->
Hax_engine__Ast.Make(InputLanguage).trait_item ->
'acc
method visit_trait_item' : 'env ->
Hax_engine__Ast.Make(InputLanguage).trait_item' ->
'acc
method visit_ty : 'env -> Hax_engine__Ast.Make(InputLanguage).ty -> 'acc
method visit_variant : 'env ->
Hax_engine__Ast.Make(InputLanguage).variant ->
'acc