Module `Flambda2_simplify.Non_recursive_handler`

type t = private {

cont : Flambda2_identifiers.Continuation.t;
params : Flambda2_bound_identifiers.Bound_parameters.t;
lifted_params : Flambda2_simplify.Lifted_cont_params.t;
handler : Flambda2_terms.Flambda.Expr.t;
is_exn_handler : bool;
is_cold : bool;

}

val create : 
  cont:Flambda2_identifiers.Continuation.t ->
  params:Flambda2_bound_identifiers.Bound_parameters.t ->
  lifted_params:Flambda2_simplify.Lifted_cont_params.t ->
  handler:Flambda2_terms.Flambda.Expr.t ->
  is_exn_handler:bool ->
  is_cold:bool ->
  Flambda2_simplify.Non_recursive_handler.t

val print : 
  Stdlib.Format.formatter ->
  Flambda2_simplify.Non_recursive_handler.t ->
  unit

val with_handler : 
  Flambda2_terms.Flambda.Expr.t ->
  Flambda2_simplify.Non_recursive_handler.t ->
  Flambda2_simplify.Non_recursive_handler.t

val rename_params : 
  Flambda2_simplify.Non_recursive_handler.t ->
  Flambda2_simplify.Non_recursive_handler.t

Module Flambda2_simplify.Non_recursive_handler

Module `Flambda2_simplify.Non_recursive_handler`