>
                          <span class="Identifier">ReadDirEffect</span><span class="Other">,</span> <span class="Identifier">ReadEnvEffect</span><span class="Other">,</span> <span class="Identifier">TimeEffect</span><span class="Other">]</span></span>.}</pre></dt>
<dd>



</dd>
<a id="downloadFile,openArray[tuple[Uri,string]]"></a>
<dt><pre><span class="Keyword">proc</span> <a href="#downloadFile%2CopenArray%5Btuple%5BUri%2Cstring%5D%5D"><span class="Identifier">downloadFile</span></a><span class="Other">