jon.recoil.org

Module Ocaml_typing.Zero_allocSource

Sourcetype 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;
}
Sourcetype 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;
}
Sourcetype const = Ocaml_parsing.Builtin_attributes.zero_alloc_attribute =
  1. | Default_zero_alloc
  2. | Ignore_assert_all
  3. | Check of check
  4. | Assume of assume
Sourcetype t
Sourceval default : t
Sourceval ignore_assert_all : t
Sourceval create_const : const -> t
Sourceval create_var : Ocaml_parsing.Location.t -> int -> t
Sourceval get : t -> const
Sourcetype change
Sourceval set_change_log : (change -> unit) -> unit
Sourceval undo_change : change -> unit
Sourcetype error
Sourceval print_error : Ocaml_utils.Format_doc.formatter -> error -> unit
Sourceval sub : t -> t -> (unit, error) Result.t
Sourceval debug_printer : Format.formatter -> t -> unit