
<pre><span id="VALadd"><span class="keyword">val</span> add</span> : <code class="type">float -&gt; float -&gt; float</code></pre><div class="info ">
<div class="info-desc">
<p>Floating-point addition.</p>
</div>
</div>

<pre><span id="VALsub"><span class="keyword">val</span> sub</span> : <code class="type">float -&gt; float -&gt; float</code></pre><div class="info ">
<div class="info-desc">
<p>Floating-point subtraction.</p>
</div>
</div>

<pre><span id="VALmul"><span class="keyword">val</span> mul</span>