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 : (Log.event -> unit) -> unit
Iter over all stored messages. The messages are passed in emission order.
Change in Nitrogen-20111001: Messages are now passed in emission order.
val dump_messages : unit -> unit
Dump stored messages to standard channels
val self : State.t
Internal state of stored messages