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 print : Format.formatter -> t -> unit
val equal : t -> t -> bool
val is_default : t -> bool
val number_of_unrolls : t -> int
val from_lambda : Lambda.inline_attribute -> t