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