sig
  val lastStat : Types.generic_stat_loc Pervasives.ref
  val alpha : Types.realD -> Types.abstrD
  val join : Types.abstrD -> Types.abstrD -> Types.abstrD
  val meet : Types.abstrD -> Types.abstrD -> Types.abstrD
  val isInAbstractDomain : Z.t -> Types.abstrD -> bool
  val faexpUna : Types.arithOpArithUna -> Types.abstrD -> Types.abstrD
  val faexpBin :
    Types.abstrD -> Types.arithOpArithBin -> Types.abstrD -> Types.abstrD
  val abexpArithBin :
    Types.abstrD ->
    Types.boolOpArithBin -> Types.abstrD -> Types.abstrD * Types.abstrD
  val baexpUna :
    Types.arithOpArithUna -> Types.abstrD -> Types.abstrD -> Types.abstrD
  val baexpBin :
    Types.abstrD ->
    Types.arithOpArithBin ->
    Types.abstrD -> Types.abstrD -> Types.abstrD * Types.abstrD
  val widening : Types.abstrD -> Types.abstrD -> Types.abstrD
end