Module Env.Logic_scope

module Logic_scope: sig .. end

val get : Env.t -> Lscope.t
Return the logic scope associated to the environment.
val extend : Env.t -> Lscope.lscope_var -> Env.t
Add a new logic variable with its associated information in the logic scope of the environment.
val reset : Env.t -> Env.t
Return a new environment in which the logic scope is reset iff set_reset _ true has been called beforehand. Do nothing otherwise.
val set_reset : Env.t -> bool -> Env.t
Setter of the information indicating whether the logic scope should be reset at next call to reset.
val get_reset : Env.t -> bool
Getter of the information indicating whether the logic scope should be reset at next call to reset.