Module `Flambda2_simplify.Simplify_named_result`

type t

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

val create_empty : 
  Flambda2_simplify.Downwards_acc.t ->
  Flambda2_simplify.Simplify_named_result.t

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

val dacc : 
  Flambda2_simplify.Simplify_named_result.t ->
  Flambda2_simplify.Downwards_acc.t

val bindings_to_place : 
  Flambda2_simplify.Simplify_named_result.t ->
  Flambda2_simplify.Expr_builder.binding_to_place list

val no_bindings : Flambda2_simplify.Simplify_named_result.t -> bool

val was_lifted_set_of_closures : 
  Flambda2_simplify.Simplify_named_result.t ->
  bool

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

Module Flambda2_simplify.Simplify_named_result

Module `Flambda2_simplify.Simplify_named_result`