Module `Flambda2_terms.Code0`

type 'function_params_and_body t

val code_metadata : _ Flambda2_terms.Code0.t -> Flambda2_terms.Code_metadata.t

val params_and_body : 
  'function_params_and_body Flambda2_terms.Code0.t ->
  'function_params_and_body

include Flambda2_terms.Code_metadata.Code_metadata_accessors_result_type
  with type 'function_params_and_body t :=
         'function_params_and_body Flambda2_terms.Code0.t

val code_id : 'a Flambda2_terms.Code0.t -> Flambda2_identifiers.Code_id.t

val newer_version_of : 
  'a Flambda2_terms.Code0.t ->
  Flambda2_identifiers.Code_id.t option

val params_arity : 
  'a Flambda2_terms.Code0.t ->
  [ `Complex ] Flambda2_kinds.Flambda_arity.t

val param_modes : 
  'a Flambda2_terms.Code0.t ->
  Flambda2_term_basics.Alloc_mode.For_types.t list

val first_complex_local_param : 'a Flambda2_terms.Code0.t -> int

val result_arity : 
  'a Flambda2_terms.Code0.t ->
  [ `Unarized ] Flambda2_kinds.Flambda_arity.t

val result_types : 
  'a Flambda2_terms.Code0.t ->
  Flambda2_terms.Result_types.t Flambda2_lattices.Or_unknown_or_bottom.t

val result_mode : 'a Flambda2_terms.Code0.t -> Lambda.locality_mode

val stub : 'a Flambda2_terms.Code0.t -> bool

val inline : 'a Flambda2_terms.Code0.t -> Flambda2_terms.Inline_attribute.t

val zero_alloc_attribute : 
  'a Flambda2_terms.Code0.t ->
  Flambda2_terms.Zero_alloc_attribute.t

val poll_attribute : 
  'a Flambda2_terms.Code0.t ->
  Flambda2_terms.Poll_attribute.t

val regalloc_attribute : 
  'a Flambda2_terms.Code0.t ->
  Flambda2_terms.Regalloc_attribute.t

val regalloc_param_attribute : 
  'a Flambda2_terms.Code0.t ->
  Flambda2_terms.Regalloc_param_attribute.t

val cold : 'a Flambda2_terms.Code0.t -> bool

val is_a_functor : 'a Flambda2_terms.Code0.t -> bool

val is_opaque : 'a Flambda2_terms.Code0.t -> bool

val recursive : 'a Flambda2_terms.Code0.t -> Flambda2_terms.Recursive.t

val cost_metrics : 'a Flambda2_terms.Code0.t -> Flambda2_terms.Cost_metrics.t

val inlining_arguments : 
  'a Flambda2_terms.Code0.t ->
  Flambda2_terms.Inlining_arguments.t

val dbg : 'a Flambda2_terms.Code0.t -> Debuginfo.t

val is_tupled : 'a Flambda2_terms.Code0.t -> bool

val is_my_closure_used : 'a Flambda2_terms.Code0.t -> bool

val inlining_decision : 
  'a Flambda2_terms.Code0.t ->
  Flambda2_terms.Function_decl_inlining_decision_type.t

val absolute_history : 
  'a Flambda2_terms.Code0.t ->
  Flambda2_terms.Inlining_history.Absolute.t

val relative_history : 
  'a Flambda2_terms.Code0.t ->
  Flambda2_terms.Inlining_history.Relative.t

val loopify : 'a Flambda2_terms.Code0.t -> Flambda2_terms.Loopify_attribute.t

val function_slot_size : 'a Flambda2_terms.Code0.t -> int

val create_with_metadata : 
  print_function_params_and_body:
    (Stdlib.Format.formatter -> 'function_params_and_body -> unit) ->
  params_and_body:'function_params_and_body ->
  free_names_of_params_and_body:Flambda2_nominal.Name_occurrences.t ->
  code_metadata:Flambda2_terms.Code_metadata.t ->
  'function_params_and_body Flambda2_terms.Code0.t

val create : 
  print_function_params_and_body:
    (Stdlib.Format.formatter -> 'function_params_and_body -> unit) ->
  params_and_body:'function_params_and_body ->
  free_names_of_params_and_body:Flambda2_nominal.Name_occurrences.t ->
  'function_params_and_body Flambda2_terms.Code0.t
    Flambda2_terms.Code_metadata.create_type

val with_code_id : 
  Flambda2_identifiers.Code_id.t ->
  'function_params_and_body Flambda2_terms.Code0.t ->
  'function_params_and_body Flambda2_terms.Code0.t

val with_params_and_body : 
  print_function_params_and_body:
    (Stdlib.Format.formatter -> 'function_params_and_body -> unit) ->
  params_and_body:'function_params_and_body ->
  free_names_of_params_and_body:Flambda2_nominal.Name_occurrences.t ->
  cost_metrics:Flambda2_terms.Cost_metrics.t ->
  'function_params_and_body Flambda2_terms.Code0.t ->
  'function_params_and_body Flambda2_terms.Code0.t

val with_newer_version_of : 
  Flambda2_identifiers.Code_id.t option ->
  'function_params_and_body Flambda2_terms.Code0.t ->
  'function_params_and_body Flambda2_terms.Code0.t

val free_names : 
  _ Flambda2_terms.Code0.t ->
  Flambda2_nominal.Name_occurrences.t

val apply_renaming : 
  apply_renaming_function_params_and_body:
    ('function_params_and_body ->
      Flambda2_nominal.Renaming.t ->
      'function_params_and_body) ->
  'function_params_and_body Flambda2_terms.Code0.t ->
  Flambda2_nominal.Renaming.t ->
  'function_params_and_body Flambda2_terms.Code0.t

val print : 
  print_function_params_and_body:
    (Stdlib.Format.formatter -> 'function_params_and_body -> unit) ->
  Stdlib.Format.formatter ->
  'function_params_and_body Flambda2_terms.Code0.t ->
  unit

val ids_for_export : 
  ids_for_export_function_params_and_body:
    ('function_params_and_body -> Flambda2_nominal.Ids_for_export.t) ->
  'function_params_and_body Flambda2_terms.Code0.t ->
  Flambda2_nominal.Ids_for_export.t

val compare : 
  'function_params_and_body Flambda2_terms.Code0.t ->
  'function_params_and_body Flambda2_terms.Code0.t ->
  int

val map_result_types : 
  'function_params_and_body Flambda2_terms.Code0.t ->
  f:(Flambda2_types.t -> Flambda2_types.t) ->
  'function_params_and_body Flambda2_terms.Code0.t

val free_names_of_params_and_body : 
  'function_params_and_body Flambda2_terms.Code0.t ->
  Flambda2_nominal.Name_occurrences.t

Module Flambda2_terms.Code0

Module `Flambda2_terms.Code0`