Module Flambda2_cmx.Flambda_cmx
Dumping and restoring of simplification environment information to and from .cmx files.
val create_loader :
get_module_info:(Compilation_unit.t -> Flambda_cmx_format.t option) ->
loaderval get_imported_code : loader -> unit -> Exported_code.tval load_cmx_file_contents :
loader ->
Compilation_unit.t ->
Flambda2_types.Typing_env.Serializable.t optionval load_symbol_approx :
loader ->
Flambda2_identifiers.Symbol.t ->
Flambda2_terms.Code_or_metadata.t
Flambda2_classic_mode_types.Value_approximation.tval prepare_cmx_file_contents :
final_typing_env:Flambda2_types.Typing_env.t option ->
module_symbol:Flambda2_identifiers.Symbol.t ->
used_value_slots:Flambda2_identifiers.Value_slot.Set.t ->
exported_offsets:Flambda2_simplify_shared.Exported_offsets.t ->
Exported_code.t ->
Flambda2_nominal.Name_occurrences.t * Flambda_cmx_format.t optionval prepare_cmx_from_approx :
machine_width:Target_system.Machine_width.t ->
approxs:
Flambda2_terms.Code_or_metadata.t
Flambda2_classic_mode_types.Value_approximation.t
Flambda2_identifiers.Symbol.Map.t ->
module_symbol:Flambda2_identifiers.Symbol.t ->
exported_offsets:Flambda2_simplify_shared.Exported_offsets.t ->
used_value_slots:Flambda2_identifiers.Value_slot.Set.t ->
Exported_code.t ->
Flambda2_nominal.Name_occurrences.t * Flambda_cmx_format.t option