1, Iterator2) -&gt; Iterator3</tt>
<ul class="definitions"><li><tt>Iterator1 = <a href="#type-iterator">iterator</a>(A)</tt></li><li><tt>Iterator2 = <a href="#type-iterator">iterator</a>(B)</tt></li><li><tt>Iterator3 = <a href="#type-iterator">iterator</a>(A | B)</tt></li></ul></p>
<p> </p>
</div><p><p>
  Returns the sorted iterator formed by merging <code>Iterator1</code> and
  <code>Iterator2</code>. Both <code>Iterator1</code> and <code>Iterator2</code> must be sorted before
  evaluating this function.  