sig
val get : Env.t -> Lscope.t
val extend : Env.t -> Analyses_types.lscope_var -> Env.t
val remove : Env.t -> Analyses_types.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