module Int:sig
..end
include Integer
include Lattice_Value
val fold : (t -> 'a -> 'a) -> inf:t -> sup:t -> step:t -> 'a -> 'a
Fold 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