sig val get : Env.t -> Lscope.t val extend : Env.t -> Lscope.lscope_var -> Env.t val reset : Env.t -> Env.t val set_reset : Env.t -> bool -> Env.t val get_reset : Env.t -> bool end