Module Flambda2_simplify.Unbox_continuation_params
module Decisions : sig ... endval make_do_not_unbox_decisions :
Flambda2_bound_identifiers.Bound_parameters.t ->
Flambda2_simplify.Unbox_continuation_params.Decisions.ttype continuation_arg_types = | Recursive| Non_recursive of Flambda2_simplify.Continuation_uses.arg_types_by_use_id
val make_decisions :
continuation_arg_types:
Flambda2_simplify.Unbox_continuation_params.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
* Flambda2_simplify.Unbox_continuation_params.Decisions.tval compute_extra_params_and_args :
machine_width:Target_system.Machine_width.t ->
Flambda2_simplify.Unbox_continuation_params.Decisions.t ->
arg_types_by_use_id:Flambda2_simplify.Continuation_uses.arg_types_by_use_id ->
Flambda2_simplify.Simplify_import.EPA.t ->
Flambda2_simplify.Simplify_import.EPA.t