Module `Flambda2_simplify.Original_handlers`

type t = private

| Recursive of {
1. invariant_params : Flambda2_bound_identifiers.Bound_parameters.t;
2. lifted_params : Flambda2_simplify.Lifted_cont_params.t;
3. continuation_handlers : Flambda2_simplify.One_recursive_handler.t Flambda2_identifiers.Continuation.Lmap.t;
}
| Non_recursive of Flambda2_simplify.Non_recursive_handler.t

val create_recursive : 
  invariant_params:Flambda2_bound_identifiers.Bound_parameters.t ->
  lifted_params:Flambda2_simplify.Lifted_cont_params.t ->
  continuation_handlers:
    Flambda2_simplify.One_recursive_handler.t
      Flambda2_identifiers.Continuation.Lmap.t ->
  Flambda2_simplify.Original_handlers.t

val create_non_recursive : 
  Flambda2_simplify.Non_recursive_handler.t ->
  Flambda2_simplify.Original_handlers.t

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

val bound_continuations : 
  Flambda2_simplify.Original_handlers.t ->
  Flambda2_identifiers.Continuation.t list

val add_params_to_lift : 
  Flambda2_simplify.Original_handlers.t ->
  Flambda2_simplify.Lifted_cont_params.t ->
  Flambda2_simplify.Original_handlers.t

Module Flambda2_simplify.Original_handlers

Module `Flambda2_simplify.Original_handlers`