sig exception Not_an_integer val interv_of_typ : Cil_types.typ -> Ival.t module Env : sig val clear : unit -> unit val add : Cil_types.logic_var -> Ival.t -> unit end val infer : Cil_types.term -> Ival.t end