t</code>. Remove <code class="code">dst</code> before the copy
    if it is a link.<br>
</div>

<pre><span id="VALlink"><span class="keyword">val</span> link</span> : <code class="type">string -> string -> unit</code></pre><div class="info ">
<code class="code">link src dst</code> links <code class="code">src</code> to <code class="code">dst</code>. Remove <code class="code">dst</code> if it is a file,
    not a directory.<br>
</div>

<pre><span id="VALreal_path"><span class="keyword">val</span> real_path</