Module Lattice_messages

module Lattice_messages: sig .. end
Message and logging facility for abstract lattices.

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