e>.</p></td></tr></table></div></div><div class="field "><a name="swap"></a><h3 class="anchor"><code><span class="label label-inline">inline</span><a href="#swap"><span class="identifier">swap</span></a> (<span style="white-space:nowrap">x0:<span class="type">Int</span>,</span> <span style="white-space:nowrap">y0:<span class="type">Int</span>,</span> <span style="white-space:nowrap">x1:<span class="type">Int</span>,</span> <span style="white-space:nowrap">y1:<span class="type">Int</span></span>):<a class="t