Module Abstract_interp.Int


module Int: sig .. end

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