="anchor"></a><code><span class="keyword">val</span> filter_leq : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <span><span>(<a href="index.html#type-t">t</a> * <a href="index.html#type-t">t</a>)</span> <a href="../../../../Libabsolute/Consistency/index.html#type-t">Libabsolute.Consistency.t</a></span></code></dt><dd><p>given two interval arguments, return a filtered subset of each argument by removing points that cannot satisfy the predica