Module `Flambda2_simplify.Non_constructed_code`

Code without any function bodies, but with all the associated metadata, e.g. free names.

type t = unit Flambda2_terms.Code0.t

val code_metadata : 
  Flambda2_simplify.Non_constructed_code.t ->
  Flambda2_terms.Code_metadata.t

include Flambda2_terms.Code_metadata.Code_metadata_accessors_result_type
  with type 'a t := Flambda2_simplify.Non_constructed_code.t

val code_id : 
  Flambda2_simplify.Non_constructed_code.t ->
  Flambda2_identifiers.Code_id.t

val newer_version_of : 
  Flambda2_simplify.Non_constructed_code.t ->
  Flambda2_identifiers.Code_id.t option

val params_arity : 
  Flambda2_simplify.Non_constructed_code.t ->
  [ `Complex ] Flambda2_kinds.Flambda_arity.t

val param_modes : 
  Flambda2_simplify.Non_constructed_code.t ->
  Flambda2_term_basics.Alloc_mode.For_types.t list

val first_complex_local_param : Flambda2_simplify.Non_constructed_code.t -> int

val result_arity : 
  Flambda2_simplify.Non_constructed_code.t ->
  [ `Unarized ] Flambda2_kinds.Flambda_arity.t

val result_types : 
  Flambda2_simplify.Non_constructed_code.t ->
  Flambda2_terms.Result_types.t Flambda2_lattices.Or_unknown_or_bottom.t

val result_mode : 
  Flambda2_simplify.Non_constructed_code.t ->
  Lambda.locality_mode

val stub : Flambda2_simplify.Non_constructed_code.t -> bool

val inline : 
  Flambda2_simplify.Non_constructed_code.t ->
  Flambda2_terms.Inline_attribute.t

val zero_alloc_attribute : 
  Flambda2_simplify.Non_constructed_code.t ->
  Flambda2_terms.Zero_alloc_attribute.t

val poll_attribute : 
  Flambda2_simplify.Non_constructed_code.t ->
  Flambda2_terms.Poll_attribute.t

val regalloc_attribute : 
  Flambda2_simplify.Non_constructed_code.t ->
  Flambda2_terms.Regalloc_attribute.t

val regalloc_param_attribute : 
  Flambda2_simplify.Non_constructed_code.t ->
  Flambda2_terms.Regalloc_param_attribute.t

val cold : Flambda2_simplify.Non_constructed_code.t -> bool

val is_a_functor : Flambda2_simplify.Non_constructed_code.t -> bool

val is_opaque : Flambda2_simplify.Non_constructed_code.t -> bool

val recursive : 
  Flambda2_simplify.Non_constructed_code.t ->
  Flambda2_terms.Recursive.t

val cost_metrics : 
  Flambda2_simplify.Non_constructed_code.t ->
  Flambda2_terms.Cost_metrics.t

val inlining_arguments : 
  Flambda2_simplify.Non_constructed_code.t ->
  Flambda2_terms.Inlining_arguments.t

val dbg : Flambda2_simplify.Non_constructed_code.t -> Debuginfo.t

val is_tupled : Flambda2_simplify.Non_constructed_code.t -> bool

val is_my_closure_used : Flambda2_simplify.Non_constructed_code.t -> bool

val inlining_decision : 
  Flambda2_simplify.Non_constructed_code.t ->
  Flambda2_terms.Function_decl_inlining_decision_type.t

val absolute_history : 
  Flambda2_simplify.Non_constructed_code.t ->
  Flambda2_terms.Inlining_history.Absolute.t

val relative_history : 
  Flambda2_simplify.Non_constructed_code.t ->
  Flambda2_terms.Inlining_history.Relative.t

val loopify : 
  Flambda2_simplify.Non_constructed_code.t ->
  Flambda2_terms.Loopify_attribute.t

val function_slot_size : Flambda2_simplify.Non_constructed_code.t -> int

val create_with_metadata : 
  free_names_of_params_and_body:Flambda2_nominal.Name_occurrences.t ->
  code_metadata:Flambda2_terms.Code_metadata.t ->
  Flambda2_simplify.Non_constructed_code.t

val create : 
  free_names_of_params_and_body:Flambda2_nominal.Name_occurrences.t ->
  Flambda2_simplify.Non_constructed_code.t
    Flambda2_terms.Code_metadata.create_type

include Flambda2_nominal.Contains_names.S
  with type t := Flambda2_simplify.Non_constructed_code.t

val free_names : 
  Flambda2_simplify.Non_constructed_code.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_simplify.Non_constructed_code.t ->
  Flambda2_nominal.Renaming.t ->
  Flambda2_simplify.Non_constructed_code.t

Apply a renaming throughout a term.

val print : 
  Stdlib.Format.formatter ->
  Flambda2_simplify.Non_constructed_code.t ->
  unit

Module Flambda2_simplify.Non_constructed_code

Module `Flambda2_simplify.Non_constructed_code`