ntract if that function is either a virtual public function or a public function override. Otherwise, this type is always <code class="computeroutput">void</code>. </p>
</li></ol></div>
</div>
<div class="refsect2">
<a name="idm45397960497680"></a><h3>
<a name="boost.contract.specify__idm45572792098160construct-copy-destruct"></a><code class="computeroutput">specify_old_postcondition_except</code> 
        public
       construct/copy/destruct</h3>
<div class="orderedlist"><ol class="orderedlist" type="1"><