s"><li><tt>Fun = <a href="#type-map">map</a>(Term1::any(), Term2::any())</tt></li><li><tt>N = pos_integer</tt></li><li><tt>TupleIterator1 = <a href="#type-tuple_iterator">tuple_iterator()</a></tt></li><li><tt>TupleIterator2 = <a href="#type-tuple_iterator">tuple_iterator()</a></tt></li></ul></p>
<p> </p>
</div><p><p>
  Returns an iterator of tuples where, for each tuple in
  <code>TupleIterator1</code>, the <code>N</code>th element <code>Term1</code> of the tuple has been
  replaced with the result of calli