module Lattice_messages:sig
..end
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
val emit : emitter -> t -> unit
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