r>
</div>
<br>
<h2 id="2_Misc">Misc</h2><br>

<pre><span id="VALdownload"><span class="keyword">val</span> download</span> : <code class="type">overwrite:bool -> filename:string -> dst:string -> string</code></pre><div class="info ">
download compiler sources<br>
</div>

<pre><span id="VALpatch"><span class="keyword">val</span> patch</span> : <code class="type">string -> unit</code></pre><div class="info ">
Apply a patch file in the current directory.<br>
</div>

<pre><span id="VALtemp_file"><span class="ke