class="link" href="../../reference.html#header.boost.contract.public_function_hpp" title="Header &lt;boost/contract/public_function.hpp&gt;">boost/contract/public_function.hpp</a>&gt;

</span>
<span class="keyword">template</span><span class="special">&lt;</span><span class="keyword">typename</span> Class<span class="special">&gt;</span> 
  <a class="link" href="specify__idm45572792035024.html" title="Class template specify_precondition_old_postcondition_except">specify_precondition_old_postcondition_except