Module `Rebuilt_expr.Function_params_and_body`

type t

val create : 
  return_continuation:Flambda2_identifiers.Continuation.t ->
  exn_continuation:Flambda2_identifiers.Continuation.t ->
  Flambda2_bound_identifiers.Bound_parameters.t ->
  body:rebuilt_expr ->
  free_names_of_body:Flambda2_nominal.Name_occurrences.t ->
  my_closure:Flambda2_identifiers.Variable.t ->
  my_alloc_mode:Flambda2_bound_identifiers.Alloc_mode.For_applications.t ->
  my_depth:Flambda2_identifiers.Variable.t ->
  t

val to_function_params_and_body : 
  t ->
  Flambda2_simplify_shared.Are_rebuilding_terms.t ->
  Flambda2_terms.Flambda.Function_params_and_body.t

This function may only be used when rebuilding terms.

val is_my_closure_used : t -> bool

Module Rebuilt_expr.Function_params_and_body

Module `Rebuilt_expr.Function_params_and_body`