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

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