Module Interval.Env

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 -> Ival.t -> unit