Module `Flambda2_simplify.Unbox_continuation_params`

module Decisions : sig ... end

val make_do_not_unbox_decisions : 
  Flambda2_bound_identifiers.Bound_parameters.t ->
  Decisions.t

type continuation_arg_types =

| Recursive
| Non_recursive of Continuation_uses.arg_types_by_use_id

val make_decisions : 
  continuation_arg_types:continuation_arg_types ->
  Flambda2_simplify.Simplify_import.DE.t ->
  Flambda2_bound_identifiers.Bound_parameters.t ->
  Flambda2_simplify.Simplify_import.T.t list ->
  Flambda2_simplify.Simplify_import.DE.t * Decisions.t

val compute_extra_params_and_args : 
  machine_width:Target_system.Machine_width.t ->
  Decisions.t ->
  arg_types_by_use_id:Continuation_uses.arg_types_by_use_id ->
  Flambda2_simplify.Simplify_import.EPA.t ->
  Flambda2_simplify.Simplify_import.EPA.t

Module Flambda2_simplify.Unbox_continuation_params

Module `Flambda2_simplify.Unbox_continuation_params`