Module Flambda2_simplify.Original_handlers
type t = private | Recursive of {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;
}| 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.tval create_non_recursive :
Flambda2_simplify.Non_recursive_handler.t ->
Flambda2_simplify.Original_handlers.tval print :
Stdlib.Format.formatter ->
Flambda2_simplify.Original_handlers.t ->
unitval bound_continuations :
Flambda2_simplify.Original_handlers.t ->
Flambda2_identifiers.Continuation.t listval add_params_to_lift :
Flambda2_simplify.Original_handlers.t ->
Flambda2_simplify.Lifted_cont_params.t ->
Flambda2_simplify.Original_handlers.t