heir subparts inside the library.</p>
<h2>Laws </h2>
<p>For any <code>Struct</code> <code>S</code>, the accessors in the <code>accessors&lt;S&gt;()</code> sequence must be move-independent, as defined above.</p>
<h2>Refined concepts </h2>
<ol type="1">
<li><code>Comparable</code> (free model)<br />
<code>Struct</code>s are required to be <code>Comparable</code>. Specifically, two <code>Struct</code>s of the same data type <code>S</code> must be equal if and only if all of their members are equal. By default