d an interval
</div>
</td></tr>
<tr><td><a href="Interval2.html#VALsub_id">sub_id</a> [<a href="Interval2.html">Interval2</a>]</td>
<td><div class="info">
Subtraction of an interval and a number <b>(optimal)</b>
</div>
</td></tr>
<tr><td><a href="Interval1.html#VALsub_id">sub_id</a> [<a href="Interval1.html">Interval1</a>]</td>
<td><div class="info">
Subtraction of an interval and a number
</div>
</td></tr>
<tr><td><a href="Interval2.html#VALsub_ii">sub_ii</a> [<a href="Interval2.html">Interval2</a>]</td>
<