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