/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="../../../Consistency/index.html#type-t">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 predicate; may also return Sat or Unsat if all (resp. no) point can satisfy the predicate. Interface is simplified since a &gt; b &lt;=&gt; b &lt; a</