Module `Flambda2_simplify.Closure_info`

type t = private

| Not_in_a_closure
| In_a_set_of_closures_but_not_yet_in_a_specific_closure
| Closure of {
1. code_id : Flambda2_identifiers.Code_id.t;
2. return_continuation : Flambda2_identifiers.Continuation.t;
3. exn_continuation : Flambda2_identifiers.Continuation.t;
4. my_closure : Flambda2_identifiers.Variable.t;
}

val print : Stdlib.Format.formatter -> Flambda2_simplify.Closure_info.t -> unit

val not_in_a_closure : Flambda2_simplify.Closure_info.t

val in_a_set_of_closures : Flambda2_simplify.Closure_info.t

val in_a_closure : 
  Flambda2_identifiers.Code_id.t ->
  return_continuation:Flambda2_identifiers.Continuation.t ->
  exn_continuation:Flambda2_identifiers.Continuation.t ->
  my_closure:Flambda2_identifiers.Variable.t ->
  Flambda2_simplify.Closure_info.t

type in_or_out_of_closure =

| In_a_closure
| Not_in_a_closure

val in_or_out_of_closure : 
  Flambda2_simplify.Closure_info.t ->
  Flambda2_simplify.Closure_info.in_or_out_of_closure

Module Flambda2_simplify.Closure_info

Module `Flambda2_simplify.Closure_info`