Module Gr.State

val save : unit -> unit
val restore : unit -> unit
val with_sandbox : (unit -> 'a) -> 'a