Module `Flambda2_terms.Code_or_metadata`

type t

type raw

module View : sig ... end

val view : 
  Flambda2_terms.Code_or_metadata.t ->
  Flambda2_terms.Code_or_metadata.View.t

val get_code : Flambda2_terms.Code_or_metadata.t -> Flambda2_terms.Code.t

Will return the code or cause a fatal error.

val print : 
  Stdlib.Format.formatter ->
  Flambda2_terms.Code_or_metadata.t ->
  unit

val print_view : 
  Stdlib.Format.formatter ->
  Flambda2_terms.Code_or_metadata.t ->
  unit

val merge : 
  Flambda2_identifiers.Code_id.t ->
  Flambda2_terms.Code_or_metadata.t ->
  Flambda2_terms.Code_or_metadata.t ->
  Flambda2_terms.Code_or_metadata.t option

val create : Flambda2_terms.Code.t -> Flambda2_terms.Code_or_metadata.t

val create_metadata_only : 
  Flambda2_terms.Code_metadata.t ->
  Flambda2_terms.Code_or_metadata.t

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

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

val remember_only_metadata : 
  Flambda2_terms.Code_or_metadata.t ->
  Flambda2_terms.Code_or_metadata.t

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

val map_result_types : 
  Flambda2_terms.Code_or_metadata.t ->
  f:(Flambda2_types.t -> Flambda2_types.t) ->
  Flambda2_terms.Code_or_metadata.t

val code_metadata : 
  Flambda2_terms.Code_or_metadata.t ->
  Flambda2_terms.Code_metadata.t

val code_present : Flambda2_terms.Code_or_metadata.t -> bool

val map_raw_index : 
  (int -> int) ->
  Flambda2_terms.Code_or_metadata.raw ->
  Flambda2_terms.Code_or_metadata.raw

As for Code_metadata, the free names of a value of type t do not include the code ID, which is only kept for convenience.

include Flambda2_nominal.Contains_names.S
  with type t := Flambda2_terms.Code_or_metadata.t

val free_names : 
  Flambda2_terms.Code_or_metadata.t ->
  Flambda2_nominal.Name_occurrences.t

Compute the free names of a term. Such computation covers all kinds of bindable names (variables, continuations, ...)

val apply_renaming : 
  Flambda2_terms.Code_or_metadata.t ->
  Flambda2_nominal.Renaming.t ->
  Flambda2_terms.Code_or_metadata.t

Apply a renaming throughout a term.

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

val ids_for_export : 
  Flambda2_terms.Code_or_metadata.t ->
  Flambda2_nominal.Ids_for_export.t

Gather all table identifiers to export them.

Module Flambda2_terms.Code_or_metadata

Module `Flambda2_terms.Code_or_metadata`