Module `Code_metadata.Code_metadata_accessors`

Parameters

module X : Flambda2_terms.Code_metadata.Metadata_view_type

val code_id : 'a X.t -> Flambda2_identifiers.Code_id.t

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

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

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

val first_complex_local_param : 'a X.t -> int

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

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

val result_mode : 'a X.t -> Lambda.locality_mode

val stub : 'a X.t -> bool

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

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

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

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

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

val cold : 'a X.t -> bool

val is_a_functor : 'a X.t -> bool

val is_opaque : 'a X.t -> bool

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

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

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

val dbg : 'a X.t -> Debuginfo.t

val is_tupled : 'a X.t -> bool

val is_my_closure_used : 'a X.t -> bool

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

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

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

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

val function_slot_size : 'a X.t -> int