>t</a> option</span></code></dt><dd><p>given the interval argument(s) and the expected interval result of a numeric operation, returns refined interval argument(s) where points that cannot contribute to a value in the result are removed; may also return Bot if no point in an argument can lead to a point in the result</p></dd></dl><dl><dt class="spec value" id="val-filter_abs"><a href="#val-filter_abs" class="anchor"></a><code><span class="keyword">val</span> filter_abs : <a href="index.html#type-t">t</a> <s