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