Module Imandra_surface.Surface_snapshot

Snapshot of all of Surface's state

We can save and restore the state of all of imandra.surface, as well as (in the future) save it on disk or send it through the network

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