Module Lifted_constant.Definition
type descr = private | Code of Flambda2_identifiers.Code_id.t| Set_of_closures of {denv : Flambda2_simplify.Downwards_env.t;closure_symbols_with_types : (Flambda2_identifiers.Symbol.t * Flambda2_types.t) Flambda2_identifiers.Function_slot.Lmap.t;symbol_projections : Flambda2_term_basics.Symbol_projection.t Flambda2_identifiers.Variable.Map.t;
}| Block_like of {symbol : Flambda2_identifiers.Symbol.t;denv : Flambda2_simplify.Downwards_env.t;ty : Flambda2_types.t;symbol_projections : Flambda2_term_basics.Symbol_projection.t Flambda2_identifiers.Variable.Map.t;
}
val defining_expr :
Flambda2_simplify.Lifted_constant.Definition.t ->
Flambda2_simplify.Rebuilt_static_const.tval denv :
Flambda2_simplify.Lifted_constant.Definition.t ->
Flambda2_simplify.Downwards_env.t optionval set_of_closures :
Flambda2_simplify.Downwards_env.t ->
closure_symbols_with_types:
(Flambda2_identifiers.Symbol.t * Flambda2_types.t)
Flambda2_identifiers.Function_slot.Lmap.t ->
symbol_projections:
Flambda2_term_basics.Symbol_projection.t
Flambda2_identifiers.Variable.Map.t ->
Flambda2_simplify.Rebuilt_static_const.t ->
Flambda2_simplify.Lifted_constant.Definition.tval bound_static :
Flambda2_simplify.Lifted_constant.Definition.t ->
Flambda2_bound_identifiers.Bound_static.tval free_names :
Flambda2_simplify.Lifted_constant.Definition.t ->
Flambda2_nominal.Name_occurrences.t