How to define loop body in f#

I believe that the only rule for the body of a while or for loop in F# is that it must evaluate to the unit type. So it shouldn't therefore return a value or the compiler will complain.

There are some examples in this article:

http://www.c-sharpcorner.com/uploadfile/f5b919/imperative-control-statements-in-fsharp/