sig val iter : (int -> Log.event -> unit) -> unit val dump_messages : unit -> unit val self : State.t end