jon.recoil.org

Module Flambda2_simplify.Original_handlers

type t = private
  1. | Recursive of {
    1. invariant_params : Flambda2_bound_identifiers.Bound_parameters.t;
    2. lifted_params : Lifted_cont_params.t;
    3. continuation_handlers : One_recursive_handler.t Flambda2_identifiers.Continuation.Lmap.t;
    4. can_be_lifted : bool;
    }
  2. | Non_recursive of Non_recursive_handler.t
val create_recursive : invariant_params:Flambda2_bound_identifiers.Bound_parameters.t -> lifted_params:Lifted_cont_params.t -> continuation_handlers: One_recursive_handler.t Flambda2_identifiers.Continuation.Lmap.t -> can_be_lifted:bool -> t
val create_non_recursive : Non_recursive_handler.t -> t
val print : Format.formatter -> t -> unit
val bound_continuations : t -> Flambda2_identifiers.Continuation.t list
val can_be_lifted : t -> bool
val add_params_to_lift : t -> Lifted_cont_params.t -> t