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