="code">dir</code>,
    recursively.
    Links behaving like directory are crossed.<br>
</div>

<pre><span id="VALfiles"><span class="keyword">val</span> files</span> : <code class="type">string -> string list</code></pre><div class="info ">
Return the list of files in the current directory.<br>
</div>

<pre><span id="VALrec_dirs"><span class="keyword">val</span> rec_dirs</span> : <code class="type">string -> string list</code></pre><div class="info ">
<code class="code">rec_dirs dir</code> return the list 