Module `Flambda2_simplify.Simplify_set_of_closures_context`

type t

val create : 
  dacc_prior_to_sets:Flambda2_simplify.Simplify_import.DA.t ->
  simplify_function_body:Simplify_common.simplify_function_body ->
  all_sets_of_closures:Flambda2_simplify.Simplify_import.Set_of_closures.t list ->
  closure_bound_names_all_sets:
    Flambda2_bound_identifiers.Bound_name.t
      Flambda2_identifiers.Function_slot.Map.t
      list ->
  value_slot_types_all_sets:
    Flambda2_simplify.Simplify_import.T.t Flambda2_identifiers.Value_slot.Map.t
      list ->
  t

val create_for_stub : 
  Flambda2_simplify.Simplify_import.DA.t ->
  all_code:
    Flambda2_simplify.Simplify_import.Code.t Flambda2_identifiers.Code_id.Map.t ->
  simplify_function_body:Simplify_common.simplify_function_body ->
  t

val dacc_inside_functions : t -> Flambda2_simplify.Simplify_import.DA.t

val dacc_prior_to_sets : t -> Flambda2_simplify.Simplify_import.DA.t

val old_to_new_code_ids_all_sets : 
  t ->
  Flambda2_identifiers.Code_id.t Flambda2_identifiers.Code_id.Map.t

val closure_bound_names_inside_functions_all_sets : 
  t ->
  Flambda2_bound_identifiers.Bound_name.t
    Flambda2_identifiers.Function_slot.Map.t
    list

val closure_bound_names_inside_functions_exactly_one_set : 
  t ->
  Flambda2_bound_identifiers.Bound_name.t
    Flambda2_identifiers.Function_slot.Map.t

val simplify_function_body : t -> Simplify_common.simplify_function_body

val previously_free_depth_variables : t -> Flambda2_identifiers.Variable.Set.t

val function_decl_type : 
  ?new_code_id:Flambda2_identifiers.Code_id.t ->
  rec_info:Flambda2_simplify.Simplify_import.T.t ->
  Flambda2_identifiers.Code_id.t ->
  Flambda2_types.Function_type.t Flambda2_lattices.Or_unknown.t

Module Flambda2_simplify.Simplify_set_of_closures_context

Module `Flambda2_simplify.Simplify_set_of_closures_context`