Added some documentation for while(<<>>)