Module `Flambda2_cmx.Flambda_cmx`

Dumping and restoring of simplification environment information to and from .cmx files.

type loader

val create_loader : 
  get_module_info:
    (Compilation_unit.t -> Flambda2_cmx.Flambda_cmx_format.t option) ->
  Flambda2_cmx.Flambda_cmx.loader

val get_imported_names : 
  Flambda2_cmx.Flambda_cmx.loader ->
  unit ->
  Flambda2_identifiers.Name.Set.t

val get_imported_code : 
  Flambda2_cmx.Flambda_cmx.loader ->
  unit ->
  Flambda2_cmx.Exported_code.t

val load_cmx_file_contents : 
  Flambda2_cmx.Flambda_cmx.loader ->
  Compilation_unit.t ->
  Flambda2_types.Typing_env.Serializable.t option

val load_symbol_approx : 
  Flambda2_cmx.Flambda_cmx.loader ->
  Flambda2_identifiers.Symbol.t ->
  Flambda2_terms.Code_or_metadata.t
    Flambda2_classic_mode_types.Value_approximation.t

val 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 ->
  Flambda2_cmx.Exported_code.t ->
  Flambda2_nominal.Name_occurrences.t
  * Flambda2_cmx.Flambda_cmx_format.t option

val 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 ->
  Flambda2_cmx.Exported_code.t ->
  Flambda2_nominal.Name_occurrences.t
  * Flambda2_cmx.Flambda_cmx_format.t option

Module Flambda2_cmx.Flambda_cmx

Module `Flambda2_cmx.Flambda_cmx`