jon.recoil.org

Module Zero_alloc

type check = Builtin_attributes.zero_alloc_check = {
  1. strict : bool;
  2. opt : bool;
  3. arity : int;
  4. loc : Location.t;
  5. custom_error_msg : string option;
}
type assume = Builtin_attributes.zero_alloc_assume = {
  1. strict : bool;
  2. never_returns_normally : bool;
  3. never_raises : bool;
  4. arity : int;
  5. loc : Location.t;
}
type const = Builtin_attributes.zero_alloc_attribute =
  1. | Default_zero_alloc
  2. | Ignore_assert_all
  3. | Check of Zero_alloc.check
  4. | Assume of Zero_alloc.assume
type t
val default : Zero_alloc.t
val ignore_assert_all : Zero_alloc.t
val create_const : Zero_alloc.const -> Zero_alloc.t
val create_var : Location.t -> int -> Zero_alloc.t
type change
val set_change_log : (Zero_alloc.change -> unit) -> unit
val undo_change : Zero_alloc.change -> unit
type error
val print_error : Stdlib.Format.formatter -> Zero_alloc.error -> unit
val debug_printer : Stdlib.Format.formatter -> Zero_alloc.t -> unit