Module `Flambda2_reaper.Traverse`

type result = {

toplevel_expr : Rev_expr.t;
code : Rev_expr.rev_code Flambda2_identifiers.Code_id.Map.t;
ordered_code_ids : Flambda2_identifiers.Code_id.t array;
deps : Global_flow_graph.graph;
kinds : Flambda2_kinds.Flambda_kind.t Flambda2_identifiers.Name.Map.t;
fixed_arity_continuations : Flambda2_identifiers.Continuation.Set.t;
continuation_info : Traverse_acc.continuation_info Flambda2_identifiers.Continuation.Map.t;
code_deps : Traverse_acc.code_dep Flambda2_identifiers.Code_id.Map.t;
all_sets_of_closures : (Flambda2_identifiers.Name.t * Flambda2_identifiers.Code_id.t Flambda2_lattices.Or_unknown.t) Flambda2_identifiers.Function_slot.Lmap.t list;

}

val run : Flambda2_terms.Flambda_unit.t -> result