Reference implementation for Array.foldlM

Stream: mathlib4

[Geoffrey Irving]

If I look at the docs for docs#Array.foldlM, it usefully shows the type, but then somewhat confusingly describes it as Reference implementation for foldlM. I know why it does that, but it seems like a bad message to appear in the docs.

Screenshot-2024-03-04-at-9.56.07PM.png

[Mario Carneiro]

Yes, that's just a bad doc string.

[Mario Carneiro]

PRs welcome...

[Geoffrey Irving]

https://github.com/leanprover/lean4/pull/3594