except__" title="Throw on Failures (and noexcept)">Throw
      on Failures</a>). Note that the error messages printed by this library contain
      all the information necessary to easily and uniquely identify the point in
      the code at which contract assertions fail. <a href="#ftn.boost_contract.introduction.f1" class="footnote" name="boost_contract.introduction.f1"><sup class="footnote">[3]</sup></a>
    </p>
<div class="note"><table border="0" summary="Note">
<tr>
<td rowspan="2" align="center" valig