Module `Flambda2_simplify.Simplify_named_result`

type t

val create : Downwards_acc.t -> Expr_builder.binding_to_place -> t

val create_empty : Downwards_acc.t -> t

val create_have_lifted_set_of_closures : 
  Downwards_acc.t ->
  (Flambda2_bound_identifiers.Bound_var.t * Flambda2_identifiers.Symbol.t) list ->
  original_defining_expr:Flambda2_terms.Flambda.Import.Named.t ->
  t

val dacc : t -> Downwards_acc.t

val bindings_to_place : t -> Expr_builder.binding_to_place list

val no_bindings : t -> bool

val was_lifted_set_of_closures : t -> bool

val with_dacc : dacc:Downwards_acc.t -> t -> t

Module Flambda2_simplify.Simplify_named_result

Module `Flambda2_simplify.Simplify_named_result`