module Messages:Stored messages. Storing of messages can be changed using (at initialization time only); currently, only warning and error messages are stored if thus requested.sig
..end
val iter : (int -> Log.event -> unit) -> unit
int
argument can be used to sort them if neededval dump_messages : unit -> unit
val self : State.t