sig val save : Env.t -> unit val restore : Env.t -> Env.t end