Show code
docs
EXPORT
SHARE
9
1
2
3
4
5
6
7
›
$r:=0$;
for ($i = m..n$) {
if ($\text{pred}(i)$) {
r := r + 1;
}
}
r
:
=
0
r:=0
r
:=
0
i
=
m
.
.
n
i = m..n
i
=
m
..
n
pred
(
i
)
\text{pred}(i)
pred
(
i
)
True
False
r := r + 1
-