iv class="line">        }</div><div class="line">    };</div><div class="line">}}</div></div><!-- fragment --><p> The only important thing is that the accessor functions are move-independent, a notion which is defined below.</p>
<p><a class="anchor" id="move-independence"></a></p><h2>Move-independence </h2>
<p>The notion of move-independence presented here defines rigorously when it is legitimate to "double-move" from an object.</p>
<p>A collection of functions <code>f1, ..., fn</code> sharing the same doma