 characters
   are read.  If <code class="code">len</code> is negative, <code class="code"><span class="constructor">Digest</span>.channel&nbsp;ic&nbsp;len</code> reads
   all characters from <code class="code">ic</code> until end-of-file is reached and return
   their digest.</p>
</div>
</div>

<pre><span id="VALfile"><span class="keyword">val</span> file</span> : <code class="type">string -&gt; <a href="Digest.html#TYPEt">t</a></code></pre><div class="info ">
<div class="info-desc">
<p>Return the digest o