jon.recoil.org

Module Flambda2_terms.Inline_attribute

Function declaration (not call site) inlining annotations.

type t =
  1. | Always_inline
  2. | Available_inline
  3. | Never_inline
  4. | Unroll of int
  5. | Default_inline
val is_default : Flambda2_terms.Inline_attribute.t -> bool
val number_of_unrolls : Flambda2_terms.Inline_attribute.t -> int