an> <span class="keyword">typename</span> UnaryPredicate<span class="special">&gt;</span> 
  <span class="identifier">InputIterator</span> 
  <span class="identifier">is_partitioned_until</span><span class="special">(</span><span class="identifier">InputIterator</span> first<span class="special">,</span> <span class="identifier">InputIterator</span> last<span class="special">,</span> 
                       <span class="identifier">UnaryPredicate</span> p<span class="special">)</span><span class="special">;