Up – imandra-base » Imandra_surface » Builtin » Snapshot

Module `Builtin.Snapshot`

Stateful part

The State.t pure value is used in the other modules to find builtins by their name.

type t

val save : unit -> t
val restore : t -> unit