Add for loop for Verus Documentation

verus-lang / verus

Verified Rust for low-level systems code

MIT License

1.06k stars 58 forks source link

Add for loop for Verus Documentation #1190

Open FeizaiYiHao opened 1 week ago

FeizaiYiHao commented 1 week ago

This PR adds for loop example in the Verus Documentation, including a short intro for for loops, a code example, and short explanation for how to use iter in a for loop.