11 lines
178 B
Text
11 lines
178 B
Text
def bound(field x) -> u32:
|
|
return 41 + 1
|
|
|
|
def main(field a) -> field:
|
|
field x = 7
|
|
x = x + 1
|
|
for u32 i in 0..bound(x) do
|
|
// x = x + a
|
|
x = x + a
|
|
endfor
|
|
return x
|