except</span></a><span class="special">(</span><span class="special">)</span><span class="special">;</span>

  <span class="comment">// <a class="link" href="specify__idm45572792098160.html#idm45572792090144-bb">public member functions</a></span>
  <span class="keyword">template</span><span class="special">&lt;</span><span class="keyword">typename</span> F<span class="special">&gt;</span> 
    <a class="link" href="specify__idm45572792061936.html" title="Class template specify_postcondition_except">specify_