Module Closure_conversion_aux.Let_cont_with_acc
val build_recursive :
Flambda2_from_lambda.Closure_conversion_aux.Acc.t ->
invariant_params:Flambda2_bound_identifiers.Bound_parameters.t ->
handlers:
((Flambda2_from_lambda.Closure_conversion_aux.Acc.t ->
Flambda2_from_lambda.Closure_conversion_aux.Expr_with_acc.t)
* Flambda2_bound_identifiers.Bound_parameters.t
* bool
* bool)
Flambda2_identifiers.Continuation.Map.t ->
body:
(Flambda2_from_lambda.Closure_conversion_aux.Acc.t ->
Flambda2_from_lambda.Closure_conversion_aux.Expr_with_acc.t) ->
Flambda2_from_lambda.Closure_conversion_aux.Expr_with_acc.tval build_non_recursive :
Flambda2_from_lambda.Closure_conversion_aux.Acc.t ->
Flambda2_identifiers.Continuation.t ->
handler_params:Flambda2_bound_identifiers.Bound_parameters.t ->
handler:
(Flambda2_from_lambda.Closure_conversion_aux.Acc.t ->
Flambda2_from_lambda.Closure_conversion_aux.Expr_with_acc.t) ->
body:
(Flambda2_from_lambda.Closure_conversion_aux.Acc.t ->
Flambda2_from_lambda.Closure_conversion_aux.Expr_with_acc.t) ->
is_exn_handler:bool ->
is_cold:bool ->
Flambda2_from_lambda.Closure_conversion_aux.Expr_with_acc.t