compiler-libs.optcomp
Flambda2_simplify.Closure_info
compiler-libs.bytecomp
compiler-libs.common
compiler-libs.toplevel
dynlink
eval
jit
runtime_events
stdlib
stdlib_alpha
stdlib_beta
stdlib_stable
stdlib_upstream_compatible
str
threads
unix
type t = private
| Not_in_a_closure
| In_a_set_of_closures_but_not_yet_in_a_specific_closure
| Closure of {
code_id : Flambda2_identifiers.Code_id.t;
return_continuation : Flambda2_identifiers.Continuation.t;
exn_continuation : Flambda2_identifiers.Continuation.t;
my_closure : Flambda2_identifiers.Variable.t;
}
val print : Format.formatter -> t -> unit
val not_in_a_closure : t
val in_a_set_of_closures : 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 -> t
type in_or_out_of_closure =
| In_a_closure
val in_or_out_of_closure : t -> in_or_out_of_closure