ck
/
iter
▲toc
fun
forev
Iteration
.
fun
forev
(
start
:
int
std
/
core
/
types
/
int:
V
,
end
:
int
std
/
core
/
types
/
int:
V
,
action
:
(
int
std
/
core
/
types
/
int:
V
)
->
e
(
)
)
:
e
(
)
Iterate over integers in decreasing order. Do nothing if
start
<
end
.
private import
std
/
core
/
types
std
/
core
/
types
,
std
/
core
/
hnd
std
/
core
/
hnd
,
std
/
core
/
exn
std
/
core
/
exn
,
std
/
core
/
bool
std
/
core
/
bool
,
std
/
core
/
order
std
/
core
/
order
,
std
/
core
/
char
std
/
core
/
char
,
std
/
core
/
int
std
/
core
/
int
,
std
/
core
/
vector
std
/
core
/
vector
,
std
/
core
/
string
std
/
core
/
string
,
std
/
core
/
sslice
std
/
core
/
sslice
,
std
/
core
/
list
std
/
core
/
list
,
std
/
core
/
maybe
std
/
core
/
maybe
,
std
/
core
/
maybe2
std
/
core
/
maybe2
,
std
/
core
/
either
std
/
core
/
either
,
std
/
core
/
tuple
std
/
core
/
tuple
,
std
/
core
/
lazy
std
/
core
/
lazy
,
std
/
core
/
show
std
/
core
/
show
,
std
/
core
/
debug
std
/
core
/
debug
,
std
/
core
/
delayed
std
/
core
/
delayed
,
std
/
core
/
console
std
/
core
/
console
,
std
/
core
std
/
core
,
std
/
core
/
undiv
std
/
core
/
undiv
Iteration
.