module Lattice_messages:sig
..end
Message and logging facility for abstract lattices.
type
t =
| |
Approximation of |
(* | Abstract transfer function that intentionally approximates its result | *) |
| |
Imprecision of |
(* | Abstract transfer function not fully implemented | *) |
| |
Costly of |
(* | Abstract operation will be costly | *) |
| |
Unsoundness of |
(* | Unsound abstract operation | *) |
type
emitter
val register : string -> emitter
Register a new emitter for a message.
val emit : emitter -> t -> unit
Emit a message.
val emit_imprecision : emitter -> string -> unit
val emit_approximation : emitter ->
('a, Stdlib.Format.formatter, unit) Stdlib.format -> 'a
val emit_costly : emitter ->
('a, Stdlib.Format.formatter, unit) Stdlib.format -> 'a