Module Messages


module Messages: sig .. end
Stored messages. Storing of messages can be changed using (at initialization time only); currently, only warning and error messages are stored if thus requested.

val iter : (int -> Log.event -> unit) -> unit
Iter over all stored messages. The messages are not passed in emission order, but the int argument can be used to sort them if needed
val dump_messages : unit -> unit
Dump stored messages to standard channels
val self : State.t
Internal state of stored messages