Event.Snapshot
type t
val serialize : t Imandra_util.Serialize.t
val save : unit -> t
val restore : t -> unit