Class Visitors.mapreduce

constraint 'b = 'b mapreduce
method visit_F__arbitrary_lhs : 'env -> F.arbitrary_lhs -> F.arbitrary_lhs * 'acc
method visit_F__as_pattern : 'env -> F.as_pattern -> F.as_pattern * 'acc
method visit_F__block : 'env -> F.block -> F.block * 'acc
method visit_F__break : 'env -> F.break -> F.break * 'acc
method visit_F__construct_base : 'env -> F.construct_base -> F.construct_base * 'acc
method visit_F__continue : 'env -> F.continue -> F.continue * 'acc
method visit_F__dyn : 'env -> F.dyn -> F.dyn * 'acc
method visit_F__early_exit : 'env -> F.early_exit -> F.early_exit * 'acc
method visit_F__fold_like_loop : 'env -> F.fold_like_loop -> F.fold_like_loop * 'acc
method visit_F__for_index_loop : 'env -> F.for_index_loop -> F.for_index_loop * 'acc
method visit_F__for_loop : 'env -> F.for_loop -> F.for_loop * 'acc
method visit_F__lifetime : 'env -> F.lifetime -> F.lifetime * 'acc
method visit_F__loop : 'env -> F.loop -> F.loop * 'acc
method visit_F__macro : 'env -> F.macro -> F.macro * 'acc
method visit_F__match_guard : 'env -> F.match_guard -> F.match_guard * 'acc
method visit_F__monadic_action : 'env -> F.monadic_action -> F.monadic_action * 'acc
method visit_F__monadic_binding : 'env -> F.monadic_binding -> F.monadic_binding * 'acc
method visit_F__mutable_pointer : 'env -> F.mutable_pointer -> F.mutable_pointer * 'acc
method visit_F__mutable_reference : 'env -> F.mutable_reference -> F.mutable_reference * 'acc
method visit_F__mutable_variable : 'env -> F.mutable_variable -> F.mutable_variable * 'acc
method visit_F__nontrivial_lhs : 'env -> F.nontrivial_lhs -> F.nontrivial_lhs * 'acc
method visit_F__question_mark : 'env -> F.question_mark -> F.question_mark * 'acc
method visit_F__quote : 'env -> F.quote -> F.quote * 'acc
method visit_F__raw_pointer : 'env -> F.raw_pointer -> F.raw_pointer * 'acc
method visit_F__reference : 'env -> F.reference -> F.reference * 'acc
method visit_F__slice : 'env -> F.slice -> F.slice * 'acc
method visit_F__state_passing_loop : 'env -> F.state_passing_loop -> F.state_passing_loop * 'acc
method visit_F__trait_item_default : 'env -> F.trait_item_default -> F.trait_item_default * 'acc
method visit_F__unsafe : 'env -> F.unsafe -> F.unsafe * 'acc
method visit_F__while_loop : 'env -> F.while_loop -> F.while_loop * 'acc
method visit_Local_ident__t : 'env -> Hax_engine.Local_ident.t -> Hax_engine.Local_ident.t * 'acc
method visit_arm : 'env -> Hax_engine__Ast.Make(F).arm -> Hax_engine__Ast.Make(F).arm * 'acc
method visit_arm' : 'env -> Hax_engine__Ast.Make(F).arm' -> Hax_engine__Ast.Make(F).arm' * 'acc
method visit_attr : 'env -> Hax_engine.Ast.attr -> Hax_engine.Ast.attr * 'acc
method visit_attrs : 'env -> Hax_engine.Ast.attrs -> Hax_engine.Ast.attrs * 'acc
method visit_binding_mode : 'env -> Hax_engine__Ast.Make(F).binding_mode -> Hax_engine__Ast.Make(F).binding_mode * 'acc
method visit_bool : 'env -> Base.bool -> Base.bool * 'acc
method visit_borrow_kind : 'env -> Hax_engine__Ast.Make(F).borrow_kind -> Hax_engine__Ast.Make(F).borrow_kind * 'acc
method visit_cf_kind : 'env -> Hax_engine__Ast.Make(F).cf_kind -> Hax_engine__Ast.Make(F).cf_kind * 'acc
method visit_char : 'env -> Base.char -> Base.char * 'acc
method visit_concrete_ident : 'env -> Hax_engine.Ast.concrete_ident -> Hax_engine.Ast.concrete_ident * 'acc
method visit_dyn_trait_goal : 'env -> Hax_engine__Ast.Make(F).dyn_trait_goal -> Hax_engine__Ast.Make(F).dyn_trait_goal * 'acc
method visit_expr : 'env -> Hax_engine__Ast.Make(F).expr -> Hax_engine__Ast.Make(F).expr * 'acc
method visit_expr' : 'env -> Hax_engine__Ast.Make(F).expr' -> Hax_engine__Ast.Make(F).expr' * 'acc
method visit_field_pat : 'env -> Hax_engine__Ast.Make(F).field_pat -> Hax_engine__Ast.Make(F).field_pat * 'acc
method visit_float_kind : 'env -> Hax_engine.Ast.float_kind -> Hax_engine.Ast.float_kind * 'acc
method visit_generic_constraint : 'env -> Hax_engine__Ast.Make(F).generic_constraint -> Hax_engine__Ast.Make(F).generic_constraint * 'acc
method visit_generic_param : 'env -> Hax_engine__Ast.Make(F).generic_param -> Hax_engine__Ast.Make(F).generic_param * 'acc
method visit_generic_param_kind : 'env -> Hax_engine__Ast.Make(F).generic_param_kind -> Hax_engine__Ast.Make(F).generic_param_kind * 'acc
method visit_generic_value : 'env -> Hax_engine__Ast.Make(F).generic_value -> Hax_engine__Ast.Make(F).generic_value * 'acc
method visit_generics : 'env -> Hax_engine__Ast.Make(F).generics -> Hax_engine__Ast.Make(F).generics * 'acc
method visit_global_ident : 'env -> Hax_engine.Ast.global_ident -> Hax_engine.Ast.global_ident * 'acc
method visit_guard : 'env -> Hax_engine__Ast.Make(F).guard -> Hax_engine__Ast.Make(F).guard * 'acc
method visit_guard' : 'env -> Hax_engine__Ast.Make(F).guard' -> Hax_engine__Ast.Make(F).guard' * 'acc
method visit_impl_expr : 'env -> Hax_engine__Ast.Make(F).impl_expr -> Hax_engine__Ast.Make(F).impl_expr * 'acc
method visit_impl_expr_kind : 'env -> Hax_engine__Ast.Make(F).impl_expr_kind -> Hax_engine__Ast.Make(F).impl_expr_kind * 'acc
method visit_impl_ident : 'env -> Hax_engine__Ast.Make(F).impl_ident -> Hax_engine__Ast.Make(F).impl_ident * 'acc
method visit_impl_item : 'env -> Hax_engine__Ast.Make(F).impl_item -> Hax_engine__Ast.Make(F).impl_item * 'acc
method visit_impl_item' : 'env -> Hax_engine__Ast.Make(F).impl_item' -> Hax_engine__Ast.Make(F).impl_item' * 'acc
method visit_int_kind : 'env -> Hax_engine.Ast.int_kind -> Hax_engine.Ast.int_kind * 'acc
method visit_item : 'env -> Hax_engine__Ast.Make(F).item -> Hax_engine__Ast.Make(F).item * 'acc
method visit_item' : 'env -> Hax_engine__Ast.Make(F).item' -> Hax_engine__Ast.Make(F).item' * 'acc
method visit_item_quote_origin : 'env -> Hax_engine.Ast.item_quote_origin -> Hax_engine.Ast.item_quote_origin * 'acc
method visit_lhs : 'env -> Hax_engine__Ast.Make(F).lhs -> Hax_engine__Ast.Make(F).lhs * 'acc
method visit_list : 'a. ('env -> 'a -> 'a * 'acc) -> 'env -> 'a Base.list -> 'a Base.list * 'acc
method visit_literal : 'env -> Hax_engine.Ast.literal -> Hax_engine.Ast.literal * 'acc
method visit_local_ident : 'env -> Hax_engine.Ast.local_ident -> Hax_engine.Ast.local_ident * 'acc
method visit_loop_kind : 'env -> Hax_engine__Ast.Make(F).loop_kind -> Hax_engine__Ast.Make(F).loop_kind * 'acc
method visit_loop_state : 'env -> Hax_engine__Ast.Make(F).loop_state -> Hax_engine__Ast.Make(F).loop_state * 'acc
method visit_modul : 'env -> Hax_engine__Ast.Make(F).item Hax_engine.Prelude.list -> Hax_engine__Ast.Make(F).item Hax_engine.Prelude.list * 'acc
method visit_mutability : 'mut_witness. ('env -> 'mut_witness -> 'mut_witness * 'acc) -> 'env -> 'mut_witness Hax_engine.Ast.mutability -> 'mut_witness Hax_engine.Ast.mutability * 'acc
method visit_option : 'a. ('env -> 'a -> 'a * 'acc) -> 'env -> 'a Base.option -> 'a Base.option * 'acc
method visit_param : 'env -> Hax_engine__Ast.Make(F).param -> Hax_engine__Ast.Make(F).param * 'acc
method visit_pat : 'env -> Hax_engine__Ast.Make(F).pat -> Hax_engine__Ast.Make(F).pat * 'acc
method visit_pat' : 'env -> Hax_engine__Ast.Make(F).pat' -> Hax_engine__Ast.Make(F).pat' * 'acc
method visit_prim___tuple_2 : 't0 't1. ('env -> 't0 -> 't0 * 'acc) -> ('env -> 't1 -> 't1 * 'acc) -> 'env -> ('t0 * 't1) -> ('t0 * 't1) * 'acc
method visit_prim___tuple_3 : 't0 't1 't2. ('env -> 't0 -> 't0 * 'acc) -> ('env -> 't1 -> 't1 * 'acc) -> ('env -> 't2 -> 't2 * 'acc) -> 'env -> ('t0 * 't1 * 't2) -> ('t0 * 't1 * 't2) * 'acc
method visit_prim___tuple_4 : 't0 't1 't2 't3. ('env -> 't0 -> 't0 * 'acc) -> ('env -> 't1 -> 't1 * 'acc) -> ('env -> 't2 -> 't2 * 'acc) -> ('env -> 't3 -> 't3 * 'acc) -> 'env -> ('t0 * 't1 * 't2 * 't3) -> ('t0 * 't1 * 't2 * 't3) * 'acc
method visit_projection_predicate : 'env -> Hax_engine__Ast.Make(F).projection_predicate -> Hax_engine__Ast.Make(F).projection_predicate * 'acc
method visit_quote : 'env -> Hax_engine__Ast.Make(F).quote -> Hax_engine__Ast.Make(F).quote * 'acc
method visit_quote_content : 'env -> Hax_engine__Ast.Make(F).quote_content -> Hax_engine__Ast.Make(F).quote_content * 'acc
method visit_safety_kind : 'env -> Hax_engine__Ast.Make(F).safety_kind -> Hax_engine__Ast.Make(F).safety_kind * 'acc
method visit_span : 'env -> Hax_engine.Ast.span -> Hax_engine.Ast.span * 'acc
method visit_string : 'env -> Base.string -> Base.string * 'acc
method visit_supported_monads : 'env -> Hax_engine__Ast.Make(F).supported_monads -> Hax_engine__Ast.Make(F).supported_monads * 'acc
method visit_todo : 'env -> Hax_engine.Ast.todo -> Hax_engine.Ast.todo * 'acc
method visit_trait_goal : 'env -> Hax_engine__Ast.Make(F).trait_goal -> Hax_engine__Ast.Make(F).trait_goal * 'acc
method visit_trait_item : 'env -> Hax_engine__Ast.Make(F).trait_item -> Hax_engine__Ast.Make(F).trait_item * 'acc
method visit_trait_item' : 'env -> Hax_engine__Ast.Make(F).trait_item' -> Hax_engine__Ast.Make(F).trait_item' * 'acc
method visit_ty : 'env -> Hax_engine__Ast.Make(F).ty -> Hax_engine__Ast.Make(F).ty * 'acc
method visit_variant : 'env -> Hax_engine__Ast.Make(F).variant -> Hax_engine__Ast.Make(F).variant * 'acc