Module Abstract_interp.Int

module Int: sig .. end

include Integer
include Abstract_interp.LatValue
val pretty : Format.formatter -> t -> unit
val fold : (t -> 'a -> 'a) -> inf:t -> sup:t -> step:t -> 'a -> 'a