erator1) -&gt; {Satisfying, NotSatisfying}</tt>
<ul class="definitions"><li><tt>Pred = <a href="#type-predicate">predicate</a>(Elem)</tt></li><li><tt>Iterator1 = <a href="#type-iterator">iterator</a>(Elem)</tt></li><li><tt>Satisfying = <a href="#type-iterator">iterator</a>(Elem)</tt></li><li><tt>NotSatisfying = <a href="#type-iterator">iterator</a>(Elem)</tt></li></ul></p>
<p> </p>
</div><p><p>
  Partitions <code>Iterator1</code> into two iterators, where the first iterator
  contains all elements for which