for

Definition

@(i): int = 0;
[...] >> {
    ...
    
    i = i + 1;
    ?(a == 10) -> {
        ! -> ();
    };
}

Simplify

[0..10] |i| >> {
    ...
}

Python

for i in range(0, 10):
    ...