Not accurate specification of `for` loop

Please see Dart [specification](https://spec.dart.dev/DartLangSpecDraft.pdf) 18.6.1. For loop

> Execution of a for statement of the form `for (var v = e; c; e) s` proceeds as follows:
> If `c` is empty then let `c` be true otherwise let `c'` be `c`.
> First the variable declaration statement `var v = e` is executed.

Why only `for (var v = e; ...) s` form is mentioned? What about `for (int v = e;...)` or `int i; for(i = 0; ...)` forms? Or the following
```dart
int i = -1;
g() {i = 0;}
for (g(); i < 2; i++) {
print(i);
}
```
Seems that this section should be rewritten.

Please also see https://github.com/dart-lang/sdk/issues/49495

Start by reading section 18.6.1 of the linked Dart specification and compare its wording with the loop forms and example in this issue. Review the related SDK issue 49495 for context; done means the specification accurately describes the declaration, assignment, and expression forms of for loops.

Written by the indexing model from the issue text.