="VALread"><span class="keyword">val</span> read</span> : <code class="type">string -> string</code></pre><div class="info ">
<code class="code">read filename</code> returns the contents of <code class="code">filename</code><br>
</div>

<pre><span id="VALwrite"><span class="keyword">val</span> write</span> : <code class="type">string -> string -> unit</code></pre><div class="info ">
<code class="code">write filename contents</code> write <code class="code">contents</code> to <code class="code">filename</cod