jon.recoil.org

Module Flambda2_simplify.Non_recursive_handler

type t = private {
  1. cont : Flambda2_identifiers.Continuation.t;
  2. params : Flambda2_bound_identifiers.Bound_parameters.t;
  3. lifted_params : Lifted_cont_params.t;
  4. handler : Flambda2_terms.Flambda.Expr.t;
  5. is_exn_handler : bool;
  6. can_be_lifted : bool;
  7. is_cold : bool;
}
val create : cont:Flambda2_identifiers.Continuation.t -> params:Flambda2_bound_identifiers.Bound_parameters.t -> lifted_params:Lifted_cont_params.t -> handler:Flambda2_terms.Flambda.Expr.t -> is_exn_handler:bool -> can_be_lifted:bool -> is_cold:bool -> t
val print : Format.formatter -> t -> unit
val with_handler : Flambda2_terms.Flambda.Expr.t -> t -> t
val rename_params : t -> t
val with_can_be_lifted : bool -> t -> t