>
        <span class="identifier">BOOST_CONTRACT_ASSERT</span><span class="special">(</span><span class="special">...</span><span class="special">)</span><span class="special">;</span>
        <span class="special">...</span>
    <span class="special">}</span>

    <span class="special">...</span>
<span class="special">}</span><span class="special">;</span>
</pre>
<p>Users can redefine this macro if the static invariant function must have a name different from <code class="computeroutput">static_invariant<