Frama_c_kernel.Messages
Stored messages for persistence between sessions.
val iter : ( Log.event -> unit ) -> unit
Iter over all stored messages. The messages are passed in emission order.
val fold : ( 'a -> Log.event -> 'a ) -> 'a -> 'a
Fold over all stored messages. The messages are passed in emission order.
val self : State.t
Internal state of stored messages
Reset the once
flag of pretty-printers. Messages already printed will be printed again.