jon.recoil.org

Module Flambda2_terms.Inlined_attribute

Call site (not function declaration) inlining annotations.

module Use_info : sig ... end
type t =
  1. | Always_inlined of Use_info.t
  2. | Hint_inlined
  3. | Never_inlined
  4. | Unroll of int * Use_info.t
  5. | Default_inlined
val print : Format.formatter -> t -> unit
val equal : t -> t -> bool
val is_default : t -> bool
val from_lambda : Lambda.inlined_attribute -> t
val with_use_info : t -> Use_info.t -> t
val use_info : t -> Use_info.t option