Module Flambda2_reaper.Rebuild
type result = private {body : Flambda2_terms.Flambda.Expr.t;free_names : Flambda2_nominal.Name_occurrences.t;all_code : Flambda2_terms.Code.t Flambda2_identifiers.Code_id.Map.t;slot_offsets : Flambda2_simplify_shared.Slot_offsets.t;
}val rebuild :
machine_width:Target_system.Machine_width.t ->
code_deps:
Flambda2_reaper.Traverse_acc.code_dep Flambda2_identifiers.Code_id.Map.t ->
continuation_info:
Flambda2_reaper.Traverse_acc.continuation_info
Flambda2_identifiers.Continuation.Map.t ->
fixed_arity_continuations:Flambda2_identifiers.Continuation.Set.t ->
final_typing_env:Flambda2_types.Typing_env.t option ->
Flambda2_kinds.Flambda_kind.t Flambda2_identifiers.Name.Map.t ->
Flambda2_reaper.Dep_solver.result ->
(Flambda2_identifiers.Code_id.t -> Flambda2_terms.Code_metadata.t) ->
Flambda2_reaper.Rev_expr.t ->
Flambda2_reaper.Rebuild.result