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
types
/
(
)
)
:
e
types
/
(
)
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
std
/
core
Iteration
.