Class Visitors.reduce

constraint 'b = 'b reduce
method visit_F__arbitrary_lhs : 'env -> InputLanguage.arbitrary_lhs -> 'acc
method visit_F__as_pattern : 'env -> InputLanguage.as_pattern -> 'acc
method visit_F__block : 'env -> InputLanguage.block -> 'acc
method visit_F__break : 'env -> InputLanguage.break -> 'acc
method visit_F__construct_base : 'env -> InputLanguage.construct_base -> 'acc
method visit_F__continue : 'env -> InputLanguage.continue -> 'acc
method visit_F__dyn : 'env -> InputLanguage.dyn -> 'acc
method visit_F__early_exit : 'env -> InputLanguage.early_exit -> 'acc
method visit_F__fold_like_loop : 'env -> InputLanguage.fold_like_loop -> 'acc
method visit_F__for_index_loop : 'env -> InputLanguage.for_index_loop -> 'acc
method visit_F__for_loop : 'env -> InputLanguage.for_loop -> 'acc
method visit_F__lifetime : 'env -> InputLanguage.lifetime -> 'acc
method visit_F__loop : 'env -> InputLanguage.loop -> 'acc
method visit_F__macro : 'env -> InputLanguage.macro -> 'acc
method visit_F__match_guard : 'env -> InputLanguage.match_guard -> 'acc
method visit_F__monadic_action : 'env -> InputLanguage.monadic_action -> 'acc
method visit_F__monadic_binding : 'env -> InputLanguage.monadic_binding -> 'acc
method visit_F__mutable_pointer : 'env -> InputLanguage.mutable_pointer -> 'acc
method visit_F__mutable_reference : 'env -> InputLanguage.mutable_reference -> 'acc
method visit_F__mutable_variable : 'env -> InputLanguage.mutable_variable -> 'acc
method visit_F__nontrivial_lhs : 'env -> InputLanguage.nontrivial_lhs -> 'acc
method visit_F__question_mark : 'env -> InputLanguage.question_mark -> 'acc
method visit_F__raw_pointer : 'env -> InputLanguage.raw_pointer -> 'acc
method visit_F__reference : 'env -> InputLanguage.reference -> 'acc
method visit_F__slice : 'env -> InputLanguage.slice -> 'acc
method visit_F__state_passing_loop : 'env -> InputLanguage.state_passing_loop -> 'acc
method visit_F__trait_item_default : 'env -> InputLanguage.trait_item_default -> 'acc
method visit_F__unsafe : 'env -> InputLanguage.unsafe -> 'acc
method visit_F__while_loop : 'env -> InputLanguage.while_loop -> 'acc
method visit_Local_ident__t : 'env -> Hax_engine.Local_ident.t -> 'acc
method visit_arm : 'env -> Hax_engine__Ast.Make(InputLanguage).arm -> 'acc
method visit_arm' : 'env -> Hax_engine__Ast.Make(InputLanguage).arm' -> 'acc
method visit_attr : 'env -> Hax_engine.Ast.attr -> 'acc
method visit_attrs : 'env -> Hax_engine.Ast.attrs -> '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_concrete_ident : 'env -> Hax_engine.Ast.concrete_ident -> '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_float_kind : 'env -> Hax_engine.Ast.float_kind -> '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_global_ident : 'env -> Hax_engine.Ast.global_ident -> '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_int_kind : 'env -> Hax_engine.Ast.int_kind -> '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_item_quote_origin : 'env -> Hax_engine.Ast.item_quote_origin -> '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_literal : 'env -> Hax_engine.Ast.literal -> 'acc
method visit_local_ident : 'env -> Hax_engine.Ast.local_ident -> '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_modul : 'env -> Hax_engine__Ast.Make(InputLanguage).item Hax_engine.Prelude.list -> '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_span : 'env -> Hax_engine.Ast.span -> 'acc
method visit_string : 'env -> Base.string -> 'acc
method visit_supported_monads : 'env -> Hax_engine__Ast.Make(InputLanguage).supported_monads -> 'acc
method visit_todo : 'env -> Hax_engine.Ast.todo -> '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