jon.recoil.org

Module Ocaml_typing.Zero_alloc

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