mand exited
    with a non-empty exit-code, throw an error.<br>
</div>

<pre><span id="VALis_tar_archive"><span class="keyword">val</span> is_tar_archive</span> : <code class="type">string -> bool</code></pre><div class="info ">
Test whether the file is an archive, by looking as its extension<br>
</div>

<pre><span id="VALextract"><span class="keyword">val</span> extract</span> : <code class="type">string -> string -> unit</code></pre><div class="info ">
<code class="code">extract filename dirname</code> ex