Module `Flambda2_cmx.Exported_code`

type t

type raw

include Flambda2_nominal.Contains_ids.S
  with type t := Flambda2_cmx.Exported_code.t

val ids_for_export : 
  Flambda2_cmx.Exported_code.t ->
  Flambda2_nominal.Ids_for_export.t

Gather all table identifiers to export them.

val apply_renaming : 
  Flambda2_identifiers.Code_id.t Flambda2_identifiers.Code_id.Map.t ->
  Flambda2_nominal.Renaming.t ->
  Flambda2_cmx.Exported_code.t ->
  Flambda2_cmx.Exported_code.t

val print : Stdlib.Format.formatter -> Flambda2_cmx.Exported_code.t -> unit

val print_view : 
  Stdlib.Format.formatter ->
  Flambda2_cmx.Exported_code.t ->
  unit

val empty : Flambda2_cmx.Exported_code.t

val free_names : 
  Flambda2_cmx.Exported_code.t ->
  Flambda2_nominal.Name_occurrences.t

val add_code : 
  keep_code:(Flambda2_identifiers.Code_id.t -> bool) ->
  Flambda2_terms.Code.t Flambda2_identifiers.Code_id.Map.t ->
  Flambda2_cmx.Exported_code.t ->
  Flambda2_cmx.Exported_code.t

val mark_as_imported : 
  Flambda2_cmx.Exported_code.t ->
  Flambda2_cmx.Exported_code.t

val merge : 
  Flambda2_cmx.Exported_code.t ->
  Flambda2_cmx.Exported_code.t ->
  Flambda2_cmx.Exported_code.t

val mem : 
  Flambda2_identifiers.Code_id.t ->
  Flambda2_cmx.Exported_code.t ->
  bool

val find_exn : 
  Flambda2_cmx.Exported_code.t ->
  Flambda2_identifiers.Code_id.t ->
  Flambda2_terms.Code_or_metadata.t

This function raises an exception if the code ID is unbound.

val find : 
  Flambda2_cmx.Exported_code.t ->
  Flambda2_identifiers.Code_id.t ->
  Flambda2_terms.Code_or_metadata.t option

This function is only really for use in unusual cases where there needs to be special handling if a code ID is unbound (see comment in the .ml file)

val remove_unreachable : 
  reachable_names:Flambda2_nominal.Name_occurrences.t ->
  Flambda2_cmx.Exported_code.t ->
  Flambda2_cmx.Exported_code.t

val remove_unused_value_slots_from_result_types_and_shortcut_aliases : 
  used_value_slots:Flambda2_identifiers.Value_slot.Set.t ->
  canonicalise:(Flambda2_term_basics.Simple.t -> Flambda2_term_basics.Simple.t) ->
  Flambda2_cmx.Exported_code.t ->
  Flambda2_cmx.Exported_code.t

val iter_code : 
  Flambda2_cmx.Exported_code.t ->
  f:(Flambda2_terms.Code.t -> unit) ->
  unit

val from_raw : 
  sections:Oxcaml_utils.File_sections.t ->
  Flambda2_cmx.Exported_code.raw ->
  Flambda2_cmx.Exported_code.t

val to_raw : 
  add_section:(Stdlib.Obj.t -> int) ->
  Flambda2_cmx.Exported_code.t ->
  Flambda2_cmx.Exported_code.raw

val map_raw_index : 
  (int -> int) ->
  Flambda2_cmx.Exported_code.raw ->
  Flambda2_cmx.Exported_code.raw

Module Flambda2_cmx.Exported_code

Module `Flambda2_cmx.Exported_code`