<map id="std::is_final&lt; _Tp &gt;" name="std::is_final&lt; _Tp &gt;">
<area shape="rect" id="node1" title="is_final" alt="" coords="19,92,143,117"/>
<area shape="rect" id="node2" href="$a03040.html" title=" " alt="" coords="5,5,156,44"/>
</map>