Array.init order of initialization

When calling Array.init, can I rely on the initializer being called in order of increasing index? The documentation page does not seem to commit to that.

Yes, and soon officially yes: