Vernacstate.System
System State
type t
The system state includes the summary and the libobject
val protect : ('a -> 'b) -> 'a -> 'b
protect f x runs f x and discards changes in the system state
protect f x
f x
val dump : string -> unit
Load / Dump provide unsafe but convenient state dumping from / to disk
val load : string -> unit