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