module Int:sig..end
include Integer
include Lattice_Value
val fold : (t -> 'a -> 'a) -> inf:t -> sup:t -> step:t -> 'a -> 'aFold the function on the value between inf and sup at every
step. If step is positive the first value is inf and values
go increasing, if step is negative the first value is sup
and values go decreasing