<span class="Identifier">Coord</span></a><span class="Other">;</span> <span class="Identifier">flip</span><span class="Other">:</span> <a href="types.html#Flip"><span class="Identifier">Flip</span></a><span class="Other">;</span> <span class="Identifier">region</span><span class="Other">:</span> <span class="Identifier">Rect</span><span class="Other">)</span> <span><span class="Other">{</span><span class="Other pragmadots">...</span><span class="Other">}</span></span><span class="pragmawrap"><span class="Ot