/span>
  <a class="link" href="iunordered_set_index.html#idp55207472-bb"><span class="identifier">iunordered_set_index</span></a><span class="special">(</span><a class="link" href="segment_manager_base.html" title="Class template segment_manager_base">segment_manager_base</a> <span class="special">*</span><span class="special">)</span><span class="special">;</span>
  <a class="link" href="iunordered_set_index.html#idp55209200-bb"><span class="special">~</span><span class="identifier">iunordered_set_index</s