module Env:sig
..end
Environment which maps logic variables to intervals. This environment must be extended from outside.
val clear : unit -> unit
val add : Cil_types.logic_var -> t -> unit
val remove : Cil_types.logic_var -> unit
val replace : Cil_types.logic_var -> t -> unit