Module Flambda2_terms.Inlined_attribute
Call site (not function declaration) inlining annotations.
module Use_info : sig ... endtype t = | Always_inlined of Flambda2_terms.Inlined_attribute.Use_info.t| Hint_inlined| Never_inlined| Unroll of int * Flambda2_terms.Inlined_attribute.Use_info.t| Default_inlined
val print :
Stdlib.Format.formatter ->
Flambda2_terms.Inlined_attribute.t ->
unitval equal :
Flambda2_terms.Inlined_attribute.t ->
Flambda2_terms.Inlined_attribute.t ->
boolval is_default : Flambda2_terms.Inlined_attribute.t -> boolval from_lambda :
Lambda.inlined_attribute ->
Flambda2_terms.Inlined_attribute.tval with_use_info :
Flambda2_terms.Inlined_attribute.t ->
Flambda2_terms.Inlined_attribute.Use_info.t ->
Flambda2_terms.Inlined_attribute.tval use_info :
Flambda2_terms.Inlined_attribute.t ->
Flambda2_terms.Inlined_attribute.Use_info.t option