Module `Flambda2_cmx.Exported_code`

type t

type raw

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

val ids_for_export : 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 ->
  t ->
  t

val print : Format.formatter -> t -> unit

val print_view : Format.formatter -> t -> unit

val empty : t

val free_function_slots_and_value_slots : 
  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 ->
  t ->
  t

val mark_as_imported : t -> t

val merge : t -> t -> t

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

val find_exn : 
  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 : 
  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 prepare_for_export : 
  t ->
  reachable_names:Flambda2_nominal.Name_occurrences.t ->
  used_value_slots:Flambda2_identifiers.Value_slot.Set.t ->
  canonicalise:(Flambda2_term_basics.Simple.t -> Flambda2_term_basics.Simple.t) ->
  t

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

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

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

val map_raw_index : (int -> int) -> raw -> raw

Module Flambda2_cmx.Exported_code

Module `Flambda2_cmx.Exported_code`