Vernacstate.System
System State
module Synterp : sig ... end
module Interp : sig ... end
val protect : ('a -> 'b) -> 'a -> 'b
protect f x runs f x and discards changes in the system state
protect f x
f x