</span><span class="keyword">typename</span> F<span class="special">&gt;</span> <a class="link" href="specify_except.html" title="Class specify_except">specify_except</a> <a class="link" href="specify__idm45572792098160.html#idm45572792081088-bb"><span class="identifier">postcondition</span></a><span class="special">(</span><span class="identifier">F</span> <span class="keyword">const</span> <span class="special">&amp;</span><span class="special">)</span><span class="special">;</span>
  <span class="keyword