jon.recoil.org

Module Flambda2_terms.Zero_alloc_attribute

type t = Lambda.zero_alloc_attribute =
  1. | Default_zero_alloc
  2. | Check of {
    1. strict : bool;
    2. loc : Location.t;
    3. custom_error_msg : string option;
    }
  3. | Assume of {
    1. strict : bool;
    2. never_returns_normally : bool;
    3. never_raises : bool;
    4. loc : Location.t;
    }

@zero_alloc ... annotations on function declaration (not call sites)

val is_default : Flambda2_terms.Zero_alloc_attribute.t -> bool