Module Abstract_interp.Int

module Int: sig .. end

include Integer
include Lattice_Value
val fold : (t -> 'a -> 'a) -> inf:t -> sup:t -> step:t -> 'a -> 'a