Module Flambda2_reaper.Rebuilt_expr
type continuation_handler = {handler : Flambda2_terms.Flambda.Continuation_handler.t;free_names : Flambda2_nominal.Name_occurrences.t;
}type continuation_handlers = {handlers : Flambda2_terms.Flambda.Continuation_handler.t Flambda2_identifiers.Continuation.Lmap.t;free_names : Flambda2_nominal.Name_occurrences.t;
}val create_let :
Flambda2_bound_identifiers.Bound_pattern.t ->
Flambda2_terms.Flambda.named ->
body:Flambda2_reaper.Rebuilt_expr.t ->
Flambda2_reaper.Rebuilt_expr.tval create_continuation_handler :
Flambda2_bound_identifiers.Bound_parameters.t ->
handler:Flambda2_reaper.Rebuilt_expr.t ->
is_exn_handler:bool ->
is_cold:bool ->
Flambda2_reaper.Rebuilt_expr.continuation_handlerval create_continuation_handlers :
Flambda2_reaper.Rebuilt_expr.continuation_handler
Flambda2_identifiers.Continuation.Lmap.t ->
Flambda2_reaper.Rebuilt_expr.continuation_handlersval create_non_recursive_let_cont :
Flambda2_identifiers.Continuation.t ->
Flambda2_reaper.Rebuilt_expr.continuation_handler ->
body:Flambda2_reaper.Rebuilt_expr.t ->
Flambda2_reaper.Rebuilt_expr.tval create_recursive_let_cont :
invariant_params:Flambda2_bound_identifiers.Bound_parameters.t ->
Flambda2_reaper.Rebuilt_expr.continuation_handler
Flambda2_identifiers.Continuation.Lmap.t ->
body:Flambda2_reaper.Rebuilt_expr.t ->
Flambda2_reaper.Rebuilt_expr.tval from_expr :
expr:Flambda2_terms.Flambda.expr ->
free_names:Flambda2_nominal.Name_occurrences.t ->
Flambda2_reaper.Rebuilt_expr.t