sig val save : Env.t -> unit end